← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022
Decomposing Natural Logic Inferences for Neural NLI EMNLP 2022
Hands-On Interactive Neuro-Symbolic NLP with DRaiL EMNLP 2022
Query2Particles: Knowledge Graph Reasoning with Particle Embeddings NAACL 2022
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition IJCAI 2022
Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination IJCAI 2022
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula AAAI 2022
Chaining Simultaneous Thoughts for Numerical Reasoning EMNLP 2022
StepGame: A New Benchmark for Robust Multi-Hop Spatial Reasoning in Texts AAAI 2022
Using Conditional Independence for Belief Revision AAAI 2022
Complex Query Answering with Neural Link Predictors (Extended Abstract)* IJCAI 2022
Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement AAAI 2022
Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoning NIPS 2021
WinoLogic: A Zero-Shot Logic-based Diagnostic Dataset for Winograd Schema Challenge EMNLP 2021
Case-based Reasoning for Natural Language Queries over Knowledge Bases EMNLP 2021
NegatER: Unsupervised Discovery of Negatives in Commonsense Knowledge Bases EMNLP 2021
GMH: A General Multi-hop Reasoning Model for KG Completion EMNLP 2021
Satisfiability and Algorithms for Non-uniform Random k-SAT AAAI 2021
Adversarial Language Games for Advanced Natural Language Intelligence AAAI 2021
Raven's Progressive Matrices Completion with Latent Gaussian Process Priors AAAI 2021
Stratified Negation in Datalog with Metric Temporal Operators AAAI 2021
The Complexity Landscape of Claim-Augmented Argumentation Frameworks AAAI 2021
Differentiable Inductive Logic Programming for Structured Examples AAAI 2021
Extracting a Knowledge Base of Mechanisms from COVID-19 Papers NAACL 2021
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021