Agent technology currently plays an important role in complex software development. The
underlying paradigm offers a large repertoire of original concepts, architectures, interaction …

This chapter describes Jason, an interpreter written in Java for an extended version of
AgentSpeak, a logic-based agent-oriented programming language that is suitable for the …

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

Manufacturing Market is a market in which manufacturing process capacity is the object of
trade. In a market, units of capacity, represented as manufacturing services, can be acquired …

Solving complex problems in real-world contexts, such as financial investment planning or
mining large data collections, involves many different sub-tasks, each of which requires …

The concept of an agent is increasingly used in contemporary software applications,
particularly those involving the Internet, autonomous systems, or cooperation. However, with …

This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan)
model. This draws from the classic BDI model and proposes a hierarchical agent …

The Enterprise Resource Planning (ERP) system is an enterprise-wide integrated software
package designed to uphold the highest quality standards of business process. However, for …

We extend the logical model of agency known as the KGP model, to support agents with
normative concepts, based on the roles an agent plays and the obligations and prohibitions …

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