376 search results - page 42 / 76 » Agent Logics as Program Logics: Grounding KARO |
119
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
139
click to vote
EASSS
2001
Springer
15 years 4 months ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...
AAAI
2006
15 years 1 months ago
2006
A novel and simple combination of inductive logic programming with kernel methods is presented. The kFOIL algorithm integrates the well-known inductive logic programming system FO...
118
click to vote
CLIMA
2006
15 years 1 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
105
click to vote
WWW
2004
ACM
16 years 15 days ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...