In this paper we summarize the results obtained so far in the communities interested in the
development of automated processing techniques as applied to business documents, and …

The paper proposes a fresh look at the concept of goal and advances that motivational
attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) …

In this paper we analyse the problem of synthesising compliant business processes from
rules-based declarative specifications for agents. In particular, we consider the approach by …

We propose algorithms to synthesise the specifications modelling the capabilities of an
agent, the environment she acts in, and the governing norms, into a process graph. This …

Conflicting rules and rules with exceptions are very common in natural language
specification employed to describe the behaviour of devices operating in a real-world …

Normative systems accommodate temporary norms of several types, which can also be
modified in different, and codified ways. In this paper we address the problem of modifying …

Organisations typically have to cope with large numbers of business rules and existing
regulations governing the business in which they operate. Due to the size and complexity of …

Diagnosis is widely used in many different disciplines to identify the nature and cause of a
certain phenomenon. We present t L t L, a new logical framework able to formalise …

Defeasible deontic logic has shown to be expressive enough to represent a normative
system, and therefore compliance to such a system can be automatically checked by means …

Scholars understand an agent as a system acting in an environment. Such an environment
is usually governed by norms, and the agent has to obey to such norms when pursuing her …