[图书][B] Programming multi-agent systems in AgentSpeak using Jason
Jason is an Open Source interpreter for an extended version of AgentSpeak–a logic-based
agent-oriented programming language–written in JavaTM. It enables users to build complex …
agent-oriented programming language–written in JavaTM. It enables users to build complex …
SCC: a service centered calculus
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 …
programming service oriented applications over global computers. As an outcome of this …
Computational logics and agents: a road map of current technologies and future trends
The concept of an agent is increasingly used in contemporary software applications,
particularly those involving the Internet, autonomous systems, or cooperation. However, with …
particularly those involving the Internet, autonomous systems, or cooperation. However, with …
Monitoring norms: A multi-disciplinary perspective
The concept of a norm is found widely across fields including artificial intelligence, biology,
computer security, cultural studies, economics, law, organizational behaviour and …
computer security, cultural studies, economics, law, organizational behaviour and …
Mapping deontic operators to abductive expectations
Deontic concepts and operators have been widely used in several fields where
representation of norms is needed, including legal reasoning and normative multi-agent …
representation of norms is needed, including legal reasoning and normative multi-agent …
The KGP model of agency for global computing: Computational model and prototype implementation
We present the computational counterpart of the KGP (K nowledge, G oals, P lan)
declarative model of agency for Global Computing. In this context, a computational entity is …
declarative model of agency for Global Computing. In this context, a computational entity is …
Agents, multi-agent systems and declarative programming: What, when, where, why, who, how?
This chapter tackles the relation between declarative languages and multi-agent systems by
following the dictates of the five Ws (and one H) that characterize investigations. The aim is …
following the dictates of the five Ws (and one H) that characterize investigations. The aim is …
An abductive framework for a-priori verification of web services
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 …
Service Oriented Computing (SOC) share common topics, problems and settings. One of the …
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool
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 …
logic, and mainly defined in the context of Multi-Agent Systems for Global Computing (SOCS …
Contract-related agents
J Knottenbelt, K Clark - Computational Logic in Multi-Agent Systems: 6th …, 2006 - Springer
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 …
intention agent architecture to enable the monitoring and execution of contract terms and …