1435 search results - page 84 / 287 » Description Logics |
97
Voted
JAR
2011
14 years 10 months ago
2011
173
Voted
JAR
2010
14 years 10 months ago
2010
The development of ontologies involves continuous but relatively small modifications. However, existing ontology reasoners do not take advantage of the similarities between differe...
109
Voted
DLOG
2011
14 years 7 months ago
2011
131
Voted
EACL
2003
ACL Anthology
15 years 4 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
127
Voted
CADE
1998
Springer
15 years 7 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...