Login / Signup

Proving Properties of States in the Situation Calculus.

Raymond Reiter
Published in: Artif. Intell. (1993)
Keyphrases
  • situation calculus
  • initial state
  • action theories
  • event calculus
  • sensing actions
  • concurrent actions
  • fluent calculus
  • modal logic
  • reasoning about actions
  • provably correct
  • reasoning tasks
  • logical language