Login / Signup
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning.
Andrea Marrella
Massimo Mecella
Sebastian Sardiña
Published in:
KR (2014)
Keyphrases
</>
situation calculus
sensing actions
management system
initial state
classical planning
domain independent
event calculus
state space
modal logic
fluent calculus
learning algorithm
logical language
action theories
reasoning tasks
planning problems
orders of magnitude
web services