CIRC2DLP - Translating circumscription into disjunctive logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3662 LNAI, Issue , 2005, Pages 405-409

  Oikarinen, Emilia ^a   Janhunen, Tomi ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33646032102     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11546207_36     Document Type: Conference Paper

References (15)

1. J. de Kleer and K. Konolige. Eliminating the fixed predicates from a circumscription. Artificial Intelligence, 39(3):391-398, July 1989.
2. T. Eiter, W. Faber, N. Leone, and G. Pfeifer. The diagnosis frontend of the DLV system. AI Communications, 12(1-2):99-111, 1999.
3. T. Eiter and G. Gottlob. On the computational cost of disjunctive logic programming: Propositional case. Annals of Math. and AI, 15:289-323, 1995.
4. M. Gelfond and V. Lifschitz. Compiling circumscriptive theories into logic programs. In Proceedings of the 7th National Conference on Artificial Intelligence, pages 455-449, St. Paul, MN, August 1988. AAAI Press.
5. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
6. K. Inoue and C. Sakama. Negation as failure in the head. Journal of Logic Programming, 35(1):39-78, 1998.
7. T. Janhunen, I. Niemelä, D. Seipel, P. Simons, and J.-H. You. Unfolding partiality and disjunctions in stable model semantics. ACM Transactions on Computational Logic, 2005. To appear, see http://www.acm.org/tocl/accepted.html.
8. T. Janhunen and E. Oikarinen. Capturing parallel circumscription with disjunctive logic programs. In Proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA'04, pages 134-146, Lisbon, Portugal, September 2004. Springer-Verlag. LNAI 3229.
9. J. Lee and F. Lin. Loop formulas for circumscription. In Proceedings of 19th National Conference on Artificial Intelligence, pages 281-286, San Jose, California, USA, July 2004. The MIT Press.
10. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, and F. Scarcello. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic, 2005. To appear, see http://www.acm.org/tocl/accepted.html.
11. V. Lifschitz. Computing circumscription. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 121-127, Los Angeles, California, USA, August 1985. Morgan Kaufmann.
12. T.C. Przymusinski. Stable semantics for disjunctive programs. New Generation Computing, 9:401-424, 1991.
13. R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57-95, 1987.
14. C. Sakama and K. Inoue. Embedding circumscriptive theories in general disjunctive programs. In Proceedings of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, pages 344-357. Springer-Verlag, 1995.
15. T. Wakaki and K. Inoue. Compiling prioritized circumscription into answer set programming. In Proceedings of the 20th International Conference on Logic Programming, pages 356-370, Saint-Malo, France, September 2004. Springer-Verlag.