| Vol-1101 urn:nbn:de:0074-1101-6 Copyright © 2013 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# AIBP 2013
AI Meets Business Processes

### Proceedings of the Workshop AI Meets Business Processes 2013
co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013)

### Turin, Italy, December 6, 2013.

Edited by

### Laura Giordano
Stefania Montani
Daniele Theseider Dupré

Università del Piemonte Orientale, DISIT, Istituto di Informatica, Viale Michel 11, Alessandria, Italy

## 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é

2013-12-03: submitted by Daniele Theseider Dupré
2013-12-03: published on CEUR-WS.org |valid HTML5|