conftrace_
← Topics

Artificial Intelligence

72,274 papers (0 classified directly here)

Subtopics

Core AI (59,089) Learning Paradigms (14,108) Bayesian & Probabilistic (4,335)

Papers per year

2
22
193
410
5040
14833
'00
'05
'10
'15
'20
'25

Papers (including subtopics)

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
Temporal Specification Optimisation for the Event Calculus AAAI 2025
Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025
Probabilistic Strategy Logic with Degrees of Observability AAAI 2025
A Logical Analysis of Hanabi AAAI 2025
Checking Consistency of CP-Theory Preferences in Polynomial Time AAAI 2025
Shield Synthesis for LTL Modulo Theories AAAI 2025
Learning Theorem Rationale for Improving the Mathematical Reasoning Capability of Large Language Models AAAI 2025
Joint Knowledge Editing for Information Enrichment and Probability Promotion AAAI 2025
MTVHunter: Smart Contracts Vulnerability Detection Based on Multi-Teacher Knowledge Translation AAAI 2025
Column-Oriented Datalog on the GPU AAAI 2025
SR-FoT: A Syllogistic-Reasoning Framework of Thought for Large Language Models Tackling Knowledge-based Reasoning Tasks AAAI 2025
Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios AAAI 2025
Goal-Driven Reasoning in DatalogMTL with Magic Sets AAAI 2025
Eliciting Causal Abilities in Large Language Models for Reasoning Tasks AAAI 2025