10568 search results - page 647 / 2114 » Computer Intelligence and Formalization |
183
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...
176
click to vote
ATAL
2005
Springer
2005
Springer
The DEFACTO system for human omnipresence to coordinate agent teams: the future of disaster response
16 years 18 days ago
Enabling interactions of agent-teams and humans is a critical area of research, with encouraging progress in the past few years. However, previous work suffers from three key lim...
193
click to vote
ATAL
2003
Springer
16 years 11 days ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
218
click to vote
ACMICEC
2007
ACM
15 years 11 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
192
click to vote
ARGMAS
2006
Springer
15 years 11 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...