Sciweavers

2611 search results - page 204 / 523
» A Logic for Concepts and Similarity
Sort
View
MFCS
2001
Springer
15 years 11 months ago
Computable Versions of Baire's Category Theorem
We study different computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, different logical forms of this theorem lead ...
Vasco Brattka
LILOG
1989
15 years 10 months ago
Representation and Reasoning with Attributive Descriptions
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
Bernhard Nebel, Gert Smolka
BMCBI
2010
153views more  BMCBI 2010»
15 years 6 months ago
Automatic symptom name normalization in clinical records of traditional Chinese medicine
Background: In recent years, Data Mining technology has been applied more than ever before in the field of traditional Chinese medicine (TCM) to discover regularities from the exp...
Yaqiang Wang, Zhonghua Yu, Yongguang Jiang, Kaikuo...
JANCL
2008
109views more  JANCL 2008»
15 years 6 months ago
Conditionalization and total knowledge
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...
Ian Pratt-Hartmann
COSIT
2009
Springer
133views GIS» more  COSIT 2009»
16 years 1 months ago
A Metric Conceptual Space Algebra
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
Benjamin Adams, Martin Raubal