Knowledge and observations in the situation calculus.

Ryan F. Kelly Adrian R. Pearce

Published in: AAMAS (2007)

Keyphrases

situation calculus
sensing actions
event calculus
knowledge representation
domain knowledge
knowledge base
concurrent actions
initial state
reasoning about actions
action theories
artificial intelligence
general purpose
reasoning tasks
blocks world
logical theories
universally quantified