Login / Signup

Scheduling in the Situation Calculus: A Case Study.

Raymond ReiterZheng Yuhua
Published in: Ann. Math. Artif. Intell. (1997)
Keyphrases
  • situation calculus
  • action theories
  • event calculus
  • initial state
  • modal logic
  • reasoning about actions
  • provably correct
  • reasoning tasks
  • concurrent actions
  • agent programming
  • logical language
  • fluent calculus