Knowledge and the action description language Script a sign

Theory and Practice of Logic Programming

Volumn 1, Issue 2, 2001, Pages 129-184

  Lobo, Jorge ^a   Mendez, Gisela ^a,b   Taylor, Stuart R ^c  

^a LUCENT TECHNOLOGIES   (United States)

^b UNIVERSIDAD CENTRAL DE VENEZUELA   (Venezuela)

^c RAYTHEON COMPANY   (United States)

Author keywords

Action theories; Epistemic logic programs

Indexed keywords

EID: 0013451983     PISSN: 14710684     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (24)

1. Aho, A. and Ullman, J. (1995) Foundations of Computer Science, C edition. Computer Science Press.
2. Baral, C. and Gelfond, M. (1997) Reasoning about effects of concurrent actions. J. Logic Programming, 31, 85-118.
3. Baral, C. and Son, T. (1997) Approximate reasoning about actions in presence of sensing and incomplete information. In: Maluszynsky, J. (ed.), Proceedings of International Logic Programming Symposium, pp. 387-401.
4. Baral, C., Gelfond, M. and Provetti, A. (1997) Representing actions: Laws, observations and hypotheses. J. Logic Programming, 31(1-3), 201-244.
5. Cousot, P. (1990) Methods and logics for proving programs. In: van Leeuwen, J. (ed.), Handbook of theoretical computer science, vol. B, pp. 841-993. MIT Press/Elsevier.
6. Davey, B. A. and Priestley, H. A. (1990) Introduction to Lattice Theory. Cambridge Mathematical Text Books.
7. Geffner, H. and Bonet, B. (1998) High-level planning and control with incomplete information using POMDP's. Working Notes of the 1998 AAAI Fall Symposium on Cognitive Robotics.
8. Gelfond, M. (1994) Logic programming and reasoning with incomplete information. Annals of Mathematics and Artificial Intelligence, 98-116.
9. Gelfond, M. and Lifschitz, V. (1991) Classical negation in logic programs and disjunctive databases. New Generation Comput. 9(3-4), 365-387.
10. Gelfond, M. and Lifschitz, V. (1993) Representing actions and change by logic programs. J. Logic Programming, 17(2-4), 301-323.
11. Gelfond, M. and Przymusinska, H. (1991) Definitions of epistemic specification. In: Nerode, A., Marek, V. W. and Subrahmanian, V. S. (eds.), Proceedings of 1st International Workshop on Logic Programming and Non-monotonic Reasoning, p. 249-263.
12. Kartha, G. N. and Lifschitz, V. (1994) Actions with indirect effects. In: Doyle, J., Sandewall, E. and Torasso, P. (eds.), Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, pp. 341-350.
13. Kartha, G. N. and Lifschitz, V. (1997) Representing actions: Indeterminacy and ramification. Artificial Intelligence, 95, 409-443.
14. Levesque, H. (1996) What is planning in the presence of sensing? Proceedings of 13th National Conference on Artificial Intelligence, vol. 2, pp. 1139-1146.
15. Lifschitz, V. (1996) Two components of an action language. Working Papers of the 3rd Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense '96).
16. Lifschitz, V. and Turner, H. (1994) Splitting a logic program. In: van Hentenryck, P. (ed.), Proceedings of the 11th International Conference of Logic Programming, pp. 23-37.
17. Lobo, J., Minker, J. and Rajasekar, A. (1992) Foundations of Disjunctive Logic Programming. MIT Press.
18. Lobo, J., Mendez, G. and Taylor, S. (1997) Adding knowledge to the action description language Script A sign. Proceedings of the 14th National Conference on Artificial Intelligence, pp. 454-459. AAAI Press.
19. Manna, Z. and Waldinger, R. (1987) How to clear a block: A theory of plans. J. Automated Reasoning, 3, 343-377.
20. Marek, W. and Truszczynski, M. (1991) Autoepistemic logic. J. ACM, 38(3), 588-619.
21. McCain, N. and Turner, H. (1997) Causal theories of action and change. Proceedings of the 14th National Conference on Artificial Intelligence, pp. 460-465.
22. Moore, R. C. (1985) Semantical considerations on non-monotonic reasoning. Artificial Intelligence, 28, 75-94.
23. Scherl, R. and Levesque, H. (1993) The frame problem and knowledge-producing actions. Proceedings of the 11th National Conference on Artificial Intelligence, pp. 689-695.
24. Thielscher, M. (1994) Representing actions in equational logic programming. In: van Hentenryck, P. (ed.), Proceedings of the International Conference on Logic Programming, pp. 207-224.