2611 search results - page 124 / 523 » A Logic for Concepts and Similarity |
IJCAI
2001
15 years 3 months ago
2001
We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by description logic systems which have to deal with ve...
114
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
Abstract-- The concept of an M-approximative system is introduced. Basic properties of the category of M-approximative systems and in a natural way defined morphisms between them a...
126
click to vote
DIAGRAMS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
167
Voted
AGP
2010
IEEE
14 years 11 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
133
click to vote
EMNLP
2004
15 years 3 months ago
2004
Multidocument extractive summarization relies on the concept of sentence centrality to identify the most important sentences in a document. Centrality is typically defined in term...