Approaching the plans are programs paradigm using transaction logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1348 LNAI, Issue , 1997, Pages 377-389

  Santos, Marcus V ^a   Rillo, Marcio ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; SEMANTICS;

COMPLEX ACTIONS; LOGIC PROGRAMS; LOGICAL THEORIES; PLAN GENERATION; PLANNING PROBLEM; PLANNING PROCESS; WORLD MODEL;

COMPUTER CIRCUITS;

EID: 84898683631     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63912-8_100     Document Type: Conference Paper

References (14)

1. S. Biundo. Present-day deductive planning. In Current Trends in A1 Planning-2nd European WorkShop on Planning (EWSP-93}, pages 1-5. lOS Press, 1994.
2. A.J. Bonnet and M. Kifer. Representing complex actions in transaction logic. In preparation.
3. A.J. Bonnet and M. Kifer. Transaction logic programming. Technical Report CSRI-323, Computer Systems Research Institute, University of Toronto, 1993.
4. M. V. T. dos Santos, P. E. Santos, F. S. Correa, and M. Rillo. Actions as prolog programs. In IEEE Symposia on Intelligence in Automation and Robotics, Nov 96.
5. M.V.T. dos Santos. On the formalization of actions using transaction logic. In ECAI-96 Workshop on Cross-]ertilization in Planning, Aug 96.
6. R. E. Fikes and N. J. Nilsson. Strips: A new approach to theorem proving in problem solving. Journal of Artificial Intelligence, 2:189-208, 1971.
7. D. Hazel. First Order Dynamic Logic. Springer LNCS 68, 1979.
8. R. Kowalski. Logic ]or Problem Solving. North-Holland Publishing Company, 1979.
9. H.J. Levesque, R. Reiter, Y. Lesp~rance, F. Lin, and R. B. Scherl. GOLOG: a logic programming language for dynamic domains. Journal of Logic Programming, 1997. To appear.
10. V. Lifschitz. On the semantics of strips. In M.P. Georgeff and L. Lansky A, editors, Proc. 1986 Workshop Reasoning about Actions and Plans, pages 1-9, 1987.
11. J. M. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, pages 463-502. Edinburgh University Press, 1969.
12. M.L.Ginsberg and D.E.Smith. Reasoning about action i: A possible worlds approach. Journal of Artificial Intelligence, 35:165-195, 1988.
13. E.C. Schank and R.P. Abelson. Scripts, Plans Goals and Understanding. Freeman Publ. Co., 1975.
14. W. Stephan and S. Biundo. A new logical framework for deductive planning. In Proceedings of the 13th International Joint Con]erence on Artificial Intelligence (IJCAI-93), pages 32-38. Morgan Kaufmann, 1993.