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