Login / Signup
Complete and Efficient Higher-Order Reasoning via Lambda-Superposition.
Alexander Bentkamp
Jasmin Blanchette
Visa Nummelin
Sophie Tourret
Uwe Waldmann
Published in:
ACM SIGLOG News (2023)
Keyphrases
</>
higher order
pairwise
lambda calculus
cost effective
knowledge base
natural images
data sets
high order
markov random field
knowledge representation
neural network
real time
case based reasoning
hidden markov models
search algorithm
machine learning
fixed point
model based reasoning