<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>AI Meets Business Processes 2013 Workshop Proceedings</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Laura Giordano</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Stefania Montani</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Daniele Theseider Dupre (eds.)</string-name>
        </contrib>
      </contrib-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Business Process Management (BPM) is a set of activities aimed at de ning,
executing, monitoring and optimizing business processes (BP), with the
objective of making the business of an enterprise as e ective and e cient as possible,
and of increasing its economic success. Such activities are highly automated,
typically by means of the work ow technology. BPM activities, and BP
optimization in particular, may ask the enterprise to be able to exibly change
and adapt the prede ned process schema, in response to expected situations
(e.g. new laws, reengineering e orts) as well as to unanticipated exceptions and
problems in the operating environment (e.g. emergencies).</p>
      <p>Several classical Arti cial Intelligence methodologies can be relied upon, in
order to properly manage BP and their adaptation. Knowledge representation
and reasoning techniques can be exploited for modeling processes and
exceptions, for modeling background knowledge (e.g. in the form of ontologies) and
to reason about them (e.g. for logic-based veri cation). Moreover, since many
systems share the idea of recalling and reusing concrete examples of change
adopted in the past, Case-based Reasoning can exploited, to retrieve
adaptation cases, and to support the user in the overall adaptation task. Additionally,
when adaptations take place, quality evaluation is needed; indeed, compliance
of the new version of the process with respect to speci c semantic constraints
can again be veri ed (on line or post mortem). As a nal example, data mining
techniques can be resorted to when the default process schema is not known,
but has to be learnt from a set of available execution traces. Such
methodologies have proved to be helpful in a wide range of application domains, from
industrial to medical ones.</p>
      <p>The workshop collects methodological and application papers on the topic,
addressing research on process modeling, veri cation, process adaptation,
process mining.</p>
      <p>The nal goal is the one of serving as a means for exchanging novel as well
as more consolidated ideas and examples in the eld, and to identify promising
research lines and challenges for the future.</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>