736 search results - page 44 / 148 » A Science of Reasoning (Extended Abstract) |
179
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
173
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
180
click to vote
TLCA
2007
Springer
16 years 3 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
161
click to vote
DFKI
2005
Springer
15 years 11 months ago
2005
Springer
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...
191
click to vote
ENC
2004
IEEE
15 years 9 months ago
2004
IEEE
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...