Login / Signup
An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning.
Andrea Marrella
Massimo Mecella
Sebastian Sardiña
Published in:
IJCAI (2016)
Keyphrases
</>
situation calculus
sensing actions
management system
initial state
event calculus
classical planning
action theories
reasoning tasks
reasoning about actions
concurrent actions
modal logic
planning problems
partial information
fluent calculus