465 search results - page 71 / 93 » Knowledge and the Problem of Logical Omniscience |
ECSQARU
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
ESWS
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...
FUZZIEEE
2007
IEEE
14 years 3 months ago
2007
IEEE
— Incremental rule base learning techniques can be used to learn models and classifiers from interval or fuzzyvalued data. These algorithms are efficient when the observation e...
IEEECIT
2006
IEEE
14 years 2 months ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...