Login / Signup

Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus.

Pablo Sáez
Published in: MICAI (2005)
Keyphrases
  • situation calculus
  • event calculus
  • reasoning about actions
  • modal logic
  • initial state
  • reasoning systems
  • provably correct
  • expert systems
  • domain independent