Book Chapter

Learning Recursive Patterns for Biomedical Information Extraction

Margherita Berardi and Donato Malerba

Lecture Notes in Computer Science, 2007, Volume 4455, Inductive Logic Programming, Pages 79-93

• Download PDF (426.2 KB)

Book Chapter

Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework

Martin Hofmann, Emanuel Kitzelmann and Ute Schmid

Lecture Notes in Computer Science, 2008, Volume 5243, KI 2008: Advances in Artificial Intelligence, Pages 78-86

• Download PDF (220.6 KB)

Book Chapter

Synthesis of Programs in Computational Logic

David Basin, Yves Deville, Pierre Flener, Andreas Hamfelt and Jørgen Fischer Nilsson

Lecture Notes in Computer Science, 2004, Volume 3049, Program Development in Computational Logic, Pages 103-111

• Download PDF (372.0 KB)

Book Chapter

Analytical Inductive Functional Programming

Emanuel Kitzelmann

Lecture Notes in Computer Science, 2009, Volume 5438, Logic-Based Program Synthesis and Transformation, Pages 87-102

• Download PDF (244.1 KB)

Book Chapter

Predicate invention from a few examples

Riverson Rios and Stan Matwin

Lecture Notes in Computer Science, 1998, Volume 1418, Advances in Artificial Intelligence, Pages 455-466

• Download PDF (874.1 KB)

Book Chapter

Inductive logic program synthesis with DIALOGS

Pierre Flener

Lecture Notes in Computer Science, 1997, Volume 1314, Inductive Logic Programming, Pages 175-198

• Download PDF (1.9 MB)

Book Chapter

Function-free Horn clauses are hard to approximate

Richard Nock and Pascal Jappy

Lecture Notes in Computer Science, 1998, Volume 1446, Inductive Logic Programming, Pages 195-204

• Download PDF (643.7 KB)

Book Chapter

Learning Logic programs with random classification noise

Tamás Horváth, Robert H. Sloan and György Turán

Lecture Notes in Computer Science, 1997, Volume 1314, Inductive Logic Programming, Pages 315-336

• Download PDF (1.7 MB)

Book Chapter

Spes: A system for logic program transformation

Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance and Alain Quéré

Lecture Notes in Computer Science, 1992, Volume 624, Logic Programming and Automated Reasoning, Pages 445-447

• Download PDF (190.6 KB)