Buchumschlag

Towards High-Level Modelling in Automated Planning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sureda, Carla Davesa, Arxer, Joan Espasa, Miguel, Ian, Auselle, Mateu Villaret
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Behaviour Planning: A Toolkit for Diverse Planning
von: Abdelwahed, Mustafa F, et al.
Veröffentlicht: (2024)

From Stories to Cities to Games: A Qualitative Evaluation of Behaviour Planning
von: Abdelwahed, Mustafa F., et al.
Veröffentlicht: (2026)

Diverse Planning with Simulators via Linear Temporal Logic
von: Abdelwahed, Mustafa F., et al.
Veröffentlicht: (2025)

A Framework for Generating Informative Benchmark Instances
von: Dang, Nguyen, et al.
Veröffentlicht: (2022)

Removing Planner Bias in Goal Recognition Through Multi-Plan Dataset Generation
von: Abdelwahed, Mustafa F., et al.
Veröffentlicht: (2026)

Toward Subtrait-Level Model Explainability in Automated Writing Evaluation
von: Andrade-Lotero, Alejandro, et al.
Veröffentlicht: (2025)

From Capability Models to Automated Planning: An AAS-Native Approach for Automatic PDDL Generation
von: Nabizada, Hamied, et al.
Veröffentlicht: (2026)

Automated Process Planning Based on a Semantic Capability Model and SMT
von: Köcher, Aljosha, et al.
Veröffentlicht: (2023)

LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models
von: Tantakoun, Marcus, et al.
Veröffentlicht: (2025)

Plan Then Action:High-Level Planning Guidance Reinforcement Learning for LLM Reasoning
von: Dou, Zhihao, et al.
Veröffentlicht: (2025)

Toward Scalable Automated Repository-Level Datasets for Software Vulnerability Detection
von: Lbath, Amine
Veröffentlicht: (2026)

Counterfactual Reasoning in Automated Planning
von: Pozanco, Alberto, et al.
Veröffentlicht: (2026)

Counterfactual Scenarios for Automated Planning
von: Gigante, Nicola, et al.
Veröffentlicht: (2025)

R-Capsule: Compressing High-Level Plans for Efficient Large Language Model Reasoning
von: Shan, Hongyu, et al.
Veröffentlicht: (2025)

Dynamic Tree Databases in Automated Planning
von: Joergensen, Oliver, et al.
Veröffentlicht: (2025)

Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
von: Hofmann, Till
Veröffentlicht: (2023)

Training High-Level Schedulers with Execution-Feedback Reinforcement Learning for Long-Horizon GUI Automation
von: Deng, Zehao, et al.
Veröffentlicht: (2025)

Planning of Heuristics: Strategic Planning on Large Language Models with Monte Carlo Tree Search for Automating Heuristic Optimization
von: Wang, Hui, et al.
Veröffentlicht: (2025)

Automating Reformulation of Essence Specifications via Graph Rewriting
von: Miguel, Ian, et al.
Veröffentlicht: (2024)

A Survey on Large Language Models for Automated Planning
von: Aghzal, Mohamed, et al.
Veröffentlicht: (2025)

On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)
von: Pallagani, Vishal, et al.
Veröffentlicht: (2024)

Automated Retrosynthesis Planning of Macromolecules Using Large Language Models and Knowledge Graphs
von: Ma, Qinyu, et al.
Veröffentlicht: (2025)

Automating Document Intelligence in Statutory City Planning
von: Malmqvist, Lars, et al.
Veröffentlicht: (2026)

Aligning Agents via Planning: A Benchmark for Trajectory-Level Reward Modeling
von: Wang, Jiaxuan, et al.
Veröffentlicht: (2026)

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

Reformulation Techniques for Automated Planning: A Systematic Review
von: Alarnaouti, Diaeddin, et al.
Veröffentlicht: (2023)

Complex LLM Planning via Automated Heuristics Discovery
von: Ling, Hongyi, et al.
Veröffentlicht: (2025)

Toward PDDL Planning Copilot
von: Benyamin, Yarin, et al.
Veröffentlicht: (2025)

Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation
von: Nabizada, Hamied, et al.
Veröffentlicht: (2025)

Automated Kernel Discovery Towards Understanding High-dimensional Bayesian Optimization
von: Yun, Taeyoung, et al.
Veröffentlicht: (2026)

RETAIL: Towards Real-world Travel Planning for Large Language Models
von: Deng, Bin, et al.
Veröffentlicht: (2025)

Towards a Holistic and Automated Evaluation Framework for Multi-Level Comprehension of LLMs in Book-Length Contexts
von: Deng, Jiaqi, et al.
Veröffentlicht: (2025)

EpiPlanAgent: Agentic Automated Epidemic Response Planning
von: Mao, Kangkun, et al.
Veröffentlicht: (2025)

LLM-BI: Towards Fully Automated Bayesian Inference with Large Language Models
von: Huang, Yongchao
Veröffentlicht: (2025)

Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning
von: Caglar, Turgay, et al.
Veröffentlicht: (2023)

DocMEdit: Towards Document-Level Model Editing
von: Zeng, Li, et al.
Veröffentlicht: (2025)

Automated Parking Planning with Vision-Based BEV Approach
von: Zhao, Yuxuan
Veröffentlicht: (2024)

Reinforced Imitative Trajectory Planning for Urban Automated Driving
von: Zeng, Di, et al.
Veröffentlicht: (2024)

AlphaCNOT: Learning CNOT Minimization with Model-Based Planning
von: Cossio, Jacopo, et al.
Veröffentlicht: (2026)

Bridging Engineering and AI Planning through Model-Based Knowledge Transformation for the Validation of Automated Production System Variants
von: Nabizada, Hamied, et al.
Veröffentlicht: (2025)