Automated Reasoning

Dynamic Multistep Reasoning based on Video Scene Graph for Video Question Answering NAACL 2022 E-KAR: A Benchmark for Rationalizing Natural Language Analogical Reasoning ACL 2022 ELASTIC: Numerical Reasoning with Adaptive Symbolic Compiler NeurIPS 2022 Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability IJCAI 2022 Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning EMNLP 2022 EPT-X: An Expression-Pointer Transformer model that generates eXplanations for numbers ACL 2022 Equivalence in Argumentation Frameworks with a Claim-Centric View – Classical Results with Novel Ingredients AAAI 2022 EvEntS ReaLM: Event Reasoning of Entity States via Language Models EMNLP 2022 Extracting Operator Trees from Model Embeddings EMNLP 2022 FACT: Learning Governing Abstractions Behind Integer Sequences NeurIPS 2022 Fact-Tree Reasoning for N-ary Question Answering over Knowledge Graphs ACL 2022 Finite Entailment of Local Queries in the Z Family of Description Logics AAAI 2022 First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics AAAI 2022 From Actions to Programs as Abstract Actual Causes AAAI 2022 Fuzzy Logic Based Logical Query Answering on Knowledge Graphs AAAI 2022 Hands-On Interactive Neuro-Symbolic NLP with DRaiL EMNLP 2022 Heterogeneous-Graph Reasoning and Fine-Grained Aggregation for Fact Checking ACL 2022 Inductive Logical Query Answering in Knowledge Graphs NeurIPS 2022 Inference and Learning with Model Uncertainty in Probabilistic Logic Programs AAAI 2022 Injecting Logical Constraints into Neural Networks via Straight-Through Estimators ICML 2022 Interactive Symbol Grounding with Complex Referential Expressions NAACL 2022 Interpretable Proof Generation via Iterative Backward Reasoning NAACL 2022 JDDC 2.1: A Multimodal Chinese Dialogue Dataset with Joint Tasks of Query Rewriting, Response Generation, Discourse Parsing, and Summarization EMNLP 2022 KG-CRuSE: Recurrent Walks over Knowledge Graph for Explainable Conversation Reasoning using Semantic Embeddings ACL 2022 KGI: An Integrated Framework for Knowledge Intensive Language Tasks EMNLP 2022