SCIFF is a framework thought to specify and verify interaction in open agent societies. The
SCIFF language is equipped with a semantics based on abductive logic programming; …

In this work we propose an approach for the automatic discovery of logic-based models
starting from a set of process execution traces. The approach is based on a modified …

The management of business processes has recently received a lot of attention. One of the
most interesting problems is the description of a process model in a language that allows the …

In open societies of agents, where agents are autonomous and heterogeneous, it is not
realistic to assume that agents will always act so as to comply with interaction protocols …

The management of business processes is receiving much attention, since it can support
significant efficiency improvements in organizations. One of the most interesting problems is …

Deontic concepts and operators have been widely used in several fields where
representation of norms is needed, including legal reasoning and normative multi-agent …

In this paper we propose a logic-based social approach to the specification and verification
of agent interaction. We firstly introduce integrity constraints about social acts (called Social …

We propose an operational framework which builds on the classical understanding of
abductive reasoning in logic programming, and extends it in several directions. The new …

Business organizations achieve their mission by performing a number of processes. These
span from simple sequences of actions to complex structured sets of activities with complex …

In this paper we present by a case study an approach to the verification of security protocols
based on Abductive Logic Programming. We start from the perspective of open multi-agent …