Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
ILP '98 Proceedings of the 8th International Workshop on Inductive Logic Programming
Some Properties of Invers Resolution in Normal Logic Programs
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
Inverse Entailment in Nonmonotonic Logic Programs
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Exploring relations between answer set programs
Logic programming, knowledge representation, and nonmonotonic reasoning
Learning stochastic logical automaton
JSAI'05 Proceedings of the 2005 international conference on New Frontiers in Artificial Intelligence
Induction of the indirect effects of actions by monotonic methods
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Inductive equivalence of logic programs
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
| Hi-index | 0.00 |
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 semantics. A logic program in this non-monotonic semantics can be contradictory or can have one or several models. We provide a complete characterization on the hypotheses solution to induction of this kind of programs.