1087 search results - page 8 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
104
click to vote
DLOG
1998
15 years 1 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
CADE
2002
Springer
15 years 12 months ago
2002
Springer
CADE
2006
Springer
15 years 12 months ago
2006
Springer
Abstract. We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus ...
110
click to vote
DLOG
2008
15 years 2 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
CADE
2005
Springer
15 years 5 months ago
2005
Springer