598 search results - page 15 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
ICEIS
2006
IEEE
15 years 3 months ago
2006
IEEE
DLOG
2007
15 years 2 days ago
2007
We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...
DLOG
2001
14 years 11 months ago
2001
For description logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the concept descrip...
JURIX
2008
14 years 11 months ago
2008
The paper presents a logic-based approach to legislative meta-drafting. A class of meta-data, corresponding to specific classes of legal provisions, is introduced and discussed. Su...
CADE
1998
Springer
15 years 2 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...