2611 search results - page 191 / 523 » A Logic for Concepts and Similarity |
QSIC
2003
IEEE
15 years 7 months ago
2003
IEEE
Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insuffici...
119
click to vote
DLOG
2009
14 years 11 months ago
2009
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
107
click to vote
CADE
2003
Springer
16 years 2 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
DLT
2008
15 years 3 months ago
2008
An aperiodic tile set was first constructed by R. Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics rangin...
123
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
We propose a new parameter for the complexity of finite directed graphs which measures to what extent the cycles of the graph are intertwined. This measure, called entanglement, i...