Login / Signup

An Application of Action Theory to the Space Shuttle.

Richard Watson
Published in: PADL (1999)
Keyphrases
  • space shuttle
  • action theories
  • situation calculus
  • initial state
  • space station
  • incomplete information
  • reasoning about actions
  • fault detection
  • domain description
  • default theories
  • high reliability
  • model theoretic