Sciweavers

3446 search results - page 32 / 690
» A Reasoning Algorithm for pD*
Sort
View
CSCWD
2008
Springer
15 years 3 months ago
Task partition for function tree according to innovative functional reasoning
Task partition is a critical problem of collaborative conceptual design. Aiming at the shortage that current task partition methods don't accord to innovative functional reas...
Yiming Tang, Xiaoping Liu
DLOG
2011
14 years 4 months ago
On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling
Abstract. For a number of problems, such as ontology learning or image labeling, we need to handle uncertainty and inconsistencies in an appropriate way. Fuzzy and Probabilistic De...
Stefan Scheglmann, Carsten Saathoff, Steffen Staab
AAAI
1994
15 years 2 months ago
Learning to Reason
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...
Roni Khardon, Dan Roth
SARA
2009
Springer
15 years 7 months ago
Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases
Real-world automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation...
Timothy L. Hinrichs, Jui-Yi Kao, Michael R. Genese...
IJCAI
2003
15 years 2 months ago
Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies
Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...
Stefan Schlobach, Ronald Cornet