Sciweavers

95 search results - page 2 / 19
» Reasoning with OWL-DL in Inductive Logic Programming
Sort
View
86
Voted
ELP
1989
15 years 7 months ago
Logic Programming, Functional Programming, and Inductive Definitions
Lawrence C. Paulson, Andrew W. Smith
159
Voted
ASP
2001
Springer
15 years 7 months ago
Learning by Answer Sets
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
Chiaki Sakama
133
Voted
OWLED
2007
15 years 5 months ago
Reasoning with OWL-DL in Inductive Logic Programming
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
Francesca A. Lisi