| Vol-861 urn:nbn:de:0074-861-0 Copyright © 2012 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.

# KiBP 2012
Knowledge-intensive Business Processes

### Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes (KiBP 2012)

### Rome, Italy, June 15, 2012.

Edited by

### Arthur H.M. ter Hofstede *
Massimo Mecella **
Sebastian Sardina ***
Andrea Marrella **

* Queensland University of Technology, Brisbane, Australia
** Dipartimento di Ingegneria Informatica, Automatica e Gestionale, Sapienza University of Rome, Italy
*** School of Computer Science and IT, RMIT University, Melbourne, Australia

## Table of Contents

### Keynote Talks

1. Integrated Data and Process Management: Finally? 1-4
   Marlon Dumas
2. A Logic-Based Approach to Business Process Customization 5
   Yves Lespérance

### Invited Paper

3. Automatic Detection of Business Process Interference 6-20
   Nick van Beest, Eirini Kaldeli, Pavel Bulanov, J.C. (Hans) Wortmann, Alexander Lazovik

### Full Research Papers

4. Semantically-Governed Data-Aware Processes 21-32
   Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso
5. Knowledge-intensive Processes: An Overview of Contemporary Approaches 33-47
   Claudio Di Ciccio, Andrea Marrella, Alessandro Russo
6. Business Processes Verification with Temporal Answer Set Programming 48-59
   Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Duprè
7. A Knowledge-based Approach to the Configuration of Business Process Model Abstractions 60-74
   Shamila Mafazi, Wolfgang Mayer, Georg Grossmann, Markus Stumptner
8. Modular Representation of a Business Process Planner 75-88
   Shahab Tasharrofi, Eugenia Ternovska

The whole proceedings can also be downloaded as a single file (pdf).

13-Jun-2012: submitted by Andrea Marrella
14-Jun-2012: published on CEUR-WS.org