On the effect of default negation on the expressiveness of disjunctive rules

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

Volumn 2173 LNAI, Issue , 2001, Pages 93-106

  Janhunen, Tomi ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

DISJUNCTIVE LOGIC PROGRAMS; EXPRESSIVE POWER; STABLE SEMANTICS;

POLYNOMIALS; SEMANTICS;

LOGIC PROGRAMMING;

EID: 84867817882     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45402-0_7     Document Type: Conference Paper

References (31)

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.
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.
3. P. Dung. An argumentation theoretic foundation for logic programming. Journal of Logic Programming, 22:151-177, 1995.
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.
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.
6. M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proceedings of the 7th International Conference on Logic Programming, pages 579-597, Jerusalem, Israel, June 1990. The MIT Press.
7. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
8. G. Gottlob. Translating default logic into standard autoepistemic logic. Journal of the Association for Computing Machinery, 42(2):711-740, 1995.
9. K. Heljanko. Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe Petri nets. Fundamenta Informaticae, 37(3):247-268, 1999.
10. T. Imielinski. Results on translating defaults to circumscription. Artificial Intelligence, 32:131-146, 1987.
11. Katsumi Inoue and Chiaki Sakama. Negation as failure in the head. Journal of Logic Programming, 35(1):39-78, 1998.
12. T. Janhunen. Classifying semi-normal default logic on the basis of its expressive power. In M. Gelfond, N. Leone, and G. Pfeifer, editors, Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'99, pages 19-33, El Paso, Texas, December 1999. Springer-Verlag. LNAI.
13. T. Janhunen. On the intertranslatability of non-monotonic logics. Annals of Mathematics in Artificial Intelligence, 27(1-4):79-128, 1999.
14. T. Janhunen. Capturing stationary and regular extensions with Reiter's extensions. In Ojeda-Aciego M. et al., editors, Logics in Artificial Intelligence, European Workshop, JELIA 2000, pages 102-117, Málaga, Spain, September/October 2000. Springer-Verlag. LNAI 1919.
15. T. Janhunen. Comparing the expressive powers of some syntactically restricted classes of logic programs. In J. Lloyd et al., editors, Computational Logic, First International Conference, pages 852-866, London, UK, July 2000. Springer-Verlag. LNAI 1861.
16. T. Janhunen, I. Niemelä, P. Simons, and J. You. Unfolding partiality and disjunctions in stable model semantics. In A. G. Cohn, F. Guinchiglia, and B. Selman, editors, Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning, pages 411-419, Breckenridge, Colorado, USA, April 2000. Morgan Kaufmann Publishers.
17. N. Leone et al. Dlv. http://www.dbai.tuwien.ac.a t/proj/dlv/, 2000. A Disjunctive Datalog System.
18. V. Lifschitz. Answer set planning. In D. De Schreye, editor, Logic Programming, Proceedings of the 1999 International Conference on Logic Programming, pages 23-37. MIT Press, November-December 1999.
19. V. Lifschitz and T. Woo. Answer sets in general nonmonotonic reasoning (preliminary report). In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, pages 603-614, 1992.
20. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987.
21. J. Lobo, J. Minker, and A. Rajasekar. Foundations of Disjunctive Logic Programming. The MIT Press, 1992.
22. W. Marek and M. Truszczyński. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375-398. Springer-Verlag, 1999.
23. I. Niemelä. Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25(3, 4):241-273, 1999.
24. I. Niemelä, P. Simons, and T. Syrjänen. Smodels: a system for answer set programming. In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado, USA, April 2000. cs.AI/0003033.
25. D. Nute. Defeasible logic. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, chapter 7, pages 353-395. Oxford Science Publications, 1994.
26. T. C. Przymusinski. Stable semantics for disjunctive programs. New Generation Computing, 9:401-424, 1991.
27. T. C. Przymusinski. Static semantics for normal and disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, Special Issue on Disjunctive Programs, 14:323-357, 1995.
28. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
29. P. Simons. Extending the stable model semantics with more expressive rules. In Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 305-316, El Paso, Texas, USA, December 1999. Springer-Verlag.
30. T. Soininen, I. Niemelä, J. Tiihonen, and R. Sulonen. Unified configuration knowledge representation using weight constraint rules. In Workshop Notes of the ECAI'2000 Configuration Workshop, pages 79-84, Berlin, Germany, August 2000.
31. J. You and L. Yuan. A three-valued semantics for deductive databases and logic programs. Journal of Computer and System Sciences, 49:334-361, 1994.