Completing inverse entailment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1446, Issue , 1998, Pages 245-249

  Muggleton, Stephen ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS;

BACKGROUND THEORY; CARDINALITIES; DEFINITE CLAUSE; HORN THEORY; INVERSE ENTAILMENT; POLYNOMIAL FUNCTIONS;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 84947436438     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0027328     Document Type: Conference Paper

References (5)

1. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987. Second edition.
2. S. Muggleton. Inverse entailment and Progol. New Generation Computing, 13: 245-286, 1995.
3. S-H. Nierthuys-Cheng and R. de Wolf. Foundations of Inductive Logic Programming. Springer-Verlag, Berlin, 1997. LNAI 1228.
4. U. Nilsson and J. Maluszynski. Logic, Programming and Prolog. Wiley, New York, 1995. Second edition.
5. A. Yamamoto. Which hypotheses can be found with inverse entailment? In N. Lavrac and S. Dzeroski, editors, Proceedings of the Seventh International Workshop on Inductive Logic Programming, pages 296-308. Springer-Verlag, Berlin, 1997. LNAI 1297.