1087 search results - page 36 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
DLOG
2006
15 years 2 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 7 months ago
2007
Springer
WEBI
2007
Springer
15 years 7 months ago
2007
Springer
ICEIS
2006
IEEE
15 years 7 months ago
2006
IEEE
JAR
2007
15 years 1 months ago
2007