CR-models: An inference engine for CR-Prolog

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

Volumn 4483 LNAI, Issue , 2007, Pages 18-30

  Balduccini, Marcello ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION; PROGRAM DIAGNOSTICS;

CR-MODELS; CR-PROLOG; ELEGANT FORMALIZATION;

INFERENCE ENGINES;

EID: 38049072655     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72200-7_4     Document Type: Conference Paper

References (10)

1. Marcello Balduccini. USA-Smart: Improving the Quality of Plans in Answer Set Planning. In PADL'04, Lecture Notes in Artificial Intelligence (LNCS), Jun 2004.
2. Marcello Balduccini. Computing Answer Sets of CR-Prolog Programs. Technical report, Texas Tech University, 2006. http://krlab.cs.ttu.edu/~marcy/ bib.php.
3. Marcello Balduccini and Michael Gelfond. Logic Programs with Consistency-Restoring Rules. In Patrick Doherty, John McCarthy, and Mary-Anne Williams, editors, International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, pages 9-18, Mar 2003.
4. Marcello Balduccini, Michael Gelfond, and Monica Nogueira. Answer Set Based Design of Knowledge Systems. Annals of Mathematics and Artificial Intelligence, 2006.
5. Chitta Baral. Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Jan 2003.
6. Chitta Baral, Michael Gelfond, and Nelson Rushton. Probabilistic reasoning with answer sets. Journal of Theory and Practice of Logic Programming (TPLP), 2005. (submitted).
7. Michael Gelfond. Representing Knowledge in A-Prolog. In Antonis C. Kakas and Fariba Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, volume 2408, pages 413-451. Springer Verlag, Berlin, 2002.
8. Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, pages 365-385, 1991.
9. Loveleen Kolvekar. Developing an Inference Engine for CR-Prolog with Preferences. Master's thesis, Texas Tech University, Dec 2004.
10. Monica Nogueira. Building Knowledge Systems in A-Prolog. PhD thesis, University of Texas at El Paso, May 2003.