Superposition for Higher-Order Logic.

Alexander Bentkamp Jasmin Blanchette Sophie Tourret Petar Vukmirovic

Published in: J. Autom. Reason. (2023)

Keyphrases

higher order logic
higher order
theorem prover
theorem proving
conditional logic
logical framework
belief revision
inference rules
automated reasoning
machine learning
feature space
general purpose
data representation
default reasoning