Sciweavers

3808 search results - page 114 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
AI
2008
Springer
14 years 10 months ago
Understanding the role of noise in stochastic local search: Analysis and experiments
Stochastic local search (SLS) algorithms have recently been proven to be among the best approaches to solving computationally hard problems. SLS algorithms typically have a number...
Ole J. Mengshoel
JELIA
2010
Springer
14 years 7 months ago
Rational Closure for Defeasible Description Logics
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means o...
Giovanni Casini, Umberto Straccia
ICTAI
2009
IEEE
14 years 7 months ago
Merging Conflicting Propositional Knowledge by Similarity
The paper discusses a new approach to merging conflicting propositional knowledge bases which builds on the idea that consistency can often be restored by interpreting proposition...
Steven Schockaert, Henri Prade
LFCS
2009
Springer
15 years 4 months ago
Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...
Antoine Genitrini, Jakub Kozik
CAEPIA
2007
Springer
15 years 4 months ago
Knowledge Engineering and Planning for the Automated Synthesis of Customized Learning Designs
This paper describes an approach to automatically obtain an HTN planning domain from a well structured learning objects repository and also to apply an HTN planner to obtain IMS Le...
Luis A. Castillo, Lluvia Morales, Arturo Gonz&aacu...