← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Belief Change in a Preferential Non-monotonic Framework IJCAI 2017
Open-World Probabilistic Databases: An Abridged Report IJCAI 2017
Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions IJCAI 2017
Streaming Multi-Context Systems IJCAI 2017
Mapping Repair in Ontology-based Data Access Evolving Systems IJCAI 2017
Learning MSO-definable hypotheses on strings ALT 2017
Answering Complex Questions Using Open Information Extraction ACL 2017
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability IJCAI 2017
Deep Neural Network based system for solving Arithmetic Word problems IJCNLP 2017
Guess What: A Question Answering Game via On-demand Knowledge Validation IJCNLP 2017
End-to-end Relation Extraction using Neural Networks and Markov Logic Networks EACL 2017
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017
Chains of Reasoning over Entities, Relations, and Text using Recurrent Neural Networks EACL 2017
Local-to-Global Bayesian Network Structure Learning ICML 2017
Know-Evolve: Deep Temporal Reasoning for Dynamic Knowledge Graphs ICML 2017
Differentiable Learning of Logical Rules for Knowledge Base Reasoning NIPS 2017
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) IJCAI 2017
Semantic Parsing of Pre-university Math Problems ACL 2017
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks IJCAI 2017
Strategically knowing how IJCAI 2017
Enabling Transitivity for Lexical Inference on Chinese Verbs Using Probabilistic Soft Logic IJCNLP 2017
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory IJCAI 2017
Efficient and Complete FD-solving for extended array constraints IJCAI 2017
Capturing Long-range Contextual Dependencies with Memory-enhanced Conditional Random Fields IJCNLP 2017
On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning IJCAI 2017