conftrace_
← Knowledge & Reasoning
Knowledge & Reasoning ›

Reasoning

2,428 papers (30 classified directly here)

Subtopics

Causal Inference (936) Automated Reasoning (843) Formal Methods (351) Automated Planning (288) Graph Embeddings (215)

Papers per year

11
11
272
299
'10
'15
'20
'25

Papers (including subtopics)

A Semantic Loss Function for Deep Learning with Symbolic Knowledge ICML 2018
Causal Bandits with Propagating Inference ICML 2018
Alternating-time Temporal Logic on Finite Traces IJCAI 2018
An Operational Semantics for a Fragment of PRS IJCAI 2018
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems IJCAI 2018
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018
Classification Transfer for Qualitative Reasoning Problems IJCAI 2018
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 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
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus IJCAI 2018
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries IJCAI 2018
Single-Shot Epistemic Logic Program Solving IJCAI 2018
Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account IJCAI 2018
Actual Causality in a Logical Setting 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
On the Conditional Logic of Simulation Models IJCAI 2018
Stratified Negation in Limit Datalog Programs IJCAI 2018