conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

843 papers

Papers per year

3
83
118
'10
'20
'25

Papers

Localizing Moments in Video with Temporal Language EMNLP 2018
A Knowledge Hunting Framework for Common Sense Reasoning EMNLP 2018
Neural Compositional Denotational Semantics for Question Answering EMNLP 2018
Bridging Knowledge Gaps in Neural Entailment via Symbolic Models EMNLP 2018
Building Dialogue Structure from Discourse Tree of a Question EMNLP 2018
A Semantic Loss Function for Deep Learning with Symbolic Knowledge ICML 2018
Alternating-time Temporal Logic on Finite Traces IJCAI 2018
Classification Transfer for Qualitative Reasoning Problems IJCAI 2018
Similarity-Based Reasoning, Raven's Matrices, and General Intelligence IJCAI 2018
Explainable Certain Answers IJCAI 2018
Compiling Model Representations for Querying Large ABoxes in Expressive DLs IJCAI 2018
Single-Shot Epistemic Logic Program Solving IJCAI 2018
Exploiting Justifications for Lazy Grounding of Answer Set Programs IJCAI 2018
Relevance in Structured Argumentation IJCAI 2018
The Complexity of Limited Belief Reasoning—The Quantifier-Free Case IJCAI 2018
An Empirical Study of Knowledge Tradeoffs in Case-Based Reasoning IJCAI 2018
Finite Model Reasoning in Hybrid Classes of Existential Rules IJCAI 2018
Computing Approximate Query Answers over Inconsistent Knowledge Bases IJCAI 2018
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies IJCAI 2018
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving IJCAI 2018
Complexity of Approximate Query Answering under Inconsistency in Datalog+/- IJCAI 2018
Incrementally Grounding Expressions for Spatial Relations between Objects IJCAI 2018
Reasoning about Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces IJCAI 2018
Inconsistency Measures for Repair Semantics in OBDA IJCAI 2018
Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018