Login / Signup
The well-designed logical robot: Learning and experience from observations to the Situation Calculus.
Fiora Pirri
Published in:
Artif. Intell. (2011)
Keyphrases
</>
situation calculus
logical language
logical theories
action theories
event calculus
initial state
reasoning tasks
reasoning about actions
blocks world
provably correct
agent programming
concurrent actions
modal logic
sensing actions
taxonomic reasoning
universally quantified