conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

843 papers

Papers per year

3
83
118
'10
'20
'25

Papers

Chains of Reasoning over Entities, Relations, and Text using Recurrent Neural Networks EACL 2017
The ContrastMedium Algorithm: Taxonomy Induction From Noisy Knowledge Graphs With Just A Few Links EACL 2017
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017
End-to-end Relation Extraction using Neural Networks and Markov Logic Networks EACL 2017
The Parallel Meaning Bank: Towards a Multilingual Corpus of Translations Annotated with Compositional Meaning Representations EACL 2017
DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoning EMNLP 2017
Local-to-Global Bayesian Network Structure Learning ICML 2017
Know-Evolve: Deep Temporal Reasoning for Dynamic Knowledge Graphs ICML 2017
Agent Design Consistency Checking via Planning IJCAI 2017
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017
Answering Conjunctive Regular Path Queries over Guarded Existential Rules IJCAI 2017
Reformulating Queries: Theory and Practice IJCAI 2017
Ontology-Mediated Query Answering for Key-Value Stores IJCAI 2017
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory IJCAI 2017
Strong Inconsistency in Nonmonotonic Reasoning IJCAI 2017
Belief Change in a Preferential Non-monotonic Framework IJCAI 2017
Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions IJCAI 2017
Streaming Multi-Context Systems IJCAI 2017
Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017
Strategically knowing how IJCAI 2017
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks IJCAI 2017
Mapping Repair in Ontology-based Data Access Evolving Systems IJCAI 2017
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability IJCAI 2017
Efficient and Complete FD-solving for extended array constraints IJCAI 2017
Conflict-driven ASP Solving with External Sources and Program Splits IJCAI 2017