Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

Increasingly, software engineering involves open systems consisting of autonomous and
heterogeneous participants or agents who carry out loosely coupled interactions …

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

The purpose of the study is to design and develop a recommended system based on agent
and web technologies, which utilizes a hybrid recommendation filtering for the smart tourism …

Just as conventional institutions are organisational structures for coordinating the activities
of multiple interacting individuals, electronic institutions provide a computational analogue …

Formal verification is becoming a useful means of validating designs. We have developed a
methodology for formally verifying dataintensive circuits (eg, processors) with sophisticated …

In this paper we propose an application-independent model for the definition of artificial
institutions that can be used to define open multi-agent systems. Such a model of …

We present the JaCaMo+ framework for programming multiagent systems (MAS), where
agents interact thanks to commitment-based interaction protocols. Commitment protocols …

Ever since the seminal work of Searle, two components of interaction protocols have been
identified: constitutive rules, defining the meaning of actions and regulative rules, defining …

Both conversation specifications and policies are required to facilitate effective agent
communication. Specifications provide the order in which speech acts can occur in a …