A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions.

Published in: J. Autom. Reason. (1999)

Keyphrases

knowledge representation
inductive learning
high resolution
inductive logic programming
low resolution
consequence finding
machine learning
video sequences
image processing
real time
formal model
operational semantics
first order logic
genetic algorithm
information retrieval
concept learning
temporal resolution