conftrace_

logical representation

6 papers

Explore in graph

Co-occurring keywords

knowledge representation (301) probabilistic graphical model (226) boolean function (44) neural theorem proving (9) structured representation (35) relational datum (44) meta-interpretive learning (4) game strategy (11) tractable model (8) interactive theorem prover (4)

Papers

Towards a Common Framework for Autoformalization AAAI 2026
Connecting Symbolic Statutory Reasoning with Legal Information Extraction EMNLP 2023
Switch-List Representations in a Knowledge Compilation Map IJCAI 2020
Can Meta-Interpretive Learning outperform Deep Reinforcement Learning of Evaluable Game strategies? IJCAI 2019
Lifted Inference Seen from the Other Side : The Tractable Features NIPS 2010
Learning and using relational theories NIPS 2007