… Shoot causes ,Alive if Loaded . (Shooting is not assumed to affect the value of the fluent Alive unless the gun is loaded prior to the execution of the action.) According to the semantics of A, a set of effect propositions defines a transition diagram-a directed graph whose vertices …
CITATION STYLE
Lifschitz, V. (1999). Action Languages, Answer Sets, and Planning (pp. 357–373). https://doi.org/10.1007/978-3-642-60085-2_16
Mendeley helps you to discover research relevant for your work.