1835 search results - page 90 / 367 » Classifying Description Logics |
110
Voted
DLOG
2011
14 years 7 months ago
2011
143
Voted
DLOG
2009
15 years 1 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
146
Voted
DLOG
2001
15 years 5 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
109
Voted
CADE
2004
Springer
16 years 4 months ago
2004
Springer
128
Voted
CADE
1998
Springer
15 years 8 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...