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)

Uncommon Belief in Rationality AAAI 2025
ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning AAAI 2025
CognTKE: A Cognitive Temporal Knowledge Extrapolation Framework AAAI 2025
Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025
A Practical Approach to Causal Inference over Time AAAI 2025
Situation Calculus Temporally Lifted Abstractions for Generalized Planning AAAI 2025
A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025
An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025
First-Order Automata AAAI 2025
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models AAAI 2025
LTLf Synthesis Under Unreliable Input AAAI 2025
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025
New Compilation Languages Based on Restricted Weak Decomposability AAAI 2025
Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming AAAI 2025
A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity AAAI 2025
Reasoning About Actual Causes in Nondeterministic Domains AAAI 2025
An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025
On Action Theories with Iterable First-Order Progression AAAI 2025
Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases AAAI 2025
Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025
Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025