Sciweavers

Share
DALT
2004
Springer
10 years 1 months ago
Norm Verification and Analysis of Electronic Institutions
Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of ...
Wamberto Weber Vasconcelos
DALT
2004
Springer
10 years 1 months ago
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
L. Robert Pokorny, C. R. Ramakrishnan
DALT
2004
Springer
10 years 3 months ago
Enhancing Commitment Machines
Abstract. Agent interaction protocols are usually speciļ¬ed in terms of permissible sequences of messages. This representation is, unfortunately, brittle and does not allow for ļ¬...
Michael Winikoff, Wei Liu, James Harland
DALT
2004
Springer
10 years 3 months ago
Model Checking Agent Dialogues
In this paper we address the challenges associated with the veriļ¬cation of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
Christopher D. Walton
DALT
2004
Springer
10 years 3 months ago
A Lightweight Coordination Calculus for Agent Systems
The concept of a social norm is used in multi-agent systems to specify behaviours required of agents interacting in a given social context. We describe a method for specifying soci...
David Robertson
DALT
2004
Springer
10 years 3 months ago
Dynamics of Declarative Goals in Agent Programming
In this paper, the notion of declarative goals as used in agent programming is central. Declarative goals describe desirable states and are updated during the execution of an agent...
Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, ...
DALT
2004
Springer
10 years 3 months ago
Theories of Intentions in the Framework of Situation Calculus
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robe...
DALT
2004
Springer
10 years 3 months ago
Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report
We report on the development of an agent-based system, called Ī¦LOG, for the speciļ¬cation and execution of phylogenetic inference applications. We detail the implementation of th...
Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son
DALT
2004
Springer
10 years 3 months ago
The Logic of Communication Graphs
In 1992, Moss and Parikh studied a bimodal logic of knowledge and eļ¬€ort called Topologic. In this current paper, Topologic is extended to the case of many agents who are assumed...
Eric Pacuit, Rohit Parikh
books