The logical style painting classifier based on Horn clauses and explanations (ℓ-SHE).

Vicent Costa Pilar Dellunde Zoe Falomir

Published in: Log. J. IGPL (2021)

Keyphrases

horn clauses
first order logic
conceptual clustering
logic programs
inference rules
inductive logic programming
database queries
lattice theory
generating explanations
databases
bayesian networks
pairwise
prior knowledge
logic programming
background knowledge