A-Prolog with CR-Rules and Ordered Disjunction

Proceedings of International Conference on Intelligent Sensing and Information Processing, ICISIP 2004

Volumn , Issue , 2004, Pages 1-6

  Balduccini, Marcello ^a   Mellarkod, Veena ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONTROL SYSTEMS; DECISION SUPPORT SYSTEMS; INTELLIGENT AGENTS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; ROUTERS; SEMANTICS; SENSORS; SET THEORY; SPACE SHUTTLES;

CONSISTING-RESTORING RULES (CR-RULES); ORDERED DISJUNCTION;

COMPUTER SCIENCE;

EID: 1942451807     PISSN: None     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. Pawel Cholewinski, V. Wiktor Marek, and Miroslaw Truszczynski. Default reasoning system deres. In International Conference on Principles of Knowledge Representation and Reasoning, pages 518-528. Morgan Kaufmann, 1996.
8. Michael Gelfond. Epistemic approach to formalization of commonsense reasoning. Technical Report TR-91-2, University of Texas at El Paso, 1991
9. 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.
10. Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, pages 365-385, 1991.
11. 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.
12. Antonis C. Kakas and Paolo Mancarella. Generalized stable models: a semantics for abduction. In Proceedings of ECAI-90, pages 385-391. IOS Press, 1990.
13. Fangzhen Lin and Yuting Zhao. Assat: Computing answer sets of a logic program by sat solvers. In Proceedings of AAAI-02, 2002.
14. Monica Nogueira. Building Knowledge Systems in A-Prolog. PhD thesis, University of Texas at El Paso, May 2003.
15. 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.
16. 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.
17. Patrik Simons. Computing Stable Models, Oct 1996.