AAAI
2007
15 years 8 months ago
2007
158
Voted
AAAI
2008
15 years 8 months ago
2008
When autonomous agents decide on their bidding strategies in real world auctions, they have a number of concerns that go beyond the models that are normally analyzed in traditiona...
150
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
154
Voted
AAAI
2008
15 years 8 months ago
2008
As the amount of information on the Web grows, the ability to retrieve relevant information quickly and easily is necessary. The combination of ample news sources on the Web, litt...
155
click to vote
AAAI
2007
15 years 8 months ago
2007
We present a new estimator for counting the number of solutions of a Boolean satisfiability problem as a part of an importance sampling framework. The estimator uses the recently...