Automated Reasoning

Leveraging Language to Learn Program Abstractions and Search Heuristics ICML 2021 Mental Actions and Explainability in Kripkean Semantics: What Else do I Know? (Student Abstract) AAAI 2021 Mining EL Bases with Adaptable Role Depth AAAI 2021 NegatER: Unsupervised Discovery of Negatives in Commonsense Knowledge Bases EMNLP 2021 Neural Natural Logic Inference for Interpretable Question Answering EMNLP 2021 Neural-Symbolic Commonsense Reasoner with Relation Predictors ACL 2021 Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks ACL 2021 Neural Unification for Logic Reasoning over Natural Language EMNLP 2021 On Belief Change for Multi-Label Classifier Encodings IJCAI 2021 On Cycles, Attackers and Supporters --- A Contribution to The Investigation of Dynamics in Abstract Argumentation IJCAI 2021 On Exploiting Hitting Sets for Model Reconciliation AAAI 2021 Online Action Recognition AAAI 2021 On the Challenges of Evaluating Compositional Explanations in Multi-Hop Inference: Relevance, Completeness, and Expert Ratings EMNLP 2021 On-the-fly Synthesis for LTL over Finite Traces AAAI 2021 Parameterized Logical Theories AAAI 2021 Perhaps PTLMs Should Go to School – A Task to Assess Open Book and Closed Book QA EMNLP 2021 Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021 Probabilistic Entity Representation Model for Reasoning over Knowledge Graphs NeurIPS 2021 Quantification of Resource Production Incompleteness AAAI 2021 Raven's Progressive Matrices Completion with Latent Gaussian Process Priors AAAI 2021 Reasoning About Agents That May Know Other Agents’ Strategies IJCAI 2021 Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic IJCAI 2021 Reasoning over Argument-Incomplete AAFs in the Presence of Correlations IJCAI 2021 Relational Gating for ''What If'' Reasoning IJCAI 2021 Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks – A Complexity Analysis AAAI 2021