conftrace_

higher-order logic

7 papers

Explore in graph

Also known as

HOL

Co-occurring keywords · papers mentioning both

knowledge representation (3) theorem proving (3) automated reasoning (2) deep learning (2) graph neural network (1) bayesian optimality (1) network motif (1) formula representation (1) holist benchmark (1) three-valued logic (1)

Papers

Higher-order Logical Knowledge Representation Learning IJCAI 2025 A Direct Approximation of AIXI Using Logical State Abstractions NeurIPS 2022 Learning Higher-Order Logic Programs From Failures IJCAI 2022 Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020 HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019 The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs IJCAI 2018 Premise Selection for Theorem Proving by Deep Graph Embedding NeurIPS 2017