Causal theories of action: A computational core

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 1073-1078

  Lang, Jerome ^a   Lin, Fangzhen ^b   Marquis, Pierre ^c  

^a IRIT   (France)

^b HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

^c UNIVERSITÉ D'ARTOIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CAUSAL THEORY; COMPUTATIONAL CORE; INITIAL STATE; REASONING TASKS;

ARTIFICIAL INTELLIGENCE;

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

References (23)

1. C. Baral. Reasoning about actions: nondeterministic effects, constraints, and qualification. In IJCAI-95, pages 2017-2023, 1995.
2. T. Drakengren and M. Bjareland. Reasoning about action in polynomial time. In IJCAI-91, pages 1447-1453, 1997.
3. T. Drakengren and M. Bjareland. Expressive reasoning about action in nondeterministic polynomial time. In IJCA1-99, pages 161-171, 1999.
4. T. Eiter and G. Gottlob. On the complexity of propositional knowledge base revision, updates and counterfactuals. Artificial Intelligence, 57:227-270, 1992. (Pubitemid 23586698)
5. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. A logic programming approach to knowledge-state planning: Semantics and complexity. Technical report, Tech. University Wien, 2001.
6. M. Gelfond and V. Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, pages 301-322, 1993.
7. E. Giunchiglia and V. Lifschitz. An action language based on causal explanation: Preliminary report. In AAA1-98, pp. 623-630, 1998.
8. J. Gustafsson and P. Doherty. Embracing occlusion in specifying the indirect effects of actions. In KR-96, pages 87-98, 1996.
9. A. Herzig and O. Rifi. Propositional belief update and minimal change. Artificial Intelligence, 115:107-138, 1999. (Pubitemid 30522973)
10. A. C. Kakas, R. Miller, and F Toni. ERES: reasoning about actions, events and observations. In LPNMR-0I, pages 254-266, 2001.
11. J. Lang and P. Marquis. Complexity results for independence and definability in propositional logic. In KR-98, pages 356-367,1998.
12. P. Liberatore. The complexity of the language A. Electronic Transactions on Artificial Intelligence, \A3-3S, 1991.
13. P. Liberatore. The complexity of belief update. Artificial Intelligence, 119:141-190, 2000.
14. V. Lifschitz. On the logic of causal explanation. Artificial Intelligence, 96:451-465, 1997. (Pubitemid 127402642)
15. F Lin. Embracing causality in specifying the indirect effects of actions. In UCAI-95, pages 1985-1993, 1995.
16. F. Lin. From causal theories to successor state axioms and STRIPS-like systems. In AAAI-00, pages 786-791, 2000.
17. F Lin. On the strongest necessary and weakest sufficient conditions. Artificial Intelligence, 128:143-159, 2001. (Pubitemid 32421512)
18. N. McCain and H. Turner. Causal theories of action and change. In AAAI-97, pages 460-465,1997.
19. N. McCain and H. Turner. Satisfiability planning with causal theories. In KR-98, pages 212-223, 1998.
20. E. Sandewall. Features and Fluents. Oxford University Press, 1994.
21. M. Thielscher. Computing ramification by post-processing. In UCAI-95, pages 1994-2000,1995.
22. H. Turner. Polynomial-length planning spans the polynomial hierarchy. In JELIA-02, pages 111-124, 2002.
23. D. Zhang and N. Foo. EPDL: a logic for causal reasoning. In IJCAI-OI, pages 131-138,2001.