Cover Image

A Planning Compilation to Reason about Goal Achievement at Planning Time

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pozanco, Alberto, Morales, Marianela, Borrajo, Daniel, Veloso, Manuela
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Planning with Minimal Disruption
by: Pozanco, Alberto, et al.
Published: (2025)

Counterfactual Reasoning in Automated Planning
by: Pozanco, Alberto, et al.
Published: (2026)

On Computing Plans with Uniform Action Costs
by: Pozanco, Alberto, et al.
Published: (2024)

On Learning Action Costs from Input Plans
by: Morales, Marianela, et al.
Published: (2024)

Planning Task Shielding: Detecting and Repairing Flaws in Planning Tasks through Turning them Unsolvable
by: Pozanco, Alberto, et al.
Published: (2026)

Intelligent Execution through Plan Analysis
by: Borrajo, Daniel, et al.
Published: (2024)

Projection Abstractions in Planning Under the Lenses of Abstractions for MDPs
by: Canonaco, Giuseppe, et al.
Published: (2024)

Generalising Planning Environment Redesign
by: Pozanco, Alberto, et al.
Published: (2024)

GenPlanX. Generation of Plans and Execution
by: Borrajo, Daniel, et al.
Published: (2025)

Semantic Partial Grounding via LLMs
by: Canonaco, Giuseppe, et al.
Published: (2026)

TRIP-PAL: Travel Planning with Guarantees by Combining Large Language Models and Automated Planners
by: de la Rosa, Tomas, et al.
Published: (2024)

Unveiling Interesting Insights: Monte Carlo Tree Search for Knowledge Discovery
by: Totis, Pietro, et al.
Published: (2025)

The Subset Sum Matching Problem
by: Wu, Yufei, et al.
Published: (2025)

On the Sample Efficiency of Abstractions and Potential-Based Reward Shaping in Reinforcement Learning
by: Canonaco, Giuseppe, et al.
Published: (2024)

GenePlan: Evolving Better Generalized PDDL Plans using Large Language Models
by: Murray, Andrew, et al.
Published: (2026)

Contrastive Explanations of Centralized Multi-agent Optimization Solutions
by: Zehtabi, Parisa, et al.
Published: (2023)

TS-Agent: Understanding and Reasoning Over Raw Time Series via Iterative Insight Gathering
by: Liu, Penghang, et al.
Published: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
by: Ramani, Keshav, et al.
Published: (2025)

ACPBench: Reasoning about Action, Change, and Planning
by: Kokel, Harsha, et al.
Published: (2024)

TradeFM: A Generative Foundation Model for Trade-flow and Market Microstructure
by: Kawawa-Beaudan, Maxime, et al.
Published: (2026)

ACPBench Hard: Unrestrained Reasoning about Action, Change, and Planning
by: Kokel, Harsha, et al.
Published: (2025)

Counting and Reasoning with Plans
by: Speck, David, et al.
Published: (2025)

Beyond Manual Planning: Seating Allocation for Large Organizations
by: Ipsen, Anton, et al.
Published: (2026)

Goal-Space Planning with Subgoal Models
by: Lo, Chunlok, et al.
Published: (2022)

Two Constraint Compilation Methods for Lifted Planning
by: Mantenoglou, Periklis, et al.
Published: (2025)

Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
by: Micheli, Andrea, et al.
Published: (2026)

Capacity Planning and Scheduling for Jobs with Uncertainty in Resource Usage and Duration
by: Patra, Sunandita, et al.
Published: (2025)

Proposing Hierarchical Goal-Conditioned Policy Planning in Multi-Goal Reinforcement Learning
by: Rens, Gavin B.
Published: (2025)

Goal Kernel Planning: Linearly-Solvable Non-Markovian Policies for Logical Tasks with Goal-Conditioned Options
by: Ringstrom, Thomas J., et al.
Published: (2020)

Predicting Customer Goals in Financial Institution Services: A Data-Driven LSTM Approach
by: Estornell, Andrew, et al.
Published: (2024)

Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
by: Chen, Dillon Z., et al.
Published: (2025)

Fuzzy Categorical Planning: Autonomous Goal Satisfaction with Graded Semantic Constraints
by: Qu, Shuhui
Published: (2026)

On Reasoning Strength Planning in Large Reasoning Models
by: Sheng, Leheng, et al.
Published: (2025)

Personalized Learning Path Planning with Goal-Driven Learner State Modeling
by: Lim, Joy Jia Yin, et al.
Published: (2025)

TIDE: A Trace-Informed Depth-First Exploration for Planning with Temporally Extended Goals
by: Suprun, Yuliia, et al.
Published: (2026)

Inference-Time Computations for LLM Reasoning and Planning: A Benchmark and Insights
by: Parashar, Shubham, et al.
Published: (2025)

LogiPlan: A Structured Benchmark for Logical Planning and Relational Reasoning in LLMs
by: Cai, Yanan, et al.
Published: (2025)

Methods for Matching English Language Addresses
by: Ramani, Keshav, et al.
Published: (2024)

PlanU: Large Language Model Reasoning through Planning under Uncertainty
by: Deng, Ziwei, et al.
Published: (2025)

"Just in Time" World Modeling Supports Human Planning and Reasoning
by: Chen, Tony, et al.
Published: (2026)