1087 search results - page 3 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
CADE
2006
Springer
13 years 8 months ago
2006
Springer
CADE
1998
Springer
13 years 9 months ago
1998
Springer
WLP
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
ILP
2001
Springer
13 years 9 months ago
2001
Springer
In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...
RULEML
2004
Springer
13 years 10 months ago
2004
Springer
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.