conftrace_

first-order logic

171 papers

Explore in graph

Also known as

FOL

Co-occurring keywords

logical reasoning (310) knowledge graph (1837) lifted inference (46) neural network (6616) inductive logic programming (64) large language model (13587) knowledge base (804) symbolic reasoning (189) markov logic network (36) knowledge representation (301)

Papers

A Logic for Expressing Log-Precision Transformers NIPS 2023
NQE: N-ary Query Embedding for Complex Query Answering over Hyper-Relational Knowledge Graphs AAAI 2023
Identifying the limits of transformers when performing model-checking with natural language EACL 2023
Counting and Sampling Models in First-Order Logic IJCAI 2023
CylE: Cylinder Embeddings for Multi-hop Reasoning over Knowledge Graphs EACL 2023
On Discovering Interesting Combinatorial Integer Sequences IJCAI 2023
Calibrate and Boost Logical Expressiveness of GNN Over Multi-Relational and Temporal Graphs NIPS 2023
FOLL-E: Teaching First Order Logic to Children AAAI 2023
Document-Level Event Argument Extraction With a Chain Reasoning Paradigm ACL 2023
SConE: Simplified Cone Embeddings with Symbolic Operators for Complex Logical Queries ACL 2023
DeepPSL: End-to-End Perception and Reasoning IJCAI 2023
Principled and Efficient Motif Finding for Structure Learning of Lifted Graphical Models AAAI 2023
LogicSeg: Parsing Visual Semantics with Neural Logic Learning and Reasoning ICCV 2023
Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs AAAI 2023
Tighter Bounds on the Expressivity of Transformer Encoders ICML 2023
Investigating Transformer-Guided Chaining for Interpretable Natural Logic Reasoning ACL 2023
Explainable Claim Verification via Knowledge-Grounded Reasoning with Large Language Models EMNLP 2023
Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints NIPS 2023
Rule Induction in Knowledge Graphs Using Linear Programming AAAI 2023
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers EMNLP 2023
Dividing and Conquering a BlackBox to a Mixture of Interpretable Models: Route, Interpret, Repeat ICML 2023
Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023
Parsing Natural Language into Propositional and First-Order Logic with Dual Reinforcement Learning COLING 2022
Fuzzy Logic Based Logical Query Answering on Knowledge Graphs AAAI 2022
Learning Parameterized Task Structure for Generalization to Unseen Entities AAAI 2022