376 search results - page 42 / 76 » Agent Logics as Program Logics: Grounding KARO |
NMR
2004
Springer
14 years 2 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...
EASSS
2001
Springer
14 years 1 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
13 years 10 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...
CLIMA
2006
13 years 10 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...
WWW
2004
ACM
14 years 9 months 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...