Planning

Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus AAAI 2026 Surgical AI Copilot: Energy-Based Fourier Gradient Low-Rank Adaptation for Surgical LLM Agent Reasoning and Planning AAAI 2026 Symbolic Planning and Multi-Agent Path Finding in Extremely Dense Environments with Unassigned Agents AAAI 2026 Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint) AAAI 2026 SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization EACL 2026 Symmetry-Aware Transformer Training for Automated Planning AAAI 2026 System L: Toward System 2-Style Legal Reasoning AAAI 2026 Tapas Are Free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments AAAI 2026 TaREx: Reinforcement Learning for Code-Driven Table Reasoning AAAI 2026 TCoT: Trajectory Chain-of-Thoughts for Robotic Manipulation with Failure Recovery in Vision-Language-Action Model AAAI 2026 Testing Under Strategic Manipulation: Mechanism Design for Human and AI Institutions AAAI 2026 Themis: Automated Constraint-Aware Test Synthesis Framework for Code Reinforcement Learning AAAI 2026 ToC: Tree-of-Claims Search with Multi-Agent Language Models AAAI 2026 Top-Down Semantic Refinement for Image Captioning AAAI 2026 Towards Agents That Exhibit Human-Like Autonomy in Complex Environments AAAI 2026 Towards Autonomous UAV Visual Object Search in City Space: Benchmark and Agentic Methodology AAAI 2026 Towards Effective Code-Integrated Reasoning AAAI 2026 Towards Human-centered Proactive Conversational AI AAAI 2026 Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming AAAI 2026 TPS-Bench: Evaluating AI Agents’ Tool Planning & Scheduling Abilities in Compounding Tasks ACL 2026 Trustworthy Autonomy Without Human Intervention in Uncertain Domains AAAI 2026 Two Constraint Compilation Methods for Lifted Planning AAAI 2026 UNeMo: Collaborative Visual-Language Reasoning and Navigation via a Multimodal World Model AAAI 2026 USPR: Learning a Unified Solver for Profiled Routing AAAI 2026 Verification-Aware Planning for Multi-Agent Systems EACL 2026