Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. G. Antoniou, D. Billington, G. Governatori, and M. Maher. Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2):255–287, April 2001. 102
2. S. Brass and J. Dix. Disjunctive semantics based on partial and bottom-up evaluation. In Proceedings of the 12th International Conference on Logic Programming, pages 199–213, Tokyo, June 1995. The MIT Press. 104
3. P. Dung. An argumentation theoretic foundation for logic programming. Journal of Logic Programming, 22:151–177, 1995. 104
4. T. Eiter and G. Gottlob. On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence, 15:289–323, 1995. 102, 103
5. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the 5th International Conference on Logic Programming, pages 1070–1080, Seattle, USA, August 1988. The MIT Press. 94
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Foundations of Grounding in Answer Set Programming;Theory and Practice of Logic Programming;2022-07-25
2. A multiparametric view on answer set programming;Annals of Mathematics and Artificial Intelligence;2019-06-08
3. moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming;Logic Programming and Nonmonotonic Reasoning;2017
4. Answer Set Solving in Practice;Synthesis Lectures on Artificial Intelligence and Machine Learning;2012-12-15
5. Characterising equilibrium logic and nested logic programs: Reductions and complexity,;Theory and Practice of Logic Programming;2009-07-31