Foundations of Inductive Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540629276, 9783540690498

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SLD-resolution

Foundations of Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-62927-0_7 ◽

1997 ◽

pp. 105-126

Keyword(s):

Sld Resolution

Download Full-text

Normal forms and Herbrand models

Foundations of Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-62927-0_3 ◽

1997 ◽

pp. 35-53

Keyword(s):

Normal Forms ◽

Herbrand Models

Download Full-text

PAC learning

Foundations of Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-62927-0_18 ◽

1997 ◽

pp. 321-343

Keyword(s):

Pac Learning

Download Full-text

Linear and input resolution

Foundations of Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-62927-0_6 ◽

1997 ◽

pp. 93-103

Download Full-text

Further topics

Foundations of Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-62927-0_19 ◽

1997 ◽

pp. 345-363

Download Full-text

Background knowledge

Foundations of Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-62927-0_16 ◽

1997 ◽

pp. 279-297

Keyword(s):

Background Knowledge

Download Full-text

Refinement operators

Foundations of Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-62927-0_17 ◽

1997 ◽

pp. 299-320

Keyword(s):

Refinement Operators

Download Full-text

The subsumption order

Foundations of Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-62927-0_14 ◽

1997 ◽

pp. 243-263

Download Full-text

The framework for model inference

Foundations of Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-62927-0_10 ◽

1997 ◽

pp. 179-195

Keyword(s):

Model Inference

Download Full-text

The implication order

Foundations of Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-62927-0_15 ◽

1997 ◽

pp. 265-278

Download Full-text