1087 search results - page 15 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
131
click to vote
TABLEAUX
2000
Springer
15 years 5 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 ...
126
click to vote
ALT
2004
Springer
15 years 10 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
16 years 1 months ago
2008
Springer
KR
1994
Springer
15 years 5 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
15 years 2 months ago
2006