An adaptive process management system implementation based on situation calculus, indigolog and classical planning

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2016-January, Issue , 2016, Pages 4258-4259

  Marrella, Andrea ^a   Mecella, Massimo ^a   Sardina, Sebastian ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

ADAPTIVE PROCESS MANAGEMENT SYSTEMS; AUTOMATED RESOLUTION; BUSINESS PROCESS EXECUTION; CLASSICAL PLANNING; PROCESS EXECUTION; REASONING ABOUT ACTIONS; SITUATION CALCULUS;

CALCULATIONS;

EID: 85006091073     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. Giuseppe De Giacomo, Yves Lespérance, Hector Levesque, and Sebastian Sardina. IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. In Multi-Agent Prog. Springer, 2009.
2. Claudio Di Ciccio, Andrea Marrella, and Alessandro Russo. Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches. J. Data Semantics, 4(1), 2015.
3. Malik Ghallab, Dana S. Nau, and Paolo Traverso. Automated Planning: Theory and Practice. Morgan Kaufmann, 2004.
4. Andrea Marrella, Massimo Mecella, and Sebastian Sardina. SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning. In KR, 2014.
5. Raymond Reiter. Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT press, 2001.