Two components of an action language

Annals of Mathematics and Artificial Intelligence

Volumn 21, Issue 2-4, 1997, Pages 305-320

  Lifschitz, Vladimir ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21944447028     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018973620715     Document Type: Article

References (23)

1. K. Apt and M. Bezem, Acyclic programs, in: Logic Programming: Proc. of the Seventh Int. Conf., eds. D. Warren and P. Szeredi (1990) pp. 617-633.
2. A. Baker, A simple solution to the Yale Shooting Problem, in: Proc. of the First Int. Conf. on Principles of Knowledge Representation and Reasoning, eds. R. Brachman, H. Levesque and R. Reiter (1989) pp. 11-20.
3. C. Baral, M. Gelfond and A. Provetti, Reasoning about actions: laws, observations and hypotheses, Journal of Logic Programming (1997), to appear.
4. C. Baral, Reasoning about actions: Non-deterministic effects, constraints, and qualifications, in: Proc. of IJCAI-95 (1995) pp. 2017-2023.
5. C. Boutilier and N. Friedman, Nondeterministic actions and the frame problem, in: Working Notes of the Symposium on Extending Theories of Actions (1995).
6. G. Brewka and J. Hertzberg, How to do things with worlds: On formalizing actions and plans, Journal of Logic and Computation 3(5) (1993).
7. C. Elkan, Reasoning about action in first-order logic, in: Proc. of the 1992 Canadian Conf. on Artificial Intelligence (1992).
8. K. Eshghi and R. Kowalski, Abduction compared with negation as failure, in: Logic Programming: Proc. of the Sixth Int. Conf., eds. G. Levi and M. Martelli (1989) pp. 234-255.
9. C. Evans, Negation-as-failure as an approach to the Hanks and McDermott problem, in: Proc. of the Second Int. Symp. on Artificial Intelligence (1989).
10. H. Geffner, Causal theories for nonmonotonic reasoning, in: Proc. AAAI-90 (1990) pp. 524-530.
11. M. Gelfond and V. Lifschitz, Representing action and change by logic programs, Journal of Logic Programming 17 (1993) 301-322.
12. M. Gelfond, Autoepistemic logic and formalization of commonsense reasoning, in: Non-Monotonic Reasoning: 2nd International Workshop (Lecture Notes in Artificial Intelligence 346), eds. M. Reinfrank, J. de Kleer, M. Ginsberg and E. Sandewall (Springer, 1989) pp. 176-186.
13. M.R. Genesereth and N.J. Nilsson, Logical Foundations of Artificial Intelligence (Morgan Kaufmann, San Mateo, CA, 1987).
14. M. Ginsberg and D. Smith, Reasoning about action II: the qualification problem, Artificial Intelligence 35 (1988) 311-342.
15. E. Giunchiglia and V. Lifschitz, Dependent fluents, in: Proc. IJCAI-95 (1995) pp. 1964-1969.
16. E. Giunchiglia, G.N. Kartha and V. Lifschitz, Actions with indirect effects (extended abstract), in: Working Notes of the Symposium on Extending Theories of Actions (1995).
17. B. Haugh, Simple causal minimizations for temporal persistence and projection, in: Proc. AAAI-87 (1987) pp. 218-223.
18. G.N. Kartha and V. Lifschitz, Actions with indirect effects (preliminary report), in: Proc. of the Fourth Int. Conf. on Principles of Knowledge Representation and Reasoning (1994) pp. 341-350.
19. V. Lifschitz, Formal theories of action (preliminary report), in: Proc. of IJCAI-87 (1987) pp. 966-972.
20. F. Lin and R. Reiter, State constraints revisited, Journal of Logic and Computation 4 (1994) 655-678.
21. F. Lin and Y. Shoham, Provably correct theories of action (preliminary report), in: Proc. AAAI-91 (1991) pp. 349-354.
22. F. Lin, Embracing causality in specifying the indirect effects of actions, in: Proc. of IJCAI-95 (1995) pp. 1985-1991.
23. N. McCain and H. Turner, A causal theory of ramifications and qualifications, in: Proc. of IJCAI-95 (1995) pp. 1978-1984.