Transformations of logic programs related to causality and planning

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

Volumn 1730, Issue , 1999, Pages 107-116

  Erdem, Esra ^a   Lifschitz, Vladimir ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER CIRCUITS; RECONFIGURABLE HARDWARE; SEMANTICS;

ANSWER SET SEMANTICS; LOGIC PROGRAMS;

LOGIC PROGRAMMING;

EID: 84958643851     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46767-X_8     Document Type: Conference Paper

References (11)

1. Rachel Ben-Eliyahu and Rina Dechter. Propositional semantics for disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, 12:53-87, 1994.
2. Thomas Eiter, Nicola Leone, Christinel Mateis, Gerald Pfeifer, and Francesco Scarcello. A deductive system for non-monotonic reasoning. In Proceedings of the 4th International Conference on Logic Programmimg and Nonmonotonic Reasoning, pages 363-374. Springer-Verlag, 1997.
3. Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases.New Generation Computing, 9:365-385, 1991.
4. Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, and Miroslaw Truszczynski. Disjunctive defaults. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 230-237, 1991.
5. Henry Kautz and Bart Selman.Pushing the envelope: planning, propositional logic, and stochastic search. In Proceedings of 13th National Conference on AI, pages 1194-1201, 1996.
6. Vladimir Lifschitz. Foundations of logic programming. Principles of Knowledge Representation, pages 69-127, 1996.
7. Vladimir Lifschitz and Hudson Turner. Splitting a logic program. In Proceedings of the Eleventh International Conference on Logic Programming, pages 23-37, 1994.
8. Norman McCain. Causality in Commonsense Reasoning About Actions. PhD thesis, The University of Texas at Austin, 1997.
9. Norman McCain and Hudson Turner. Causal theories of action and change. In Proceedings of AAAI-97, pages 460-465, 1997.
10. Ilkka Niemelä. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 1999. To appear.
11. Ilkka Niemelä and Patrik Simons. Efficient implementation of the well-founded and stable model semantics. In Proceedings of Joint International Cenference and, Symposium on Logic Programming, pages 289-303, 1996