Sciweavers

Share
AMAI
2006
Springer
8 years 9 months ago
Strong and uniform equivalence of nonmonotonic theories - an algebraic approach
We show that the concepts of strong and uniform equivalence of logic programs eneralized to an abstract algebraic setting of operators on complete lattices. Our results imply char...
Miroslaw Truszczynski
AMAI
2006
Springer
8 years 9 months ago
Learning parallel portfolios of algorithms
Marek Petrik, Shlomo Zilberstein
AMAI
2006
Springer
8 years 9 months ago
A split-combination approach to merging knowledge bases in possibilistic logic
In this paper, we propose an adaptive approach to merging possibilistic knowledge bases that deploys multiple operators instead of a single operator in the merging process. The me...
Guilin Qi, Weiru Liu, David H. Glass, David A. Bel...
AMAI
2006
Springer
8 years 9 months ago
Symmetric approximate linear programming for factored MDPs with application to constrained problems
A weakness of classical Markov decision processes (MDPs) is that they scale very poorly due to the flat state-space representation. Factored MDPs address this representational pro...
Dmitri A. Dolgov, Edmund H. Durfee
AMAI
2006
Springer
8 years 9 months ago
Learning dynamic algorithm portfolios
Matteo Gagliolo, Jürgen Schmidhuber
AMAI
2006
Springer
8 years 9 months ago
Bargaining over multiple issues in finite horizon alternating-offers protocol
In this paper we study multi issue alternating-offers bargaining in a perfect information finite horizon setting, we determine the pertinent subgame perfect equilibrium, and we pro...
Francesco Di Giunta, Nicola Gatti
AMAI
2006
Springer
8 years 9 months ago
A formal mathematical framework for modeling probabilistic hybrid systems
Robert St-Aubin, Joel Friedman, Alan K. Mackworth
AMAI
2006
Springer
8 years 9 months ago
Mechanizing common knowledge logic using COQ
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
Pierre Lescanne
books