[图书][B] Programming multi-agent systems in AgentSpeak using Jason

RH Bordini, JF Hübner, M Wooldridge - 2007 - books.google.com
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 …

SCC: a service centered calculus

M Boreale, R Bruni, L Caires, R De Nicola… - … Workshop on Web …, 2006 - Springer
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 …

Computational logics and agents: a road map of current technologies and future trends

M Fisher, RH Bordini, B Hirsch… - Computational …, 2007 - Wiley Online Library
The concept of an agent is increasingly used in contemporary software applications,
particularly those involving the Internet, autonomous systems, or cooperation. However, with …

Monitoring norms: A multi-disciplinary perspective

M Dastani, P Torroni, N Yorke-Smith - The Knowledge Engineering …, 2018 - cambridge.org
The concept of a norm is found widely across fields including artificial intelligence, biology,
computer security, cultural studies, economics, law, organizational behaviour and …

Mapping deontic operators to abductive expectations

M Alberti, M Gavanelli, E Lamma, P Mello… - Computational & …, 2006 - Springer
Deontic concepts and operators have been widely used in several fields where
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

A Bracciali, N Demetriou, U Endriss, A Kakas… - Global Computing: IST …, 2005 - Springer
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 …

Agents, multi-agent systems and declarative programming: What, when, where, why, who, how?

M Baldoni, C Baroglio, V Mascardi, A Omicini… - A 25-Year Perspective …, 2010 - Springer
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 …

An abductive framework for a-priori verification of web services

M Alberti, M Gavanelli, E Lamma, F Chesani… - Proceedings of the 8th …, 2006 - dl.acm.org
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 …

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool

M Alberti, F Chesani, M Gavanelli, E Lamma… - Web Services and …, 2006 - Springer
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 …

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 …