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)

Abstract Argumentation Frameworks with Domain Assignments IJCAI 2021
Neighborhood Intervention Consistency: Measuring Confidence for Knowledge Graph Link Prediction IJCAI 2021
State-Based Recurrent SPMNs for Decision-Theoretic Planning under Partial Observability IJCAI 2021
Temporal and Object Quantification Networks IJCAI 2021
Compositional Neural Logic Programming IJCAI 2021
Discourse-Level Event Temporal Ordering with Uncertainty-Guided Graph Completion IJCAI 2021
Relational Gating for ''What If'' Reasoning IJCAI 2021
Symbolic Dynamic Programming for Continuous State MDPs with Linear Program Transitions IJCAI 2021
LTL-Constrained Steady-State Policy Synthesis IJCAI 2021
Online Learning of Action Models for PDDL Planning IJCAI 2021
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning IJCAI 2021
Synthesizing Good-Enough Strategies for LTLf Specifications IJCAI 2021
Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models IJCAI 2021
Learning Temporal Plan Preferences from Examples: An Empirical Study IJCAI 2021
On Weak Stubborn Sets in Classical Planning IJCAI 2021
Explanation in Constraint Satisfaction: A Survey IJCAI 2021
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey IJCAI 2021
Analogical Proportions: Why They Are Useful in AI IJCAI 2021
Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract) IJCAI 2021
Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract) IJCAI 2021
Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract) IJCAI 2021
Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021
Distributional Metareasoning for Heuristic Search IJCAI 2021
An Information-Theoretic Approach on Causal Structure Learning for Heterogeneous Data Characteristics of Real-World Scenarios IJCAI 2021
An Automated Framework for Supporting Data-Governance Rule Compliance in Decentralized MIMO Contexts IJCAI 2021