1435 search results - page 84 / 287 » Description Logics |
JAR
2011
13 years 6 months ago
2011
JAR
2010
13 years 6 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...
DLOG
2011
13 years 2 months ago
2011
EACL
2003
ACL Anthology
14 years 16 days 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...
CADE
1998
Springer
14 years 3 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...