Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1997, Pages 1221-1226

  De Giacomo, Giuseppe ^a   Lesperance, Yves ^b   Levesque, Hector J ^c  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b YORK UNIVERSITY   (Canada)

^c UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT CONTROL; CONCURRENT EXECUTION; CONCURRENT PROGRAM EXECUTION; FORMAL DEFINITION; INITIAL STATE; PRIMITIVE ACTIONS; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE; INTERACTIVE COMPUTER SYSTEMS;

CALCULATIONS;

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

References (16)

1. A longer version of this paper, in preparation.
2. A. J. Bonner and M. Kifer. Concurrency and communication in transaction logic. In Proc. ICDT'95, 1995.
3. J. De Bakker and E. De Vink. Control Flow Semantics. MIT Press, 1996.
4. G. De Giacomo and X. Chen. Reasoning about nondeterministic and concurrent actions: A process algebra approach. In Proc. AAAI'96, pages 658-663, 1996.
5. C. C. Green. Theorem proving by resolution as a basis for question-answering systems. In Machine Intelligence, vol. 4, pages 183-205. Edinburgh University Press, 1969.
6. M. Hennessy. The Semantics of Programming Languages. John Wiley & Sons, 1990.
7. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall Int., 1985.
8. D. Leivant. Higher order logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 2, pages 229-321. Clarendon Press, 1994.
9. H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. To appear in the Journal of Logic Programming, 1997.
10. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence, vol. 4, Edinburgh University Press, 1969.
11. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
12. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Dept. Aarhus Univ. Denmark, 1981.
13. D. Pym, L. Pryor, D. Murphy. Processes for plan-execution. In Proc. UK Planning and Scheduling SIG Workshop, 1995.
14. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, 1991.
15. R. Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Proc. KR'96, pages 2-13, 1996.
16. C. Stirling. Modal and temporal logics for processes. In Logics for Concurrency: Structure versus Automata, LNCS 1043, pages 149-237. Springer-Verlag, 1996.