Circumscriptive event calculus as answer set programming

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 823-829

  Kim, Tae Won ^a   Lee, Joohyung ^a   Palla, Ravi ^a  

^a Arizona State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; SEMANTICS;

A-STABLE; ANSWER SET; ANSWER SET PROGRAMMING; COMPUTATIONAL ADVANTAGES; EVENT CALCULUS; REASONING TASKS; SAT-BASED; STABLE MODEL SEMANTICS;

CALCULATIONS;

EID: 77958577072     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. Patrick Doherty, Joakim Gustafsson, Lars Karlsson, and Jonas Kvarnström. TAL: Temporal action logics language specification and tutorial. Linköping Electronic Articles in Computer and Information Science ISSN 1401-9841, 3(015), 1998.
2. Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz. A new perspective on stable models. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pages 372-379, 2007.
3. Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, and Ravi Palla. Symmetric splitting in the general theory of stable models. 2009. This volume.
4. Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz. Stable models and circumscription. Artificial Intelligence, 2010. To appear.
5. Michael Gelfond and Vladimir Lifschitz. Action languages. Electronic Transactions on Artificial Intelligence, 3:195-210, 1998.
6. Tomi Janhunen and Emilia Oikarinen. Capturing parallel circumscription with disjunctive logic programs. In Proceedings of European Conference on Logics in Artificial Intelligence (JELIA), pages 134-146, 2004.
7. Robert Kowalski and Marek Sergot. A logic-based calculus of events. New Generation Computing, 4:67-95, 1986.
8. Joohyung Lee and Fangzhen Lin. Loop formulas for circumscription. In Proceedings of National Conference on Artificial Intelligence (AAAI), pages 281-286, 2004.
9. Joohyung Lee, Vladimir Lifschitz, and Ravi Palla. A reductive semantics for counting and choice in answer set programming. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), pages 472-479, 2008.
10. Vladimir Lifschitz, Lappoon R. Tang, and Hudson Turner. Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence, 25:369-389, 1999.
11. Vladimir Lifschitz. Circumscription. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in AI and Logic Programming, volume 3, pages 298-352. Oxford University Press, 1994.
12. Vladimir Lifschitz. What is answer set programming? In Proceedings of the AAAI Conference on Artificial Intelligence, pages 1594-1597, 2008.
13. Fangzhen Lin and Yi Zhou. From answer set logic programming to circumscription via logic of GK. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2007.
14. Victor Marek and Mirosław Truszczy nski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375-398. Springer Verlag, 1999.
15. John McCarthy. Circumscription - a form of non-monotonic reasoning. Artificial Intelligence, 13:27-39,171-172, 1980.
16. John McCarthy. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence, 26(3):89-116, 1986.
17. Rob Miller and Murray Shanahan. The event calculus in classical logic - alternative axiomatisations. Electron. Trans. Artif. Intell., 3(A):77-105, 1999.
18. Erik T. Mueller. Event calculus reasoning through satisfiability. J. Log. Comput., 14(5):703-730, 2004.
19. Erik T. Mueller. A tool for satisfiabilitybased commonsense reasoning in the event calculus. In Valerie Barr and Zdravko Markov, editors, FLAIRS Conference. AAAI Press, 2004.
20. Erik Mueller. Commonsense reasoning. Elsevier, 2006.
21. Ilkka Niemelä. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25:241-273, 1999.
22. Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
23. Murray Shanahan and Mark Witkowski. Event calculus planning through satisfiability. J. Log. Comput., 14(5):731-745, 2004.
24. Murray Shanahan. A circumscriptive calculus of events. Artif. Intell., 77(2):249-284, 1995.
25. Murray Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, 1997.
26. Murray Shanahan. The event calculus explained. In Artificial Intelligence Today, LNCS 1600, pages 409-430. Springer, 1999.