Login / Signup
Reasoning about Concurrent Actions and Observations.
Renwei Li
Luís Moniz Pereira
Published in:
APPIA-GULP-PRODE (1996)
Keyphrases
</>
concurrent actions
situation calculus
planning problems
description language
action language
indirect effects
event calculus
external events
artificial intelligence
natural language
heuristic search
domain independent
qualitative and quantitative
reasoning about actions
action theories