141
click to vote
AUSAI
9 years 8 months ago
2015 Springer 
Abstract. The algorithm selection problem asks to select the best algorithm for a given problem. In the companion paper Everitt and Hutter (2015b), expected BFS and DFS tree search...
AUSAI
9 years 8 months ago
2015 Springer 
Probabilistic Doxastic Temporal (PDT) Logic is a formalism to represent and reason about belief evolutions in multi–agent systems. In this work we develop a theory of abduction f...
AUSAI
9 years 8 months ago
2015 Springer 
Abstract. BFS and DFS are the two most fundamental search algorithms. We derive approximations of their expected runtimes in complete trees, as a function of tree depth and probabi...
AUSAI
9 years 8 months ago
2015 Springer 
Trust in the correctness of an election outcome requires proof of the correctness of vote counting. By formulating particular voting protocols as rules, correctness amounts to dem...
AUSAI
9 years 8 months ago
2015 Springer 
Extreme weather events such as ice storms cause significant damage to life and property. Accurately forecasting ice storms sufficiently in advance to offset their impacts is very...
|
Artificial Intelligence