← Core AI
Artificial Intelligence › Core AI ›

Reasoning

2595 directly classified papers

Papers per year

Papers

Safe Partial Diagnosis from Normal Observations AAAI 2019
On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics AAAI 2019
SAT-Based Explicit LTLf Satisfiability Checking AAAI 2019
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings AAAI 2019
Complexity of Abstract Argumentation under a Claim-Centric View AAAI 2019
On Structured Argumentation with Conditional Preferences AAAI 2019
Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory AAAI 2019
Stepping Stones to Inductive Synthesis of Low-Level Looping Programs AAAI 2019
Evolving Solutions to Community-Structured Satisfiability Formulas AAAI 2019
BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting AAAI 2019
Modeling Intra-Relation in Math Word Problems with Different Functional Multi-Head Attentions ACL 2019
Learning to Plan with Logical Automata RSS 2019
EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inference CONLL 2019
DESPOT-Alpha: Online POMDP Planning with Large State and Observation Spaces RSS 2019
Finding Generalizable Evidence by Learning to Convince Q&A Models IJCNLP 2019
Efficient Search-Based Weighted Model Integration UAI 2019
Teaching Machines to Extract Main Content for Machine Reading Comprehension AAAI 2019
Incorporating Graph Attention Mechanism into Knowledge Graph Reasoning Based on Deep Reinforcement Learning EMNLP 2019
Automatic Argument Quality Assessment - New Datasets and Methods EMNLP 2019
Reasoning Over Paragraph Effects in Situations EMNLP 2019
Do Multi-hop Readers Dream of Reasoning Chains? EMNLP 2019
Answer Them All! Toward Universal Visual Question Answering Models CVPR 2019
Time-Conditioned Action Anticipation in One Shot CVPR 2019
Fitting Multiple Heterogeneous Models by Multi-Class Cascaded T-Linkage CVPR 2019
Overcoming Limitations of Mixture Density Networks: A Sampling and Fitting Framework for Multimodal Future Prediction CVPR 2019