Publisher
Springer International Publishing
Reference14 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Buddenhagen,2015
2. Cabalar, P., Fandinno, J., Lierler, Y.: Modular answer set programming as a formal specification language. Theor. Pract. Logic Program. 20(5), 767–782 (2020)
3. Calimeri, F., et al.: ASP-Core-2: input language format (2012). https://www.mat.unical.it/aspcomp2013/ASPStandardization
4. Fandinno, J., Hansen, Z., Lierler, Y.: Axiomatization of aggregates in answer set programming. In: Proceedings of the 36th National Conference on Artificial Intelligence, AAAI 2022. AAAI Press (2022)
5. Fandinno, J., Lifschitz, V.: Verification of locally tight programs (2022). http://www.cs.utexas.edu/users/ai-labpub-view.php?PubID=127938
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proceedings 39th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2023-09-12
2. Semantics for Conditional Literals via the SM Operator;Logic Programming and Nonmonotonic Reasoning;2022