Synchronizing Constrained Horn Clauses.

Dmitry Mordvinov Grigory Fedyukovich

Published in: LPAR (2017)

Keyphrases

horn clauses
inference rules
logic programs
first order logic
conceptual clustering
inductive logic programming
lattice theory
database queries
general purpose
cellular automata
function symbols