2649 search results - page 190 / 530 » Temporal Theories of Reasoning |
146
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
This paper proposes a context-dependent case-based mechanism for selecting negotiation partners with the focus on the adaptation of similarity relations to a specific context. Th...
149
click to vote
TARK
1998
Springer
15 years 10 months ago
1998
Springer
We develop a revealed-preferencetheory for multiple agents. Some features of our construction, which draws heavily on Jeffrey's utility theory and on formal constructions by D...
213
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Recursive reasoning of the form what do I think that you think that I think (and so on) arises often while acting rationally in multiagent settings. Several multiagent decision-ma...
182
click to vote
CADE
2004
Springer
16 years 1 days ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
174
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...