Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

Engineering of knowledge-intensive processes is far from being mastered. Processes are
defined knowledge-intensive when people/agents carry them out in a fair degree of …

Service-oriented computing, an emerging paradigm for architecting and implementing
business collaborations within and across organizational boundaries, is currently of interest …

Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …

Declarative process models define the behaviour of business processes as a set of
constraints. Declarative process discovery aims at inferring such constraints from event logs …

Artful processes are those processes in which the experience, intuition, and knowledge of
the actors are the key factors in determining the decision making. They are typically carried …

Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …

In the last few years, there has been a growing interest in the adoption of declarative
paradigms for modeling and verifying process models. These paradigms provide an abstract …

Multiagent social commitments provide a principled basis for agent interactions, and serve
as a natural tool to resolve design ambiguities. Indeed, they have been the subject of …

Declarative approaches are particularly suitable for modeling highly flexible processes.
They especially apply to artful processes, ie, rapid informal processes that are typically …