Automated Reasoning

NeoMaPy: A Framework for Computing MAP Inference on Temporal Knowledge Graphs IJCAI 2023 Neural Compositional Rule Learning for Knowledge Graph Reasoning ICLR 2023 Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal ICML 2023 Neurosymbolic Reasoning and Learning with Restricted Boltzmann Machines AAAI 2023 NeuSTIP: A Neuro-Symbolic Model for Link and Time Prediction in Temporal Knowledge Graphs EMNLP 2023 Noisy Positive-Unlabeled Learning with Self-Training for Speculative Knowledge Graph Reasoning ACL 2023 NQE: N-ary Query Embedding for Complex Query Answering over Hyper-Relational Knowledge Graphs AAAI 2023 On Undisputed Sets in Abstract Argumentation AAAI 2023 Open-Domain Hierarchical Event Schema Induction by Incremental Prompting and Verification ACL 2023 Optimizing the Computation of Overriding in DLN (Extended Abstract) IJCAI 2023 Out-of-Distribution Generalization by Neural-Symbolic Joint Training AAAI 2023 Prediction and Calibration: Complex Reasoning over Knowledge Graph with Bi-directional Directed Acyclic Graph Neural Network ACL 2023 Preferences and Constraints in Abstract Argumentation IJCAI 2023 Query2Triple: Unified Query Encoding for Answering Diverse Complex Queries over Knowledge Graphs EMNLP 2023 Query Structure Modeling for Inductive Logical Reasoning Over Knowledge Graphs ACL 2023 Reasoning Makes Good Annotators : An Automatic Task-specific Rules Distilling Framework for Low-resource Relation Extraction EMNLP 2023 Reasoning over Hierarchical Question Decomposition Tree for Explainable Question Answering ACL 2023 Reasoning with Language Model Prompting: A Survey ACL 2023 Relational Program Synthesis with Numerical Reasoning AAAI 2023 Relative Inconsistency Measures for Indefinite Databases with Denial Constraints IJCAI 2023 REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing IJCAI 2023 RESIN-EDITOR: A Schema-guided Hierarchical Event Graph Visualizer and Editor EMNLP 2023 SatLM: Satisfiability-Aided Language Models Using Declarative Prompting NeurIPS 2023 SConE: Simplified Cone Embeddings with Symbolic Operators for Complex Logical Queries ACL 2023 Second-Order Quantified Boolean Logic AAAI 2023