In this paper we address the problem of verifying business process compliance with norms.
To this end, we employ reasoning about actions in a temporal action theory. The action …

The paper provides a framework for the verification of business processes, based on an
extension of answer set programming (ASP) with temporal logic and constraints. The …

In this paper we introduce and discuss ten guidelines for the use of normative systems in
computer science. We adopt a multiagent systems perspective, because norms are used to …

We present a mechanism to detect and resolve conflicts in virtual environments, populated
by agents whose behaviours are regulated by norms, that is, explicit representations of …

We propose a simple event calculus representation of contracts and a reactive belief-desire-
intention agent architecture to enable the monitoring and execution of contract terms and …

Roles are being represented as a fundamental concept in most knowledge representation
languages, mainly in the design of open software systems. Unknown entities playing their …

The semantic web vision will facilitate automation of many tasks, including the location and
dynamic reconfiguration of web services. In this article, we are concerned with a specific …

Although expectations play an important role in designing cognitive agents, monitoring for
agent expectations is not explicitly being handled in most common agent programming …

Ontologies are a fundamental component of the Semantic Web since they provide a formal
and machine manipulable model of a domain. Description Logics (DLs) are often the …

Open Multiagent Systems (MASs) are societies in which heterogeneous and independently
designed entities (agents) work towards similar, or different ends. Software agents are …