5810 search results - page 6 / 1162 » An Approach to Programming Based on Concepts |
CSL
1998
Springer
13 years 11 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
ISMIS
2003
Springer
14 years 17 days ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
ACL
2003
13 years 8 months ago
2003
This paper suggests the efficient indexing method based on a concept vector space that is capable of representing the semantic content of a document. The two information measure,...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
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...
DLOG
2004
13 years 8 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...