Sciweavers

3406 search results - page 369 / 682
» Modelling situations in intelligent agents
Sort
View
AGENTCL
2003
Springer
15 years 12 months ago
Commitment and Argument Network: A New Formalism for Agent Communication
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the ...
Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa
LOPSTR
2009
Springer
16 years 1 months ago
Using Rewrite Strategies for Testing BUpL Agents
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
Lacramioara Astefanoaei, Frank S. de Boer, M. Birn...
ATAL
2007
Springer
16 years 28 days ago
Unifying distributed constraint algorithms in a BDI negotiation framework
This paper presents a novel, unified distributed constraint satisfaction framework based on automated negotiation. The Distributed Constraint Satisfaction Problem (DCSP) is one t...
Bao Chau Le Dinh, Kiam Tian Seow
161
Voted
ATAL
2008
Springer
15 years 8 months ago
Quantifying over coalitions in epistemic logic
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
AAAI
1998
15 years 8 months ago
Toward Design as Collaboration
In design, multiple disparate goals must be addressed simultaneously. It is the thesis of this work that problems in two-dimensional layout design can be solved by collaboration a...
Susan L. Epstein