↓ Skip to main content
Altmetric
What is this page?
Embed badge
Share
Share on Twitter
Share on Facebook
Share by email
Foundations of inductive logic programming
Overview of attention for book
Table of Contents
Altmetric Badge
Book Overview
Altmetric Badge
Chapter 1
Propositional logic
Altmetric Badge
Chapter 2
First-order logic
Altmetric Badge
Chapter 3
Normal forms and Herbrand models
Altmetric Badge
Chapter 4
Resolution
Altmetric Badge
Chapter 5
Subsumption theorem and refutation completeness
Altmetric Badge
Chapter 6
Linear and input resolution
Altmetric Badge
Chapter 7
SLD-resolution
Altmetric Badge
Chapter 8
SLDNF-resolution
Altmetric Badge
Chapter 9
What is inductive logic programming?
Altmetric Badge
Chapter 10
The framework for model inference
Altmetric Badge
Chapter 11
Inverse resolution
Altmetric Badge
Chapter 12
Unfolding
Altmetric Badge
Chapter 13
The lattice and cover structure of atoms
Altmetric Badge
Chapter 14
The subsumption order
Altmetric Badge
Chapter 15
The implication order
Altmetric Badge
Chapter 16
Background knowledge
Altmetric Badge
Chapter 17
Refinement operators
Altmetric Badge
Chapter 18
PAC learning
Altmetric Badge
Chapter 19
Further topics
Overall attention for this book and its chapters
Altmetric Badge
Mentioned by
twitter
1
X user
syllabi
2
institutions with syllabi
wikipedia
4
Wikipedia pages
Citations
dimensions_citation
284
Dimensions
Readers on
mendeley
54
Mendeley
citeulike
2
CiteULike
Book overview
1. Propositional logic
2. First-order logic
3. Normal forms and Herbrand models
4. Resolution
5. Subsumption theorem and refutation completeness
6. Linear and input resolution
7. SLD-resolution
8. SLDNF-resolution
9. What is inductive logic programming?
10. The framework for model inference
11. Inverse resolution
12. Unfolding
13. The lattice and cover structure of atoms
14. The subsumption order
15. The implication order
16. Background knowledge
17. Refinement operators
18. PAC learning
19. Further topics
Summary
X
Syllabi
Wikipedia
Dimensions citations
This data is correct as of December 2015 - for more up to date information, please visit
https://opensyllabus.org/
So far, Altmetric has seen this research output assigned in
3
syllabi from
2
institutions on Open Syllabus Project.
Institution
Syllabi count
Course subject areas covered
Eberhard-Karls-Universität Tübingen
2
Unknown
Unknown
1
Unknown