Login / Signup

History-Based Diagnosis Templates in the Framework of the Situation Calculus.

Gero Iwan
Published in: KI/ÖGAI (2001)
Keyphrases
  • situation calculus
  • taxonomic reasoning
  • dynamic programming
  • reasoning tasks
  • event calculus
  • action theories
  • logical language