Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Single-Shot Epistemic Logic Program Solving IJCAI 2018

The Complexity of Limited Belief Reasoning—The Quantifier-Free Case IJCAI 2018

Reinforcement Learning of Theorem Proving NIPS 2018

Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward IJCAI 2018

A Conversational Approach to Process-oriented Case-based Reasoning IJCAI 2018

Building and Learning Structures in a Situated Blocks World Through Deep Language Understanding NAACL 2018

Incrementally Grounding Expressions for Spatial Relations between Objects IJCAI 2018

Extracting Latent Beliefs and using Epistemic Reasoning to Tailor a Chatbot IJCAI 2018

Evaluation Techniques and Systems for Answer Set Programming: a Survey IJCAI 2018

Alternating-time Temporal Logic on Finite Traces IJCAI 2018

Towards Consumer-Empowering Artificial Intelligence IJCAI 2018

NewsReader at SemEval-2018 Task 5: Counting events by reasoning over event-centric-knowledge-graphs SEMEVAL 2018

Inconsistency Measures for Repair Semantics in OBDA IJCAI 2018

Attributed Description Logics: Reasoning on Knowledge Graphs IJCAI 2018

Complexity of Approximate Query Answering under Inconsistency in Datalog+/- IJCAI 2018

Completeness-aware Rule Learning from Knowledge Graphs IJCAI 2018

Answering Conjunctive Regular Path Queries over Guarded Existential Rules IJCAI 2017

Limbo: A Reasoning System for Limited Belief IJCAI 2017

A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017

nanoCoP: Natural Non-clausal Theorem Proving IJCAI 2017

Premise Selection for Theorem Proving by Deep Graph Embedding NIPS 2017

On the Expressivity of Inconsistency Measures (Extended Abstract) IJCAI 2017

Strong Inconsistency in Nonmonotonic Reasoning IJCAI 2017

The Parallel Meaning Bank: Towards a Multilingual Corpus of Translations Annotated with Compositional Meaning Representations EACL 2017

The ContrastMedium Algorithm: Taxonomy Induction From Noisy Knowledge Graphs With Just A Few Links EACL 2017