Sciweavers

47 search results - page 1 / 10
» Nonmonotonic inductive logic programming by instance pattern...
Sort
View
PADL
2007
Springer
13 years 11 months ago
Inductive Logic Programming by Instance Patterns
Chongbing Liu, Enrico Pontelli
ASP
2001
Springer
13 years 8 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
ILP
2001
Springer
13 years 9 months ago
Induction of Stable Models
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 ...
Ramón P. Otero
LPNMR
2005
Springer
13 years 10 months ago
An Algebraic Account of Modularity in ID-Logic
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
Joost Vennekens, Marc Denecker