Buchumschlag

Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Le, Nguyen Cong Nhat, Rogers, John G., Bonial, Claire N., Dantam, Neil T.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence I.2.8
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Integrating Explanations in Learning LTL Specifications from Demonstrations
von: Gupta, Ashutosh, et al.
Veröffentlicht: (2024)

Towards a Unified Framework for Sequential Decision Making
von: Núñez-Molina, Carlos, et al.
Veröffentlicht: (2023)

Task and Motion Planning for Execution in the Real
von: Pan, Tianyang, et al.
Veröffentlicht: (2024)

Relevance Score: A Landmark-Like Heuristic for Planning
von: Kim, Oliver, et al.
Veröffentlicht: (2024)

HTN Plan Repair Algorithms Compared: Strengths and Weaknesses of Different Methods
von: Zaidins, Paul, et al.
Veröffentlicht: (2025)

Toward Constraint Compliant Goal Formulation and Planning
von: Jones, Steven J., et al.
Veröffentlicht: (2024)

Planning with affordances: Integrating learned affordance models and symbolic planning
von: Mangannavar, Rajesh
Veröffentlicht: (2025)

Requirements for Recognition and Rapid Response to Unfamiliar Events Outside of Agent Design Scope
von: Wray, Robert E., et al.
Veröffentlicht: (2025)

Sketch Decompositions for Classical Planning via Deep Reinforcement Learning
von: Aichmüller, Michael, et al.
Veröffentlicht: (2024)

Learning to Select Goals in Automated Planning with Deep-Q Learning
von: Núñez-Molina, Carlos, et al.
Veröffentlicht: (2024)

Dynamic UGV-UAV Cooperative Path Planning in Uncertain Environments
von: Nguyen, Ninh, et al.
Veröffentlicht: (2026)

AEROS: A Single-Agent Operating Architecture with Embodied Capability Modules
von: Qin, Xue, et al.
Veröffentlicht: (2026)

NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems
von: Núñez-Molina, Carlos, et al.
Veröffentlicht: (2023)

Dynamic Buffers: Cost-Efficient Planning for Tabletop Rearrangement with Stacking
von: Barghi, Arman, et al.
Veröffentlicht: (2025)

Previous Knowledge Utilization In Online Anytime Belief Space Planning
von: Novitsky, Michael, et al.
Veröffentlicht: (2024)

Risk-aware Integrated Task and Motion Planning for Versatile Snake Robots under Localization Failures
von: Jasour, Ashkan, et al.
Veröffentlicht: (2025)

On inferring cumulative constraints
von: Sidorov, Konstantin
Veröffentlicht: (2026)

Calculating Ultra-Strong and Extended Solutions for Nine Men's Morris, Morabaraba, and Lasker Morris
von: Gévay, Gábor E., et al.
Veröffentlicht: (2014)

Project Patti: Why can You Solve Diabolical Puzzles on one Sudoku Website but not Easy Puzzles on another Sudoku Website?
von: Eisenkolb-Vaithyanathan, Arman
Veröffentlicht: (2025)

Comprehensive Taxonomies of Nature- and Bio-inspired Optimization: Inspiration versus Algorithmic Behavior, Critical Analysis and Recommendations (from 2020 to 2024)
von: Molina, Daniel, et al.
Veröffentlicht: (2020)

Optimization of Activity Batching Policies in Business Processes
von: López-Pintado, Orlenys, et al.
Veröffentlicht: (2025)

VIGIL: A Reflective Runtime for Self-Healing Agents
von: Cruz, Christopher
Veröffentlicht: (2025)

How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization
von: Sidorov, Konstantin, et al.
Veröffentlicht: (2024)

GRIP: A Unified Framework for Grid-Based Relay and Co-Occurrence-Aware Planning in Dynamic Environments
von: Alanazi, Ahmed, et al.
Veröffentlicht: (2025)

3D-Anchored Lookahead Planning for Persistent Robotic Scene Memory via World-Model-Based MCTS
von: Sidik, Bronislav, et al.
Veröffentlicht: (2026)

Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search
von: Zawalski, Michał, et al.
Veröffentlicht: (2022)

On the Generalization Gap in LLM Planning: Tests and Verifier-Reward RL
von: Belcamino, Valerio, et al.
Veröffentlicht: (2026)

Parallel Strategies for Best-First Generalized Planning
von: Fernández-Alburquerque, Alejandro, et al.
Veröffentlicht: (2024)

Bridging the Reasoning Gap: Small LLMs Can Plan with Generalised Strategies
von: Borro, Andrey, et al.
Veröffentlicht: (2025)

BPMN to PDDL: Translating Business Workflows for AI Planning
von: Nie, Jasper, et al.
Veröffentlicht: (2025)

Differentiable Symbolic Planning: A Neural Architecture for Constraint Reasoning with Learned Feasibility
von: Oruganti, Venkatakrishna Reddy
Veröffentlicht: (2026)

Reinforced Language Models for Sequential Decision Making
von: Dilkes, Jim, et al.
Veröffentlicht: (2025)

A Review of Symbolic, Subsymbolic and Hybrid Methods for Sequential Decision Making
von: Núñez-Molina, Carlos, et al.
Veröffentlicht: (2023)

Partially Observable Reference Policy Programming: Solving POMDPs Sans Numerical Optimisation
von: Kim, Edward, et al.
Veröffentlicht: (2025)

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
von: George, Robert Joseph, et al.
Veröffentlicht: (2025)

EduQate: Generating Adaptive Curricula through RMABs in Education Settings
von: Tio, Sidney, et al.
Veröffentlicht: (2024)

TrafficRAG: A Multimodal RAG Framework for Traffic Accident Liability Determination
von: Li, Xu, et al.
Veröffentlicht: (2026)

A Parallel Hybrid Action Space Reinforcement Learning Model for Real-world Adaptive Traffic Signal Control
von: Wang, Yuxuan, et al.
Veröffentlicht: (2025)

Reducing Human-Robot Goal State Divergence with Environment Design
von: Sikes, Kelsey, et al.
Veröffentlicht: (2024)

ChatGPT4PCG 2 Competition: Prompt Engineering for Science Birds Level Generation
von: Taveekitworachai, Pittawat, et al.
Veröffentlicht: (2024)