Author:
Dodaro Carmine,Gasteiger Philip,Musitsch Benjamin,Ricca Francesco,Shchekotykhin Kostyantyn
Publisher
Springer International Publishing
Reference27 articles.
1. Alviano, M., Dodaro, C., Leone, N., Ricca, F.: Advances in wasp. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR. LNCS, vol. 9345, pp. 40–54. Springer, Heidelberg (2015)
2. Lecture Notes in Computer Science;M Aschinger,2011
3. Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: AAAI Spring Symposiumm, pp. 9–18 (2003)
4. Brain, M., Vos, M.D.: Debugging logic programs under the answer set semantics. In: Workshop on ASP, pp. 141–152 (2005)
5. Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Explainable Answer-set Programming;Electronic Proceedings in Theoretical Computer Science;2023-09-12
2. Abstraction for non-ground answer set programs;Artificial Intelligence;2021-11
3. Omission-Based Abstraction for Answer Set Programs;Theory and Practice of Logic Programming;2020-06-09
4. Explaining Non-Acceptability in Abstract Argumentation;FRONT ARTIF INTEL AP;2020
5. Reasoning About Strong Inconsistency in ASP;Theory and Applications of Satisfiability Testing – SAT 2020;2020