Induction of Stable Models

@inproceedings{Otero2001InductionOS,
  title={Induction of Stable Models},
  author={Ram{\'o}n P. Otero},
  booktitle={ILP},
  year={2001}
}
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. 

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 20 extracted citations

Similar Papers

Loading similar papers…