2611 search results - page 175 / 523 » A Logic for Concepts and Similarity |
105
click to vote
RSCTC
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. Clinical Decision Support Systems embed data-driven decision models designed to represent clinical acumen of an experienced physician. We argue that eliminating physician...
133
click to vote
ICAS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
138
Voted
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
115
click to vote
DLOG
2008
15 years 4 months ago
2008
The paper addresses the problem of explaining some reasoning tasks associated with the DL-Lite Description Logic. Because of the simplicity of the language, standard concept level ...
131
click to vote
FOIKS
2008
Springer
15 years 3 months ago
2008
Springer
The area of knowledge merging is concerned with merging conflicting information while preserving as much as possible. Most proposals in the literature work with knowledge bases exp...