Publisher
Springer International Publishing
Reference15 articles.
1. Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011). https://doi.org/10.1145/2043174.2043195
2. Cabalar, P., Fandinno, J., Lierler, Y.: Modular answer set programming as a formal specification language. Theory Pract. Logic Program. 20(5), 767–782 (2020)
3. Fandinno, J., Hansen, Z., Lierler, Y.: Arguing correctness of asp programs with aggregates (2022), (Accepted to LPNMR-22)
4. Fandinno, J., Hansen, Z., Lierler, Y.: Axiomatization of aggregates in answer set programming. In: Proceedings of the Thirty-six 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