3353 search results - page 224 / 671 » Laver and set theory |
219
click to vote
AAAI
2012
13 years 9 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
135
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
The development of autonomous multi-agent systems acting upon the interests of one or more users involves the elicitation of preferences of these users. In decision theory, models...
161
click to vote
AAAI
2007
15 years 8 months ago
2007
Binary voting trees provide a succinct representation for a large and prominent class of voting rules. In this paper, we investigate the PAC-learnability of this class of rules. W...
165
click to vote
AAAI
2010
15 years 8 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
152
click to vote
FLAIRS
2006
15 years 8 months ago
2006
In the logical theory of a set of axioms there are many boring logical consequences, and scattered among them there are a few interesting ones. The few interesting ones include th...