Automated Reasoning

Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation IJCAI 2022 ApproxASP – a Scalable Approximate Answer Set Counter AAAI 2022 ASP-Based Declarative Process Mining AAAI 2022 Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition IJCAI 2022 Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement AAAI 2022 Braid: Weaving Symbolic and Neural Knowledge into Coherent Logical Explanations AAAI 2022 Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae AAAI 2022 Case-Based Abductive Natural Language Inference COLING 2022 Chaining Simultaneous Thoughts for Numerical Reasoning EMNLP 2022 Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022 ChartQA: A Benchmark for Question Answering about Charts with Visual and Logical Reasoning ACL 2022 Commonsense Knowledge Reasoning and Generation with Pre-trained Language Models: A Survey AAAI 2022 Compilation of Aggregates in ASP Systems AAAI 2022 Complex Query Answering with Neural Link Predictors (Extended Abstract)* IJCAI 2022 Complex Video Action Reasoning via Learnable Markov Logic Network CVPR 2022 Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination IJCAI 2022 Compositional Semantics and Inference System for Temporal Order based on Japanese CCG ACL 2022 Conditional Independence for Iterated Belief Revision IJCAI 2022 Considering Constraint Monotonicity and Foundedness in Answer Set Programming IJCAI 2022 CURIE: An Iterative Querying Approach for Reasoning About Situations ACL 2022 DCT-Centered Temporal Relation Extraction COLING 2022 Decomposing Natural Logic Inferences for Neural NLI EMNLP 2022 Deep Inductive Logic Reasoning for Multi-Hop Reading Comprehension ACL 2022 DocTime: A Document-level Temporal Dependency Graph Parser NAACL 2022 DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022