Symbolic Model Construction for Saturated Constrained Horn Clauses.

Martin Bromberger Lorenz Leutgeb Christoph Weidenbach

Published in: FroCoS (2023)

Keyphrases

model construction
horn clauses
first order logic
logic programs
inference rules
influence diagrams
database queries
inductive logic programming
pose estimation
image sequences
dynamic programming
training set
object recognition
database
state space
active appearance models
computer vision
artificial intelligence