Reasoning about actions and change in answer set programming

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2923, Issue , 2004, Pages 61-73

  Dimopoulos, Yannis ^a   Kakas, Antonis C ^a   Michael, Loizos ^b  

^a UNIVERSITY OF CYPRUS   (Cyprus)

^b HARVARD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTONOMOUS AGENTS; COMPUTATIONAL COMPLEXITY; PROBLEM SOLVING; SEMANTICS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING;

ANSWER SET PROGRAMMING; LOGIC PROGRAMS; REASONING ABOUT ACTION AND CHANGE (RAC); SYNTAX;

LOGIC PROGRAMMING;

ANSWER SET PROGRAMMING; ANSWER SET SEMANTICS; COMPUTATIONAL ISSUES; COMPUTATIONAL REALIZATION; EFFECTIVE SYSTEMS; ENCODINGS; LOGIC PROGRAMS; REASONING ABOUT ACTIONS;

EID: 9444260945     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. M. Balduccini and M. Gelfond. Diagnostic reasoning with A-Prolog. Theory and Practice of Logic Programming, 3, 2003.
2. C. Baral and M. Gelfond. Reasoning agents in dynamic domains. In J. Minker, editor, Logic Based AI. Kluwer, 2002.
3. T. Dell'Armi, W. Faber, G. Ielpa, C. Koch, N. Leone, S. Perri, and G. Pfeifer. System description: DLV. In Proceedings of LPNMR-01, 2001.
4. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. A logic programming approach to knowledge-state planning, II: The DLV K system. Artificial Intelligence, 144, 2003.
5. M. Gelfond and V. Lifschitz. Representing action and change by logic programs. Logic Programming, 17:301-322, 1993.
6. E. Giunchilgia, J. Lee, V. Lifschitz, N. McCain, and H. Turner. Nonmonotonic causal theories. Artificial Intelligence, to appear, 2003.
7. E. Giunchilgia and V. Lifschitz. An action language based on causal explanation: Preliminary report. In Proceedings of AAAI-98, 1988.
8. T. Janhunen, I. Niemela, P. Simons, and J.-H. You. Unfolding partiality and disjunctions in stable model semantics. In Proceedings of KR'00, 2000.
9. A. Kakas and L. Michael. Modeling complex domains of action and change. In Proc. of NMR-02, Toulouse, France, 2002.
10. A. Kakas and L. Michael. On the qualification problem and elaboration tolerance. In AAAI Spring Symp. on Logical Formalization of Commonsense Reasoning, 2003.
11. A. Kakas and R. Miller. Reasoning about actions, narratives and ramifications. Electronic Transactions in Artificial Intelligence, 1(4):39-72, 1997.
12. A. Kakas and R. Miller. A simple declarative language for describing narratives with ations. Logic Programming, 31:157-200, 1997.
13. A. Kakas, R. Miller, and F. Toni. An argumentation framework for reasoning about actions and change. In Proc. of LPNMR-99, 1999.
14. P. Liberatore. The complexity of the language A. Electronic Transactions on Artificial Intelligence, 1(1-3), 1997.
15. V. Lifschitz. Action languages, answer sets and planning. In The Logic Programming Paradigm: a 25 year perspective, pages 357-373, 1999.
16. V. Lifschitz and H. Turner. Representing transition systems by logic programs. In Proc. of LPNMR'99, 1999.
17. Y. Martin and M. Thielscher. Addressing the qualification problem in FLUX. In Proc. of KI 2001, pages 290-304, 2001.
18. M. Shanahan. An abductive event calculus planner. Logic Programming, 44, 2000.
19. T. Surjanen and I. Niemela. The Smodels system. In Proceedings of LPNMR-01, 2001.