Sciweavers

9 search results - page 1 / 2
» dalt 2005
Sort
View
DALT
2005
Springer
13 years 10 months ago
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...
DALT
2005
Springer
13 years 10 months ago
A Distributed Architecture for Norm-Aware Agent Societies
Andrés García-Camino, Juan A. Rodr&i...
DALT
2005
Springer
13 years 10 months ago
Modelling Uncertainty in Agent Programming
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
Johan Kwisthout, Mehdi Dastani
DALT
2005
Springer
13 years 10 months ago
Beliefs in Agent Implementation
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
Laurens Winkelhagen, Mehdi Dastani, Jan Broersen
DALT
2005
Springer
13 years 10 months ago
An Architecture for Rational Agents
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...
John W. Lloyd, Tim D. Sears