Sciweavers

2611 search results - page 32 / 523
» A Logic for Concepts and Similarity
Sort
View
IJACTAICIT
2010
200views more  IJACTAICIT 2010»
13 years 5 months ago
An Intelligent Framework for Natural Object Identification in Images
Human superiority over computers in identifying natural objects like clouds, water, grass etc. comes from two capabilities: the capability to maintain a growing knowledge base per...
Aasia Khanum
LICS
2003
IEEE
14 years 29 days ago
About Translations of Classical Logic into Polarized Linear Logic
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
Olivier Laurent, Laurent Regnier
LOGCOM
2008
97views more  LOGCOM 2008»
13 years 7 months ago
One-and-a-halfth-order Logic
The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax s...
Murdoch James Gabbay, Aad Mathijssen
ECAI
2006
Springer
13 years 11 months ago
Conceptual Hierarchies Matching: An Approach Based on Discovery of Implication Rules Between Concepts
Abstract. Most research works about ontology or schema matching are based on symmetric similarity measures. By transposing the association rules paradigm, we propose to use asymmet...
Jérôme David, Fabrice Guillet, R&eacu...
SUM
2010
Springer
13 years 6 months ago
A Structure-Based Similarity Spreading Approach for Ontology Matching
Most of the frequently used ontology mapping methods to date are based on linguistic information implied in ontologies. However, same concepts in different ontologies can represen...
Ying Wang, Weiru Liu, David A. Bell