Credulous resolution for answer set programming

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2008, Pages 418-423

  Bonatti, Piero A ^a   Pontelli, Enrico ^b   Son, Tran Cao ^b  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^b New Mexico State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIONICS; FUNCTIONS; LOGIC PROGRAMMING;

ANSWER SET PROGRAMMINGS; GOAL DIRECTED; LOGIC PROGRAMS; NEW APPROACHES; SOUNDNESS AND COMPLETENESSES; SPI-RIT; TOP DOWNS;

ARTIFICIAL INTELLIGENCE;

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

References (19)

1. Balduccini, M.; et al. 2001. The USA-Advisor: A Case Study in Answer Set Planning. LPNMR, Springer Verlag.
2. Bonatti, P. A. 2001. Resolution for skeptical stable model semantics. J. Autom. Reasoning 27(4):391-421.
3. Bonatti, P. A. 2004. Reasoning with infinite stable models. Artificial Intelligence Journal 156:75-111.
4. Bonatti, P. A; et al. 2008. Credulous Resolution for ASP. Technical Report, NMSU-CS-2008-001. www.cs.nmsu.edu/CSWS/php/techReports.php.
5. Carlucci, L.; et al. 2001. Verifying Security Protocols as Planning in Logic Programming. ACM TOCL 2(4).
6. Dovier, A.; et al. 2008. An Empirical Study of CLP and Answer Set Programming. JETAI (to appear).
7. Eiter, T.; et al. 1997. Computing non-ground representations of stable models. LPNMR, 198-217. Springer Verlag.
8. k System. Artificial Intelligence 144( 1 -2): 157-211.
9. Ferraris, P.; et al. 2007. A New Perspective on Stable Models. In IJCAI, 372-379.
10. Fitting, M. 1994. Tableaux for Logic Programming. J. Autom. Reasoning 13(2).
11. Gebser, M., and Schaub, T. 2006. Tableau Calculi for ASP. ICLP, Springer Verlag.
12. Gelfond, M., and Lifschitz, V 1988. The Stable Model Semantics for Logic Programming. JICSLP, MIT Press.
13. Heljanko, K., and Niemelä, I. 2003. Bounded LTL model checking with stable models. TPLP 3(4,5):519-550.
14. Lloyd, J. 1987. Foundations of logic programming. Springer Verlag.
15. Marek, V., and Truszczyński, M. 1999. Stable Models as an Alternative Logic Programming Paradigm. In The Logic Programming Paradigm, 375-398, Springer Verlag.
16. Niemelä, I. 1999. Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and AI 25 (3, 4): 241-273.
17. Simons, P.; et al. 2002. Extending and Implementing the Stable Model Semantics. AIJ, 138(1-2): 181-234.
18. Son, T. C., and Pontelli, E. 2007. Planning for Biochemical Pathways. In SEA '07 Workshop.
19. Son, T. C.; et al. 2005. An Approximation of Action Theories of AL and its Application to Conformant Planning. In LPNMR, 172-184, Springer Verlag.