Explicit Model Construction for Saturated Constrained Horn Clauses.

Martin Bromberger Lorenz Leutgeb Christoph Weidenbach

Published in: CoRR (2023)

Keyphrases

model construction
horn clauses
first order logic
logic programs
inference rules
inductive logic programming
influence diagrams
database queries
pose estimation
decision making
data mining
computer vision
text classification