On SGGS and Horn Clauses.

Maria Paola Bonacina Sarah Winkler

Published in: PAAR@IJCAR (2022)

Keyphrases

horn clauses
first order logic
inference rules
conceptual clustering
inductive logic programming
logic programs
database queries
lattice theory
pairwise
logic programming
answer sets