first-order logic

Domain-Size Aware Markov Logic Networks AISTATS 2019 Do You Need Infinite Time? IJCAI 2019 Guarantees for Sound Abstractions for Generalized Planning IJCAI 2019 Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019 Implicitly learning to reason in first-order logic NeurIPS 2019 Learning Relational Representations with Auto-encoding Logic Programs IJCAI 2019 Logical Explanations for Deep Relational Machines Using Relevance Information JMLR 2019 Neural Logic Reinforcement Learning ICML 2019 Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge CoNLL 2018 Parameterised Queries and Lifted Query Answering IJCAI 2018 Prime Implicate Generation in Equational Logic (extended abstract) IJCAI 2018 The Finite Model Theory of Bayesian Networks: Descriptive Complexity IJCAI 2018 Answering Conjunctive Regular Path Queries over Guarded Existential Rules IJCAI 2017 A Reasoning System for a First-Order Logic of Limited Belief IJCAI 2017 Concerning Referring Expressions in Query Answers IJCAI 2017 Differentiable Learning of Logical Rules for Knowledge Base Reasoning NeurIPS 2017 Dynamic Logic for Data-aware Systems: Decidability Results IJCAI 2017 End-to-end Differentiable Proving NeurIPS 2017 Hinge-Loss Markov Random Fields and Probabilistic Soft Logic JMLR 2017 nanoCoP: Natural Non-clausal Theorem Proving IJCAI 2017 Ontology-Mediated Query Answering for Key-Value Stores IJCAI 2017 Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability IJCAI 2017 Reasoning about Probabilities in Unbounded First-Order Dynamical Domains IJCAI 2017 Joint Inference for Mode Identification in Tutorial Dialogues COLING 2016 New Liftable Classes for First-Order Probabilistic Inference NeurIPS 2016