← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Explainable Certain Answers IJCAI 2018
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies IJCAI 2018
Classification Transfer for Qualitative Reasoning Problems IJCAI 2018
Relevance in Structured Argumentation IJCAI 2018
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving IJCAI 2018
Compiling Model Representations for Querying Large ABoxes in Expressive DLs IJCAI 2018
Computational Argumentation: A Journey Beyond Semantics, Logic, Opinions, and Easy Tasks NAACL 2018
A Generalized Knowledge Hunting Framework for the Winograd Schema Challenge NAACL 2018
A Semantic Loss Function for Deep Learning with Symbolic Knowledge ICML 2018
A Systematic Classification of Knowledge, Reasoning, and Context within the ARC Dataset ACL 2018
Building Dialogue Structure from Discourse Tree of a Question EMNLP 2018
Computing Approximate Query Answers over Inconsistent Knowledge Bases IJCAI 2018
An Empirical Study of Knowledge Tradeoffs in Case-Based Reasoning IJCAI 2018
Reasoning about Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces IJCAI 2018
Multi-hop Inference for Sentence-level TextGraphs: How Challenging is Meaningfully Combining Information for Science Question Answering? NAACL 2018
Finite Model Reasoning in Hybrid Classes of Existential Rules IJCAI 2018
Exploiting Justifications for Lazy Grounding of Answer Set Programs IJCAI 2018
Automated Reasoning for City Infrastructure Maintenance Decision Support IJCAI 2018
A Knowledge Hunting Framework for Common Sense Reasoning EMNLP 2018
Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract) IJCAI 2018
Acquisition of Phrase Correspondences Using Natural Deduction Proofs NAACL 2018
Neural Tensor Networks with Diagonal Slice Matrices NAACL 2018
Prime Implicate Generation in Equational Logic (extended abstract) IJCAI 2018
HEI: Hunter Events Interface A platform based on services for the detection and reasoning about events COLING 2018
Similarity-Based Reasoning, Raven's Matrices, and General Intelligence IJCAI 2018