CR-Prolog2: CR-Prolog with ordered disjunction

CEUR Workshop Proceedings

Volumn 78, Issue , 2003, Pages 98-112

  Balduccini, Marcello ^a   Mellarkod, Veena ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

REASONING TASKS;

LOGIC PROGRAMMING;

SEMANTICS;

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

References (17)

1. Marcello Balduccini and Michael Gelfond. Diagnostic reasoning with a-prolog. Journal of Theory and Practice of Logic Programming (TPLP), 3(4-5):425-461, Jul 2003.
2. 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, Mar 2003.
3. Chitta Baral and Michael Gelfond. Reasoning agents in dynamic domains. In Workshop on Logic-Based Artificial Intelligence. Kluwer Academic Publishers, Jun 2000.
4. Gerhard Brewka. Logic programming with ordered disjunction. In Proceedings of AAAI-02, 2002.
5. Gerhard Brewka, Ilkka Niemela, and Tommi Syrjanen. Implementing ordered disjunction using answer set solvers for normal programs. In Sergio Flesca and Giovanbattista Ianni, editors, Proceedings of the 8th European Conference on Artificial Intelligence (JELIA 2002), Sep 2002.
6. Francesco Calimeri, Tina Dell'Armi, Thomas Eiter,Wolfgang Faber, Georg Gottlob, Giovanbattista Ianni, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerard Pfeifer, and Axel Polleres. The dlv system. In Sergio Flesca and Giovanbattista Ianni, editors, Proceedings of the 8th European Conference on Artificial Intelligence (JELIA 2002), Sep 2002.
7. Michael Gelfond. Epistemic approach to formalization of commonsense reasoning. Technical Report TR-91-2, University of Texas at El Paso, 1991.
8. 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.
9. Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, pages 365-385, 1991.
10. K. Heljanko. Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe petri nets. Fundamenta Informaticae, 37(3):247-268, 1999.
11. Antonis C. Kakas and Paolo Mancarella. Generalized stable models: a semantics for abduction. In Proceedings of ECAI-90, pages 385-391. IOS Press, 1990.
12. Fangzhen Lin and Yuting Zhao. Assat: Computing answer sets of a logic program by sat solvers. In Proceedings of AAAI-02, 2002.
13. Monica Nogueira. Building Knowledge Systems in A-Prolog. PhD thesis, University of Texas at El Paso, May 2003.
14. Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, and Matthew Barry. An a-prolog decision support system for the space shuttle. In Alessandro Provetti and Son Cao Tran, editors, Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, AAAI 2001 Spring Symposium Series, Mar 2001.
15. Enrico Pontelli, Marcello Balduccini, and F. Bermudez. Non-monotonic reasoning on beowulf platforms. In Veronica Dahl and Philip Wadler, editors, PADL 2003, volume 2562 of Lecture Notes in Artificial Intelligence (LNCS), pages 37-57, Jan 2003.
16. Patrik Simons. Computing Stable Models, Oct 1996.
17. Timo Soininen and Ilkka Niemela. Developing a declarative rule language for applications in product configuration. In Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, May 1999.