AMAI
2006
Springer
14 years 15 days ago
2006
Springer
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...
AMAI
2006
Springer
14 years 15 days ago
2006
Springer
AMAI
2006
Springer
14 years 15 days ago
2006
Springer
AMAI
2006
Springer
14 years 15 days ago
2006
Springer
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...
AMAI
2006
Springer
14 years 15 days ago
2006
Springer
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...
AMAI
2006
Springer
14 years 15 days ago
2006
Springer
AMAI
2006
Springer
14 years 15 days ago
2006
Springer
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...
AMAI
2006
Springer
14 years 15 days ago
2006
Springer
AMAI
2006
Springer
14 years 15 days ago
2006
Springer
AMAI
2006
Springer
14 years 15 days ago
2006
Springer
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...