Action Languages, Answer Sets, and Planning

This publication has 11 references indexed in Scilit:

• A logic of universal causation
  Artificial Intelligence, 1999
• Stable Models and an Alternative Logic Programming Paradigm
  Published by Springer Nature ,1999
• On the logic of causal explanation
  Artificial Intelligence, 1997
• Representing actions in logic programs and default theories a situation calculus approach
  The Journal of Logic Programming, 1997
• Encoding planning problems in nonmonotonic logic programs
  Published by Springer Nature ,1997
• Representing action and change by logic programs
  The Journal of Logic Programming, 1993
• Classical negation in logic programs and disjunctive databases
  New Generation Computing, 1991
• Nonmonotonic logic and temporal projection
  Artificial Intelligence, 1987
• A logic for default reasoning
  Artificial Intelligence, 1980
• Application of Theorem Proving to Problem Solving
  Published by Defense Technical Information Center (DTIC) ,1969