Pure Inductive Logic with Functions.

Elizabeth Howarth Jeffrey B. Paris

Published in: J. Symb. Log. (2019)

Keyphrases

multi valued
functional programs
case study
logic programming
inductive learning
data mining
machine learning
genetic algorithm
clustering algorithm
artificial neural networks
query language
inductive inference
computational properties
predicate logic
abductive reasoning