REASONING ABOUT EFFECTS OF CONCURRENT ACTIONS

Authors
BARAL C GELFOND M
Citation
C. Baral et M. Gelfond, REASONING ABOUT EFFECTS OF CONCURRENT ACTIONS, The journal of logic programming, 31(1-3), 1997, pp. 85-117
Citations number
55
Categorie Soggetti
Computer Sciences, Special Topics","Computer Science Theory & Methods
Journal title
The journal of logic programming → ACNP
ISSN journal
07431066
Volume
31
Issue
1-3
Year of publication
1997
Pages
85 - 117
Database
ISI
SICI code
0743-1066(1997)31:1-3<85:RAEOCA>2.0.ZU;2-Z
Abstract
Gelfond and Lifschitz introduce a declarative language A for describin g effects of actions and describe translations of theories in this lan guage into extended logic programs. In this paper we extend the langua ge A and its translation to allow reasoning about the effects of concu rrent actions. The logic programming formalization of situation calcul us with concurrent actions presented in the paper is of independent in terest and may serve as a test bed for the investigation of various tr ansformations and logic programming inference mechanisms. (C) Elsevier Science Inc., 1997.