Login / Signup

Bounded situation calculus action theories.

Giuseppe De GiacomoYves LespéranceFabio Patrizi
Published in: Artif. Intell. (2016)
Keyphrases
  • situation calculus
  • action theories
  • initial state
  • event calculus
  • reasoning about actions
  • action language
  • incomplete information
  • fluent calculus
  • modal logic
  • concurrent actions
  • indirect effects