2611 search results - page 99 / 523 » A Logic for Concepts and Similarity |
115
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
103
click to vote
IJDAR
2002
15 years 1 months ago
2002
Abstract. In this paper, we present a logical representation for form documents to be used for identification and retrieval. A hierarchical structure is proposed to represent the s...
100
click to vote
SLOGICA
2002
15 years 1 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
112
Voted
IWANN
2009
Springer
15 years 8 months ago
2009
Springer
We survey on the theoretical and practical developments of the theory of fuzzy logic and soft computing. Specifically, we briefly review the history and main milestones of fuzzy ...
118
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...