first-order logic

Neural-Symbolic Models for Logical Queries on Knowledge Graphs ICML 2022 Neuro-Symbolic Hierarchical Rule Induction ICML 2022 Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks AAAI 2022 On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) IJCAI 2022 Parsing Natural Language into Propositional and First-Order Logic with Dual Reinforcement Learning COLING 2022 Proving Theorems using Incremental Learning and Hindsight Experience Replay ICML 2022 Query2Particles: Knowledge Graph Reasoning with Particle Embeddings NAACL 2022 Sentiment Interpretable Logic Tensor Network for Aspect-Term Sentiment Analysis COLING 2022 Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) IJCAI 2022 Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022 Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula AAAI 2022 Abductive Knowledge Induction from Raw Data IJCAI 2021 Abductive Learning with Ground Knowledge Base IJCAI 2021 A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving AAAI 2021 Compositional Neural Logic Programming IJCAI 2021 ConE: Cone Embeddings for Multi-Hop Reasoning over Knowledge Graphs NeurIPS 2021 Consistent Inference for Dialogue Relation Extraction IJCAI 2021 Diagnosing the First-Order Logical Reasoning Ability Through LogicNLI EMNLP 2021 Fast Algorithms for Relational Marginal Polytopes IJCAI 2021 Faster lifting for two-variable logic using cell graphs UAI 2021 Judgment Prediction via Injecting Legal Knowledge into Neural Networks AAAI 2021 Knowledge Enhanced Machine Learning Pipeline against Diverse Adversarial Attacks ICML 2021 Learning Generalized Unsolvability Heuristics for Classical Planning IJCAI 2021 Learning Implicitly with Noisy Data in Linear Arithmetic IJCAI 2021 Lifted reasoning meets weighted model integration UAI 2021