2611 search results - page 127 / 523 » A Logic for Concepts and Similarity |
104
click to vote
ICNC
2005
Springer
15 years 7 months ago
2005
Springer
In completeness theories of multiple-valued logic, the characterization of Sheffer functions is an important problem，and the solution can be reduced to determining the minimal co...
128
click to vote
SPIESR
1996
15 years 3 months ago
1996
Many applications would benefit if media objects such as images could be selected and classified (or clustered) such that "conceptually similar" images are grouped toget...
101
Voted
OWLED
2007
15 years 3 months ago
2007
Abstract. Ontologies contain information about concepts and their relations. Certain concepts may occur in different ontologies at the same time and these concepts can be used as ...
110
click to vote
STACS
2001
Springer
15 years 6 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
106
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...