Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus.

Published in: J. Log. Comput. (1998)

Keyphrases

situation calculus
event calculus
action theories
initial state
indirect effects
constraint satisfaction
modal logic
concurrent actions
reasoning about actions
taxonomic reasoning
multi agent
sensing actions
agent programming
provably correct
blocks world
reasoning tasks
programming language