Recent years have seen an increase in the application of ideas from the social sciences to
computational systems. Nowhere has this been more pronounced than in the domain of …

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

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

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

The concept of a norm is found widely across fields including artificial intelligence, biology,
computer security, cultural studies, economics, law, organizational behaviour and …

Formalising deontic concepts, such as obligation, prohibition and permission, is normally
carried out in a modal logic with a possible world semantics, in which some worlds are better …

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 …

The verification of compliance of business processes to norms requires the representation of
different kinds of obligations, including achievement obligations, maintenance obligations …

In this article, we define ArgSciFF, a prototype operational argumentation framework to
support dialogic argument exchange between Semantic Web services. ArgSciFF is based …

In this chapter, we first provide a general introduction to the research area methodology and
relevance, then we discuss normative reasoning for multiagent systems, and finally we …