Publisher
Springer International Publishing
Reference42 articles.
1. Abadi, M., Manna, Z.: Temporal logic programming. J. Symb. Comput. 8(3), 277–295 (1989)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Alberti,2011
3. Alberti, M., Knorr, M., Gomes, A.S., Leite, J., Gonçalves, R., Slota, M.: Normative systems require hybrid knowledge bases. In: AAMAS. IFAAMAS, pp. 1425–1426 (2012)
4. Allen, J.F.: Maintaining knowledge about temporal intervals. In: Readings in Qualitative Reasoning About Physical Systems, pp. 361–372. Elsevier, Amsterdam (1990)
5. Anicic, D., Rudolph, S., Fodor, P., Stojanovic, N.: Stream reasoning and complex event processing in ETALIS. Semant. Web 3(4), 397–407 (2012)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proceedings 38th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2022-08-04