Cover Image

Reformulation Techniques for Automated Planning: A Systematic Review

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Alarnaouti, Diaeddin, Baryannis, George, Vallati, Mauro
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Green Resilience of Cyber-Physical Systems: Doctoral Dissertation
by: Rimawi, Diaeddin
Published: (2025)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
by: Cardellini, Matteo, et al.
Published: (2024)

Long-term Power Grid Planning via Answer Set Programming
by: Ielo, Antonio, et al.
Published: (2026)

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
by: Baryannis, George, et al.
Published: (2020)

Modeling Resilience of Collaborative AI Systems
by: Rimawi, Diaeddin, et al.
Published: (2024)

Trustworthy, responsible, ethical AI in manufacturing and supply chains: synthesis and emerging research questions
by: Brintrup, Alexandra, et al.
Published: (2023)

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

Automated Reformulation of Robust Optimization via Memory-Augmented Large Language Models
by: Chen, Jinbiao, et al.
Published: (2026)

A Schema-aware Logic Reformulation for Graph Reachability
by: Di Pierro, Davide, et al.
Published: (2024)

Diffusion Model for Planning: A Systematic Literature Review
by: Ubukata, Toshihide, et al.
Published: (2024)

A Systematic Review of Security Vulnerabilities in Smart Home Devices and Mitigation Techniques
by: Alzaylaee, Mohammed K.
Published: (2025)

Automated Unit Test Case Generation: A Systematic Literature Review
by: Wang, Jason, et al.
Published: (2025)

Elaborative Subtopic Query Reformulation for Broad and Indirect Queries in Travel Destination Recommendation
by: Wen, Qianfeng, et al.
Published: (2024)

LogicEval: A Systematic Framework for Evaluating Automated Repair Techniques for Logical Vulnerabilities in Real-World Software
by: Rashid, Syed Md Mukit, et al.
Published: (2026)

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

Counterfactual Scenarios for Automated Planning
by: Gigante, Nicola, et al.
Published: (2025)

A Systematic Decade Review of Trip Route Planning with Travel Time Estimation based on User Preferences and Behavior
by: Jayasuriya, Nikil, et al.
Published: (2025)

RM-PoT: Reformulating Mathematical Problems and Solving via Program of Thoughts
by: Zhang, Yu, et al.
Published: (2025)

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

Transforming Evidence Synthesis: A Systematic Review of the Evolution of Automated Meta-Analysis in the Age of AI
by: Li, Lingbo, et al.
Published: (2025)

Conversational Question Answering with Reformulations over Knowledge Graph
by: Liu, Lihui, et al.
Published: (2023)

I Could've Asked That: Reformulating Unanswerable Questions
by: Zhao, Wenting, et al.
Published: (2024)

Stable On-Policy Distillation through Adaptive Target Reformulation
by: Jang, Ijun, et al.
Published: (2026)

Extending RLVR to Open-Ended Tasks via Verifiable Multiple-Choice Reformulation
by: Zhang, Mengyu, et al.
Published: (2025)

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

Towards High-Level Modelling in Automated Planning
by: Sureda, Carla Davesa, et al.
Published: (2024)

AgentSLR: Automating Systematic Literature Reviews in Epidemiology with Agentic AI
by: Padarha, Shreyansh, et al.
Published: (2026)

A Systematic Survey of Automatic Prompt Optimization Techniques
by: Ramnath, Kiran, et al.
Published: (2025)

Machine Learning in Micromobility: A Systematic Review of Datasets, Techniques, and Applications
by: Yan, Sen, et al.
Published: (2025)

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

Beyond Interleaving: Causal Attention Reformulations for Generative Recommender Systems
by: Cheng, Hailing
Published: (2026)

A Systematic Literature Review of Retrieval-Augmented Generation: Techniques, Metrics, and Challenges
by: Brown, Andrew, et al.
Published: (2025)

One-Step Generative Policies with Q-Learning: A Reformulation of MeanFlow
by: Wang, Zeyuan, et al.
Published: (2025)

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

The Prompt Report: A Systematic Survey of Prompt Engineering Techniques
by: Schulhoff, Sander, et al.
Published: (2024)

Cost-Awareness in Tree-Search LLM Planning: A Systematic Study
by: Zhang, Zihao, et al.
Published: (2025)

A Comprehensive Survey of AI-Driven Advancements and Techniques in Automated Program Repair and Code Generation
by: Anand, Avinash, et al.
Published: (2024)

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

Reformulating KV Cache Eviction Problem for Long-Context LLM Inference
by: Mai, Tho, et al.
Published: (2026)

StoryCoder: Narrative Reformulation for Structured Reasoning in LLM Code Generation
by: Jang, Geonhui, et al.
Published: (2026)