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)

On Robustness in Qualitative Constraint Networks IJCAI 2020
Cone Semantics for Logics with Negation IJCAI 2020
A Fully Rational Account of Structured Argumentation Under Resource Bounds IJCAI 2020
Inconsistency Measurement for Improving Logical Formula Clustering IJCAI 2020
Tractable Fragments of Datalog with Metric Temporal Operators IJCAI 2020
Query Answering for Existential Rules via Efficient Datalog Rewriting IJCAI 2020
Model-theoretic Characterizations of Existential Rule Languages IJCAI 2020
Learning Large Logic Programs By Going Beyond Entailment IJCAI 2020
Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning IJCAI 2020
Learning Interpretable Models in the Property Specification Language IJCAI 2020
Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning IJCAI 2020
Logic Constrained Pointer Networks for Interpretable Textual Similarity IJCAI 2020
C3MM: Clique-Closure based Hyperlink Prediction IJCAI 2020
Front-to-Front Heuristic Search for Satisficing Classical Planning IJCAI 2020
Optimal Planning Modulo Theories IJCAI 2020
Cost-Partitioned Merge-and-Shrink Heuristics for Optimal Classical Planning IJCAI 2020
Optimal and Non-Discriminative Rehabilitation Program Design for Opioid Addiction Among Homeless Youth IJCAI 2020
Infochain: A Decentralized, Trustless and Transparent Oracle on Blockchain IJCAI 2020
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) IJCAI 2020
The Emerging Landscape of Explainable Automated Planning & Decision Making IJCAI 2020
Reasoning About Inconsistent Formulas IJCAI 2020
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020
A Survey on Temporal Reasoning for Temporal Information Extraction from Text (Extended Abstract) IJCAI 2020
Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP (Extended Abstract) IJCAI 2020
IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree (Extended Abstract) IJCAI 2020