AIBP 2013
AI Meets Business Processes

Table of Contents

• Preface
  
  
• Towards Self-Adaptation and Evolution in Business Process 1-10
  Luca Sabatucci, Carmelo Lodato, Salvatore Lopes, Massimo Cossentino
• A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies 11-20
  Giuseppe Della Penna, Roberto Del Sordo, Benedetto Intrigila, Nicolò Mezzopera, Maria Teresa Pazienza
• Classification Techniques for Conformance and Performance Checking in Process Analysis 21-30
  Hind Chfouka, Andrea Corradini, Roberto Guanciale
• Improving Process Model Retrieval by Accounting for Gateway Nodes: an Ongoing Work 31-40
  Stefania Montani, Giorgio Leonardi, Silvana Quaglini, Alessandro Baudi
• Application of Bayesian Networks to Recommendations in Business Process Modeling 41-50
  Szymon Bobek, Mateusz Baran, Krzysztof Kluza, Grzegorz J. Nalepa
• Mission-Critical Business Process Management with WADE 51-60
  Federico Bergenti, Giovanni Caire, Danilo Gotta
• Towards a Planning-Based Approach to the Automated Design of Chemical Processes 61-70
  Arman Masoumi, Andrea Marrella, Mihail Soutchanski
• Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version) 71-80
  Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
• State-Based Event Modeling 81-90
  Alessander Botti Benevides, Claudio Masolo
• Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming 91-100
  Matteo Spiotta, Alessio Bottrighi, Daniele Theseider Dupré