A Theory of Heap for Constrained Horn Clauses (Extended Technical Report).

Zafer Esen Philipp Rümmer

Published in: CoRR (2021)

Keyphrases

horn clauses
technical report
first order logic
data structure
logic programs
inference rules
theoretical framework
inductive logic programming
databases
database queries
conceptual clustering
reinforcement learning
co occurrence