Graph Representations for Higher-Order Logic and Theorem Proving.
Aditya PaliwalSarah M. LoosMarkus N. RabeKshitij BansalChristian SzegedyPublished 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