Disjunctive logic programs with inheritance

Theory and Practice of Logic Programming

Volumn 2, Issue 3, 2002, Pages 293-321

  Buccafurri, Francesco ^a   Faber, Wolfgang ^b   Leone, Nicola ^c  

^a UNIVERSITY MEDITERRANEA OF REGGIO CALABRIA   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^c UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Disjunctive logic programming; Exceptions; Inheritance; Knowledge representation; Nonmonotonic reasoning

Indexed keywords

EID: 0345537159     PISSN: 14710684     EISSN: None     Source Type: Journal    
DOI: 10.1017/S1471068402001394     Document Type: Article

References (38)

1. Alferes, J. J. and Pereira, L. M. (1992). On logic program semantics with two kinds of negation. Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP'92), pp. 574-588. MIT Press.
2. Alferes, J. J., Pereira, L. M. and Przymusinski, T. C. (1996) Strong and explicit negation in nonmonotonic reasoning and logic programming, European Workshop on Logics in Artificial Intelligence (JELIA'96), pp. 143-163. Springer-Verlag.
3. Alferes, J. J., Leite, J. A., Pereira, L. M., Przymusinska, H. and Przymusinski, T. C. (1998a) Dynamic logic programming. Proceedings 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pp. 98-111. Morgan Kaufmann.
4. Alferes, J. J., Pereira, L. M. and Przymusinski, T. C. (1998b). 'Classical' negation in nonmonotonic reasoning and logic programming. J. Automated Reasoning, 20(1/2), 107-142.
5. Baral, C. and Gelfond, M. (1994) Logic programming and knowledge representation. J. Logic Programming, 19/20, 73-148.
6. Brewka, G. and Eiter, T. (1998) Preferred answer sets for extended logic programs. In: A. Cohn, L. Schubert and S. Shapiro (eds.), Proceedings 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pp. 86-97. Morgan Kaufmann.
7. Buccafurri, F., Leone, N. and Rullo, P. (1998) Disjunctive ordered logic: semantics and expressiveness. In: A. G. Cohn, L. Schubert and S. C. Shapiro (eds.), Proceedings 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pp. 418-429. Morgan Kaufmann.
8. Buccafurri, F., Leone, N. and Rullo, P. (1999) Semantics and expressiveness of disjunctive ordered logic. Annals of Mathematics and Artificial Intelligence, 25(3-4), 311-337.
9. Delgrande, J., Schaub, T. and Tompits, H. (2000) Logic programs with compiled preferences. In: W. Horn (ed.), Proceedings 14th European Conference on Artificial Intelligence (ECAI'2000), pp. 392-398. IOS Press.
10. Dung, P. M. (1993) Representing actions in logic programming and its applications in database updates. Proceedings 10th International Conference on Logic Programming, pp. 222-238.
11. Eiter, T. and Gottlob, G. (1995) On the computational cost of disjunctive logic programming: propositional case. Annals of Mathematics and Artificial Intelligence, 15(3/4), 289-323.
12. Eiter, T., Gottlob, G. and Leone, N. (1997a) Abduction from logic programs: semantics and complexity. Theoretical Computer Science, 189(1-2), 129-177.
13. Eiter, T., Gottlob, G. and Mannila, H. (1997b) Disjunctive Datalog. ACM Trans. Database Systems, 22(3), 364-418.
14. Eiter, T., Leone, N., Mateis, C., Pfeifer, G. and Scarcello, F. (1998) The KR system dlv: Progress report, comparisons and benchmarks. In: A. G. Cohn, L. Schubert and S. C. Shapiro (eds.), Proceedings 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pp. 406-417. Morgan Kaufmann.
15. Eiter, T., Fink, M., Sabbatini, G. and Tompits, H. (2000) Considerations on updates of logic programs: In: M. Ojeda-Aciego, I. P. de Guzman, G. Brewka and L. Moniz Pereira (eds.), Proceedings European Workshop on Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA 2000), Malaga, Spain. (Lecture Notes in Computer Science 1919, pp. 2-20. Springer-Verlag.)
16. Erdem, E. (1999) Applications of Logic Programming to Planning: Computational Experiments. Unpublished draft. http://www.cs.utexas.edu/users/esra/papers.html.
17. Faber, W. (1999) dlvi homepage. 〈URL:http://www.dbai.tuwien.ac.at/proj/dlv/inheritance/〉.
18. Faber, W. and Pfeifer, G. (since 1996) dlv homepage. http://www.dbai.tuwien.ac.at/proj/dlv/.
19. Gelfond, M. and Lifschitz, V. (1991) Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, 365-385.
20. Gelfond, M. and Lifschitz, V. (1993) Representing action and change by logic programs. J. Logic Programming, 17, 301-321.
21. Gelfond, M. and Son, T. C. (1997) Reasoning with prioritized defaults. Proceedings Workshop of Logic Programming and Knowledge Representation (LPKR '97), pp. 164-223. Springer-Verlag.
22. Giunchiglia, E. and Lifschitz, V. (1998) An action language based on causal explanation: preliminary report. Proceedings 15th National Conference on Artificial Intelligence (AAAI '98), pp. 623-630.
23. Hanks, S. and McDermott, D. (1987) Nonmonotonic logic and temporal projection. Artificial Intelligence, 33(3), 379-412.
24. Kowalski, R. A. and Sadri, F. (1990) Logic programs with exceptions. Proceedings 7th International Conference on Logic Programming (ICLP'90), pp. 598-616. MIT Press.
25. Leone, N., Palopoli, L. and Romeo, M. (1995) A language for updating logic programs and its implementation. J. Logic Programming, 23(1), 1-61.
26. Lifschitz, V. (1999) Action languages, answer sets and planning. In: K. Apt, V. W. Marek, M. Truszczyński and D. S. Warren (eds.), The Logic Programming Paradigm - A 25-year Perspective, pp. 357-373. Springer-Verlag.
27. Lobo, J., Minker, J. and Rajasekar, A. (1992) Foundations of Disjunctive Logic Programming. MIT Press.
28. Marek, V. and Truszczyński, M. (1994) Revision specifications by means of programs. European Workshop on Logics in Artificial Intelligence (JELIA'94), pp. 122-136. Springer-Verlag.
29. Marek, W. and Truszczyński, M. (1990) Modal logic for default reasoning. Annals of Mathematics and Artificial Intelligence, 1(1-4), 275-302.
30. Marek, W. and Truszczyński, M. (1991) Autoepistemic Logic. J. ACM, 38(3), 588-619.
31. McCarthy, J. (1990) Formalization of Common Sense - Papers by John McCarthy. Edited by V. Lifschitz. Ablex.
32. McCarthy, J. and Hayes, P. J. (1969) Some philosophical problems from the standpoint of artificial intelligence. In: B. Meltzer and D. Michie (eds.), Machine Intelligence 4, pp. 463-502. Edinburgh University Press.
33. Nute, D. (1994) Defeasible logic. In: D. M. Gabbay, C. Hogger and J. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, pp. 353-395. Oxford University Press.
34. Pradhan, S. and Minker, J. (1996) Using priorities to combine knowledge bases. Int. J. Cooperative Information Systems, 5(2&3), 333-364.
35. Reiter, R. (1980) A logic for default reasoning. Artificial Intelligence, 13(1-2), 81-132.
36. Sakama, C. and Inoue, K. (1996) Representing priorities in logic programs. Proceedings 1996 Joint International Conference and Syposium on Logic Programming (JICSLP'96), pp. 82-96. MIT Press.
37. Shanahan, M. (1997) Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press.
38. Touretzky, D. S. (1986) The Mathematics of Inheritance Systems. Pitman.