Representing actions in logic programs and default theories: A situation calculus approach

Journal of Logic Programming

Volumn 31, Issue 1-3, 1997, Pages 245-298

  Turner, Hudson ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FINITE AUTOMATA; HIGH LEVEL LANGUAGES; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING;

DEFAULT LOGIC; SITUATION CALCULUS;

FORMAL LOGIC;

EID: 0031123870     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(96)00125-2     Document Type: Article

References (37)

1. Baker, A., Nonmonotonic Reasoning in the Framework of Situation Calculus, Artificial Intelligence 49:5-23 (1991).
2. Baral, C., Reasoning about Actions: Non-Deterministic Effects, Constraints, and Qualifications, in: Proceedings of IJCAI-95, 1995, pp. 2017-2023.
3. Baral, C. and Gelfond, M., Representing Concurrent Actions in Extended Logic Programming, in: Proceedings of IJCAI-93, 1993, pp. 866-871.
4. Brewka, G. and Hertzberg, J., How to Do Things with Worlds: On Formalizing Actions and Plans, Journal of Logic and Computation 3(5):517-532 (1993).
5. Denecker, M. and DeSchreye, D., Representing Incomplete Knowledge in Abductive Logic Programming, in: Logic Programming: Proceedings of the 1993 International Symposium, 1993, pp. 147-163.
6. Dung, P. M., Representing Actions in Logic Programming and Its Applications in Database Updates, in: Logic Programming: Proceedings of the 10th International Conference, 1993, pp. 7-25.
7. Elkan, C., Reasoning about Action in First-Order Logic, in: Proceedings of the 1992 Canadian Conference on Artificial Intelligence, 1992.
8. Geffner, H., Causal Theories of Nonmonotonic Reasoning, in: Proceedings of AAAI-90, 1990, pp. 524-530.
9. Giunchiglia, E., Kartha, G. N., and Lifschitz, V., Actions with Indirect Effects (Extended Abstract), in: Working Notes of the AAAI Spring Symposium on Extending Theories of Action, 1995, pp. 80-85.
10. Gelfond, M. and Lifschitz, V., The Stable Model Semantics for Logic Programming, in: R. Kowalski and K. Bowen (eds.), Logic Programming: Proceedings of the Fifth International Conference and Symposium, 1988, pp. 1070-1080.
11. Gelfond, M. and Lifschitz, V., Logic Programs with Classical Negation, in: D. Warren and P. Szeredi (eds.), Logic Programming: Proceedings of the 7th International Conference, 1990, pp. 579-597.
12. Gelfond, M. and Lifschitz, V., Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing 9:365-385 (1991).
13. Gelfond, M. and Lifschitz, V., Representing Action and Change by Logic Programs, Journal of Logic Programming 17:301-322 (1993).
14. Gelfond, M., Lifschitz, V., Przymusińska, H., and Truszczyński, M., Disjunctive Defaults, in: J. Allen, R. Fikes, and E. Sandewall (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference, 1991, pp. 230-237.
15. Ginsberg, M. and Smith, D. E., Reasoning about Actions II: The Qualification Problem, Artificial Intelligence 35:311-342 (1988).
16. Hanks, S. and McDermott, D., Nonmonotonic Logic and Temporal Projection, Artificial Intelligence 33(3):379-412 (1987).
17. Kartha, G. N. and Lifschitz, V., Actions with Indirect Effects (Preliminary Report), in: Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, 1994, pp. 341-350.
18. Lifschitz, V., Frames in the Space of Situations, Artificial Intelligence 46:365-376 (1990).
19. Lifschitz, V., Restricted Monotonicity, in: Proceedings AAAI-93, 1993, pp. 432-437.
20. Lin, F., Embracing Causality in Specifying the Indirect Effects of Actions, in: Proceedings of IJCAI-95, 1995, pp. 1985-1991.
21. Lin, F. and Reiter, R., State Constraints Revisited, Journal of Logic and Computation 4(5):655-678 (1994). (Special Issue on Actions and Processes).
22. Lifschitz, V. and Turner, H., Splitting a Logic Program, in: Pascal Van Hentenryck (ed.), Proceedings Eleventh International Conference on Logic Programming, 1994, pp. 23-37.
23. Lifschitz, V., and Turner, H., From Disjunctive Programs to Abduction, in: Jürgen Dix, L. Pereira, and T. Przymusinski (eds.), Non-Monotonic Extensions of Logic Programming Lecture Notes in Artificial Intelligence 927, Springer-Verlag, 1995, pp. 23-42.
24. Morris, P., The Anomalous Extension Problem in Default Reasoning, Artificial Intelligence 35(3):383-399 (1988).
25. Marek, W. and Truszczyński, M., Revision Programming, Unpublished manuscript, 1993.
26. Marek, W. and Truszczyński, M., Revision Specifications by Means of Programs, in: Logics in AI. Proceedings of JELIA '94, 1994.
27. Marek, W. and Truszczyński, M., Revision Programming, Database Updates and Integrity Constraints, in: Proceedings of the 5th International Conference on Database Theory, 1995, pp. 368-382.
28. McCain, N. and Turner, H., A Causal Theory of Ramifications and Qualifications, in: Proceedings of IJCAI-95, 1995, pp. 1978-1984.
29. Przymusinski, T. and Turner, H., Update by Means of Inference Rules, in: Proceedings of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, 1995, pp. 156-174.
30. Reiter, R., A Logic for Default Reasoning, Artificial Intelligence, 13(1/2):81-132 (1980).
31. Sandewall, E., Features and Fluents, Oxford University Press, 1994.
32. Thielscher, M., Representing Actions in Equational Logic Programming, in: Pascal Van Hentenryck (ed.), Logic Programming: Proceedings of the 11th International Conference, MIT Press, 1994, pp. 207-224.
33. Thielscher, M., Computing Ramifications by Postprocessing, in: Proceedings of IJCAI-95, 1995, pp. 1994-2000.
34. Turner, H., Signed Logic Programs, in: M. Bruynooghe (ed.), Logic Programming: Proceedings of the 1994 International Symposium, 1994, pp. 61-75.
35. Turner, H., Representing Actions in Default Logic: A Situation Calculus Approach, in: Working Papers of the Third Symposium on Logic Formalizations of Commonsense Reasoning, 1996.
36. Turner, H., Splitting a Default Theory, in: Proceedings of AAAI-96, to appear.
37. Winslett, M., Reasoning about Action Using a Possible Models Approach, in: Proceedings of AAAI-88, 1988, pp. 89-93.