1087 search results - page 15 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
101
click to vote
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
ALT
2004
Springer
15 years 6 months ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
61
Voted
KR
1994
Springer
15 years 1 months ago
1994
Springer
We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the i...
DLOG
2006
14 years 11 months ago
2006