↓ Skip to main content
What is this page? Embed badge

Foundations of inductive logic programming

Overview of attention for book
Cover of 'Foundations of inductive logic programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Propositional logic
  3. Altmetric Badge
    Chapter 2 First-order logic
  4. Altmetric Badge
    Chapter 3 Normal forms and Herbrand models
  5. Altmetric Badge
    Chapter 4 Resolution
  6. Altmetric Badge
    Chapter 5 Subsumption theorem and refutation completeness
  7. Altmetric Badge
    Chapter 6 Linear and input resolution
  8. Altmetric Badge
    Chapter 7 SLD-resolution
  9. Altmetric Badge
    Chapter 8 SLDNF-resolution
  10. Altmetric Badge
    Chapter 9 What is inductive logic programming?
  11. Altmetric Badge
    Chapter 10 The framework for model inference
  12. Altmetric Badge
    Chapter 11 Inverse resolution
  13. Altmetric Badge
    Chapter 12 Unfolding
  14. Altmetric Badge
    Chapter 13 The lattice and cover structure of atoms
  15. Altmetric Badge
    Chapter 14 The subsumption order
  16. Altmetric Badge
    Chapter 15 The implication order
  17. Altmetric Badge
    Chapter 16 Background knowledge
  18. Altmetric Badge
    Chapter 17 Refinement operators
  19. Altmetric Badge
    Chapter 18 PAC learning
  20. Altmetric Badge
    Chapter 19 Further topics
Attention for Chapter 2: First-order logic
Altmetric Badge

Citations

dimensions_citation
284 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
So far, Dimensions has found 284 publications that cite this research output.

284

The most recent citing publications are shown below. View all 284 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.