Sciweavers

DALT
2009
Springer
14 years 2 months ago
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report
Abstract. Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievemen...
Shakil M. Khan, Yves Lespérance
DALT
2009
Springer
14 years 2 months ago
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games
Abstract. Virtual characters in games operate in a social context involving other characters and human players. If such socially situated virtual characters are to be considered be...
Michal P. Sindlar, Mehdi Dastani, Frank Dignum, Jo...
DALT
2009
Springer
14 years 2 months ago
Unifying the Intentional and Institutional Semantics of Speech Acts
Carole Adam, Andreas Herzig, Dominique Longin, Vin...
ATAL
2009
Springer
14 years 2 months ago
Choice, interoperability, and conformance in interaction protocols and service choreographies
Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...
Matteo Baldoni, Cristina Baroglio, Amit K. Chopra,...
ATAL
2009
Springer
14 years 2 months ago
Normative framework for normative system change
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...
Guido Boella, Gabriella Pigozzi, Leendert van der ...
ECAIW
1994
Springer
14 years 2 months ago
Representing and Executing Agent-Based Systems
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
Michael Fisher
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
14 years 2 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
ATAL
1995
Springer
14 years 2 months ago
Time, Knowledge, and Choice
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
Michael Wooldridge
ATAL
1995
Springer
14 years 2 months ago
Alarms: An Implementation of Motivated Agency
Autonomousagentsin the real world must be capableof asynchronous goal generation. However, one consequence of this ability is that the agent may generate a substantial number of go...
Timothy J. Norman, Derek Long