Copertina

Towards High-Level Modelling in Automated Planning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sureda, Carla Davesa, Arxer, Joan Espasa, Miguel, Ian, Auselle, Mateu Villaret
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Behaviour Planning: A Toolkit for Diverse Planning
di: Abdelwahed, Mustafa F, et al.
Pubblicazione: (2024)

From Stories to Cities to Games: A Qualitative Evaluation of Behaviour Planning
di: Abdelwahed, Mustafa F., et al.
Pubblicazione: (2026)

Diverse Planning with Simulators via Linear Temporal Logic
di: Abdelwahed, Mustafa F., et al.
Pubblicazione: (2025)

A Framework for Generating Informative Benchmark Instances
di: Dang, Nguyen, et al.
Pubblicazione: (2022)

Removing Planner Bias in Goal Recognition Through Multi-Plan Dataset Generation
di: Abdelwahed, Mustafa F., et al.
Pubblicazione: (2026)

Toward Subtrait-Level Model Explainability in Automated Writing Evaluation
di: Andrade-Lotero, Alejandro, et al.
Pubblicazione: (2025)

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

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

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

Plan Then Action:High-Level Planning Guidance Reinforcement Learning for LLM Reasoning
di: Dou, Zhihao, et al.
Pubblicazione: (2025)

Toward Scalable Automated Repository-Level Datasets for Software Vulnerability Detection
di: Lbath, Amine
Pubblicazione: (2026)

Counterfactual Reasoning in Automated Planning
di: Pozanco, Alberto, et al.
Pubblicazione: (2026)

Counterfactual Scenarios for Automated Planning
di: Gigante, Nicola, et al.
Pubblicazione: (2025)

R-Capsule: Compressing High-Level Plans for Efficient Large Language Model Reasoning
di: Shan, Hongyu, et al.
Pubblicazione: (2025)

Dynamic Tree Databases in Automated Planning
di: Joergensen, Oliver, et al.
Pubblicazione: (2025)

Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
di: Hofmann, Till
Pubblicazione: (2023)

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

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

Automating Reformulation of Essence Specifications via Graph Rewriting
di: Miguel, Ian, et al.
Pubblicazione: (2024)

A Survey on Large Language Models for Automated Planning
di: Aghzal, Mohamed, et al.
Pubblicazione: (2025)

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

Automated Retrosynthesis Planning of Macromolecules Using Large Language Models and Knowledge Graphs
di: Ma, Qinyu, et al.
Pubblicazione: (2025)

Automating Document Intelligence in Statutory City Planning
di: Malmqvist, Lars, et al.
Pubblicazione: (2026)

Aligning Agents via Planning: A Benchmark for Trajectory-Level Reward Modeling
di: Wang, Jiaxuan, et al.
Pubblicazione: (2026)

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

Reformulation Techniques for Automated Planning: A Systematic Review
di: Alarnaouti, Diaeddin, et al.
Pubblicazione: (2023)

Complex LLM Planning via Automated Heuristics Discovery
di: Ling, Hongyi, et al.
Pubblicazione: (2025)

Toward PDDL Planning Copilot
di: Benyamin, Yarin, et al.
Pubblicazione: (2025)

Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation
di: Nabizada, Hamied, et al.
Pubblicazione: (2025)

Automated Kernel Discovery Towards Understanding High-dimensional Bayesian Optimization
di: Yun, Taeyoung, et al.
Pubblicazione: (2026)

RETAIL: Towards Real-world Travel Planning for Large Language Models
di: Deng, Bin, et al.
Pubblicazione: (2025)

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

EpiPlanAgent: Agentic Automated Epidemic Response Planning
di: Mao, Kangkun, et al.
Pubblicazione: (2025)

LLM-BI: Towards Fully Automated Bayesian Inference with Large Language Models
di: Huang, Yongchao
Pubblicazione: (2025)

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

DocMEdit: Towards Document-Level Model Editing
di: Zeng, Li, et al.
Pubblicazione: (2025)

Automated Parking Planning with Vision-Based BEV Approach
di: Zhao, Yuxuan
Pubblicazione: (2024)

Reinforced Imitative Trajectory Planning for Urban Automated Driving
di: Zeng, Di, et al.
Pubblicazione: (2024)

AlphaCNOT: Learning CNOT Minimization with Model-Based Planning
di: Cossio, Jacopo, et al.
Pubblicazione: (2026)

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