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 Constraint-Based Approach to Learning and Explanation AAAI 2020
Logic Constrained Pointer Networks for Interpretable Textual Similarity IJCAI 2020
Integrating Deep Learning with Logic Fusion for Information Extraction AAAI 2020
Learning Explainable Linguistic Expressions with Neural Inductive Logic Programming for Sentence Classification EMNLP 2020
Leveraging Declarative Knowledge in Text and First-Order Logic for Fine-Grained Propaganda Detection EMNLP 2020
Logical Explanations for Deep Relational Machines Using Relevance Information JMLR 2019
Learning Relational Representations with Auto-encoding Logic Programs IJCAI 2019
Augmenting Neural Networks with First-order Logic ACL 2019
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics IJCAI 2019
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief IJCAI 2019
Do You Need Infinite Time? IJCAI 2019
Implicitly learning to reason in first-order logic NIPS 2019
Neural Logic Reinforcement Learning ICML 2019
Guarantees for Sound Abstractions for Generalized Planning IJCAI 2019
Domain-Size Aware Markov Logic Networks AISTATS 2019
Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019
Prime Implicate Generation in Equational Logic (extended abstract) IJCAI 2018
The Finite Model Theory of Bayesian Networks: Descriptive Complexity IJCAI 2018
Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge CONLL 2018
Parameterised Queries and Lifted Query Answering IJCAI 2018
nanoCoP: Natural Non-clausal Theorem Proving IJCAI 2017
Concerning Referring Expressions in Query Answers IJCAI 2017
Dynamic Logic for Data-aware Systems: Decidability Results IJCAI 2017
Hinge-Loss Markov Random Fields and Probabilistic Soft Logic JMLR 2017
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability IJCAI 2017