Reconciling Situation Calculus and Fluent Calculus.

Stephan Schiffel Michael Thielscher

Published in: AAAI (2006)

Keyphrases

fluent calculus
situation calculus
event calculus
reasoning about actions
action theories
modal logic
initial state
blocks world
provably correct
concurrent actions
programming language
artificial intelligence
predicate logic
logical language
logic programs
indirect effects
natural language