Sciweavers

3808 search results - page 599 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
CSL
2009
Springer
16 years 1 months ago
Expanding the Realm of Systematic Proof Theory
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
Agata Ciabattoni, Lutz Straßburger, Kazushig...
ECSQARU
2009
Springer
16 years 1 months ago
Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases
Partially preordered belief bases are very convenient for an efficient representation of incomplete knowledge. They offer flexibility and avoid to compare unrelated pieces of inf...
Salem Benferhat, Safa Yahi
ECSQARU
2009
Springer
16 years 1 months ago
A Default Logic Patch for Default Logic
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
Philippe Besnard, Éric Grégoire, S&e...
EMO
2009
Springer
174views Optimization» more  EMO 2009»
16 years 1 months ago
Constraint Programming
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
Pascal Van Hentenryck
EMO
2009
Springer
155views Optimization» more  EMO 2009»
16 years 1 months ago
An Improved Version of Volume Dominance for Multi-Objective Optimisation
Abstract. This paper proposes an improved version of volume dominance to assign fitness to solutions in Pareto-based multi-objective optimisation. The impact of this revised volum...
Khoi Le, Dario Landa Silva, Hui Li