Reasoning with infinite stable models II: Disjunctive programs

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

Volumn 2401 LNCS, Issue , 2002, Pages 333-347

  Bonatti, Piero A ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING; RECONFIGURABLE HARDWARE;

ANSWER SET PROGRAMMING; CONSISTENCY RESULT; FUNCTION SYMBOLS; INFERENCE MECHANISM; LOGIC PROGRAMS; RECURSIONS; STABLE MODEL; STANDARD LOGIC;

LOGIC PROGRAMMING;

EID: 84888225412     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45619-8_23     Document Type: Conference Paper

References (11)

1. P. A. Bonatti. Reasoning with infinite stable models. Proc. of IJCAI'01, pp. 603-608, Morgan Kaufmann, 2001.
2. P. A. Bonatti. Prototypes for reasoning with infinite stable models and function symbols. Proc. of LPNMR'01, pp. 416-419, LNAI 2173, Springer, 2001.
3. P. A. Bonatti. Shift-based semantics: general results and applications. Technical report CD-TR 93/59, Technical University of Vienna, Computer Science Department, Institute of Information Systems, 1993.
4. P. Cholewinski, V. Marek, A. Mikitiuk, and M. Truszczynski. Experimenting with nonmonotonic reasoning. In Proc. of ICLP'95. MIT Press, 1995.
5. J. Dix, U. Furbach, A. Nerode. Logic Programming and Nonmonotonic Reasoning: 4th international conference, LPNMR'97, LNAI 1265, Springer Verlag, Berlin, 1997.
6. T. Eiter and G. Gottlob. Complexity results for disjunctive logic programming and applications to nonmonotonic logics. In Proc. of ILPS'93. MIT Press, 1993.
7. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, F. Scarcello. A deductive system for nonmonotonic reasoning.
8. F. Fages. Consistency of Clark's completion and existence of stable models. Methods of Logic in Computer Science 1:51-60, 1994.
9. G. Gottlob. Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2:397-425, 1992.
10. V. Lifschitz, H. Turner. Splitting a logic program. In Proc. ICLP'94, pp.23-37, MIT Press, 1994.
11. T. Syrjanen. Omega-restricted logic programs. Proc. of LPNMR'01, LNAI 2173, pp. 267-280, Springer, 2001.