Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75-111] (DOI:10.1016/j.artint.2004.02.001)

Artificial Intelligence

Volumn 172, Issue 15, 2008, Pages 1833-1835

  Bonatti, Piero A ^a  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 50649107043     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2008.07.002     Document Type: Erratum

References (4)

1. Bonatti P.A. Resolution for skeptical stable model semantics. Journal of Automated Reasoning 27 4 (2001) 391-421
2. Bonatti P.A. Prototypes for reasoning with infinite stable models and function symbols. Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001. LNCS vol. 2173 (2001), Springer 416-419
3. Bonatti P.A. Reasoning with infinite stable models. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001 (2001), Morgan Kaufmann 603-610
4. Bonatti P.A. Reasoning with infinite stable models. Artificial Intelligence 156 1 (2004) 75-111