Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions.

Chitta Baral Tran Hoai Nam

Published in: Stud Logica (2005)

Keyphrases

reasoning about actions
contextual information
situation calculus
representation language
domain description
logic programming
spatial reasoning
qualitative reasoning
context aware
conceptual graphs
visual scene
world model
dynamic logic
action language
indirect effects