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

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; …

We seek for a small set of primitives that might serve as a basis for formalising and
programming service oriented applications over global computers. As an outcome of this …

SCIFF is a declarative language, based on abductive logic programming, that
accommodates forward rules, predicate definitions, and constraints over finite domain …

Logic-based abduction finds important applications in artificial intelligence and related
areas. One application example is in finding explanations for observed phenomena …

Web applications play a crucial role in modern businesses, offering various services and
often exposing sensitive data that can be enticing to attackers. As a result, there is a growing …

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 …

Although stemming from very different research areas, Multi-Agent Systems (MAS) and
Service Oriented Computing (SOC) share common topics, problems and settings. One of 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 …

In this work, we investigate the feasibility of using a framework based on computational
logic, and mainly defined in the context of Multi-Agent Systems for Global Computing (SOCS …