The USA-advisor: A case study in answer set programming

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

Volumn 2424, Issue , 2002, Pages 566-567

  Gelfond, Michael ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; SEMANTICS;

ANSWER SET PROGRAMMING; DECLARATIVE PROGRAMMING; DOMAIN KNOWLEDGE; DYNAMIC DOMAINS; LOGIC PROGRAMS; MODEL KNOWLEDGE; NATURAL TREATMENT; STABLE MODEL;

C (PROGRAMMING LANGUAGE);

EID: 84974728119     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45757-7_55     Document Type: Conference Paper

References (10)

1. M. Balduccini, M. Barry, M. Gelfond, M. Nogueira, and R. Watson An A-Prolog decision support system for the Space Shuttle. Lecture Notes in Computer Science-Proceedings of Practical Aspects of Declarative Languages'Ol, (2001), 1990:169-183
2. S. Citrigno, T. Eiter, W. Faber, G. Gottlob, C. Koch, N. Leone, C. Matéis, G. Pfeifer and F. Scarcello. The dlv system: Model generator and application fron-tends. In Proceedings of the 12th Workshop on Logic Programming, 128-137, 1997.
3. P. Cholewinski, W. Marek and M. Truszczyński. Default Reasoning System DeReS. In International Conference on Principles of Knowledge Representation and Rea
4. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programs. In Proceedings of the 5th International Conference on Logic Programming, 1070-1080.
5. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9(3/4):365-386, 1991.
6. M. Gelfond and V. Lifschitz. Representing Actions and Change by Logic Programs.
7. N. McCain and H. Turner. Causal theories of action and change. In 14th National Conference of Artificial Intelligence (AAAI'97), 460-465, 1997.
8. W. Marek, and M. Truszczyński. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, 375-398, Spring-Verlag. 1999.
9. I. Niemelä, and P. Simons. Smodels-an implementation of the stable model and well-founded semantics for normal logic programs. In Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning
10. H. Turner. Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming, Vol. 31, No. 1-3, 245-298, 1997.