Graph Representations for Higher-Order Logic and Theorem Proving.

Aditya Paliwal Sarah M. Loos Markus N. Rabe Kshitij Bansal Christian Szegedy

Published in: AAAI (2020)

Keyphrases

higher order logic
theorem proving
graph representations
theorem prover
automated reasoning

inference rules
graph theory
graph structure
first order logic
higher order

graph representation
logical framework
graph kernels
proof planning
learning algorithm

conditional logic
consequence finding
knowledge representation and reasoning
high dimensional