Reasoning with infinite stable models

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 603-608

  Bonatti, Piero A ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DEPENDENCY GRAPHS; FINITE DOMAINS; LOGIC PROGRAMS; NON-MONOTONIC REASONING; STABLE MODEL; STABLE MODEL SEMANTICS;

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING; SEMANTICS; TURING MACHINES;

THEOREM PROVING;

EID: 84880855605     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. P. A. Bonatti and N. Olivetti. A sequent calculus for skeptical default logic. In Proceedings of TABLEAUX'97, number 1227 in LNAI, pages 107-121. Springer Verlag, 1997.
2. P. A. Bonatti. Resolution for skeptical stable semantics. Journal of Automated Reasoning. To appear.
3. Preliminary version in [Dix et al., 1997].
4. D. Cenzer, J. B. Remmel, and A. Vanderbilt. Locally determined logic programs. In Proc. of LPNMR'99, number 1730 in LNAI, pages 34-48, Berlin, 1999. Springer Verlag.
5. P. Cholewiński, V. Marek, A. Mikitiuk, and M. Truszczyński. Experimenting with nonmonotonic reasoning. In Proc. of ICLP'95. MIT Press, 1995.
6. J. Dix, U. Furbach, and A. Nerode, editors. Proc. of LPNMR'97, number 1265 in LNAI, Berlin, 1997. Springer Verlag.
7. P. M. Dung. On the relation between stable and well-founded semantics of logic programs. Theoretical Computer Science, 105:7-25, 1992.
8. T. Eiter and G. Gottlob. Complexity results for disjunctive logic programming and applications to nonmonotonic logics. In Proc. of ILPS'93. MIT Press, 1993.
9. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for nonmonotonic reasoning. In [Dix et al., 1997], 1997.
10. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of the 5th ICLP, pages 1070-1080. MIT Press, 1988.
11. G. Gottlob. Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2:397-425, 1992.
12. H. J. Levesque. All I know: a study in autoepistemic logic. Artificial Intelligence, 42:263-309, 1990.
13. V. Lifschitz and H. Turner. Splitting a logic program. In Proc. of ICLP'94, pages 23-37. MIT Press, 1994.
14. V. Lifschitz. Computing circumscription. In Proceedings of IJCAI'85, pages 121-127, 1985.
15. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1984.
16. R. S. Milnikel. Nonomonotonic logic: a monotonic approach. PhD thesis, Cornell University, 1999.
17. I. Niemelä and P. Simons. Smodels - an implementation of the stable model and well-founded semantics for normal LP. In [Dix et al., 1997], 1997.
18. N. Olivetti. Tableaux and sequent calculus for minimal entailment. Journal of Automated Reasoning, 9:99-139, 1992.
19. R. Rosati. Towards first-order nonmonotonic reasoning. In Proc. of LPNMR'99, number 1730 in LNAI, pages 332-346, Berlin, 1999. Springer Verlag.
20. J. Schlipf. The expressive power of the logic programming semantics. In Proc. of PODS'90, 1990.