Induction of stable models

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2157, Issue , 2001, Pages 193-205

  Otero, Ramón P ^a  

^a UNIVERSITY OF A CORUÑA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

LOGIC PROGRAMS; LOGICAL CHARACTERIZATION; NON-MONOTONIC SEMANTICS; STABLE MODEL;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 67649640031     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44797-0_16     Document Type: Conference Paper

References (8)

1. M. Bain and S. Muggleton. Nonmonotonic learning. In S. Muggleton, editor, Inductive Logic Programming, pages 145-161. Academic Press, 1992.
2. Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. Bowen, editors, Logic Programming: Proc. of the Fifth Int'l Conf. and Symp., pages 1070-1080, 1988.
3. W. Marek and M. Truszczynski. Nonmonotonic Logic - Context-Dependent Reasoning. Series Artificial Intelligence, Springer-Verlag, 1993.
4. S. Muggleton. Inverse entailment and Progol. New Generation Computing, 13:245-286, 1995.
5. S. Muggleton. Completing inverse entailment. In Proc. of the 8th International Workshop on Inductive Logic Programming, ILP 98, LNAI 1446, pages 245-249,1998.
6. Ilkka Niemelä and Patrick Simons. Smodels - an implementation of the stable model and well-founded semantics for normal logic programs. In Proc. of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 97, LNAI 1265, pages 420-429, 1997.
7. C. Sakama. Some properties of inverse resolution in normal logic programs. In Proc. of the 9th International Workshop on Inductive Logic Programming, ILP 99, LNAI 1634, pages 279-290, 1999.
8. C. Sakama. Inverse entailment in nonmonotonic logic programs. In Proc. of the 10th International Conference on Inductive Logic Programming, ILP 00, LNAI 1866, pages 209-224, 2000