Sciweavers

465 search results - page 39 / 93
» Knowledge and the Problem of Logical Omniscience
Sort
View
ETELEMED
2009
IEEE
262views Healthcare» more  ETELEMED 2009»
14 years 3 months ago
MEDBOLI: Medical Diagnosis Based on Ontologies and Logical Inference
The Differential diagnosis (ddx) is a systematic method to identify unknowns. This method, essentially a process of elimination, is used by taxonomists to identify living organism...
Alejandro Rodríguez González, Myriam...
ASP
2005
Springer
14 years 2 months ago
Combining Answer Sets of Nonmonotonic Logic Programs
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
Chiaki Sakama, Katsumi Inoue
ICCS
1998
Springer
14 years 1 months ago
Matching in Description Logics: Preliminary Results
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
Franz Baader, Alexander Borgida, Deborah L. McGuin...
AAAI
2007
13 years 11 months ago
Mapping and Revising Markov Logic Networks for Transfer Learning
Transfer learning addresses the problem of how to leverage knowledge acquired in a source domain to improve the accuracy and speed of learning in a related target domain. This pap...
Lilyana Mihalkova, Tuyen N. Huynh, Raymond J. Moon...
CLEF
2008
Springer
13 years 10 months ago
Combining Logic and Machine Learning for Answering Questions
Abstract. LogAnswer is a logic-oriented question answering system developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen....
Ingo Glöckner, Björn Pelzer