Sciweavers

4573 search results - page 255 / 915
» Automated Reasoning
Sort
View
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
ICCBR
2009
Springer
16 years 1 months ago
Case-Based Reasoning in Transfer Learning
Positive transfer learning (TL) occurs when, after gaining experience from learning how to solve a (source) task, the same learner can exploit this experience to improve performanc...
David W. Aha, Matthew Molineaux, Gita Sukthankar
ICCBR
2009
Springer
16 years 1 months ago
Conceptual Neighborhoods for Retrieval in Case-Based Reasoning
Abstract. We present a case-based reasoning technique based on conceptual neighborhoods of cases. The system applies domain knowledge to the case retrieval process in the form of r...
Ben G. Weber, Michael Mateas
RR
2009
Springer
16 years 1 months ago
A Reasoner for Simple Conceptual Logic Programs
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
Stijn Heymans, Cristina Feier, Thomas Eiter
ECSQARU
2007
Springer
16 years 24 days ago
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension o...
Guilin Qi, Jeff Z. Pan, Qiu Ji