Login / Signup
Theories of Intentions in the Framework of Situation Calculus.
Maria del Pilar Pozos Parra
Abhaya C. Nayak
Robert Demolombe
Published in:
DALT (2004)
Keyphrases
</>
situation calculus
taxonomic reasoning
action theories
provably correct
high level
initial state