1087 search results - page 36 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
DLOG
2006
14 years 11 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
59
Voted
WEBI
2007
Springer
15 years 3 months ago
2007
Springer
53
Voted
ICEIS
2006
IEEE
15 years 3 months ago
2006
IEEE
JAR
2007
14 years 9 months ago
2007