Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research i…
This book celebratesthe 25th anniversaryof GULP--the Italian Associationfor LogicProgramming. Authored by Italian researchersat the leading edge of their?elds, it presents an up-to-date survey of a broad collection of topics in logic programming, making it a useful reference for…
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restrict…