2649 search results - page 407 / 530 » Temporal Theories of Reasoning |
142
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this work, we introduce a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced i...
115
click to vote
COLT
2007
Springer
15 years 10 months ago
2007
Springer
When comparing discrete probability distributions, natural measures of similarity are not p distances but rather are informationdivergences such as Kullback-Leibler and Hellinger. ...
113
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
108
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
We give derivations of two formal models of Gricean Quantity1 implicature and strong exhaustivity (Van Rooij and Schulz, 2004; Schulz and Van Rooij, 2006), in bidirectional optima...
135
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
In this paper is we apply insights from mechanism design to the design of agent interaction protocols. We show how this allows us a more flexible approach to the design of agent ...