Imagen de Portada

A General Framework for Dynamic MAPF using Multi-Shot ASP and Tunnels

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bogatarkan, Aysu, Erdem, Esra
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Winning Snake: Design Choices in Multi-Shot ASP
por: Böhl, Elisa, et al.
Publicado: (2024)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
por: Ahmad, Faseeh, et al.
Publicado: (2019)

Generating Causally Compliant Counterfactual Explanations using ASP
por: Dasgupta, Sopam
Publicado: (2025)

Layered LA-MAPF: a decomposition of large agent MAPF instance to accelerate solving without compromising solvability
por: Yao, Zhuo
Publicado: (2024)

Windowed MAPF with Completeness Guarantees
por: Veerapaneni, Rishi, et al.
Publicado: (2024)

MAPF-World: Action World Model for Multi-Agent Path Finding
por: Yang, Zhanjiang, et al.
Publicado: (2025)

An ASP-Based Framework for MUSes
por: Kabir, Mohimenul, et al.
Publicado: (2025)

MAPF-GPT: Imitation Learning for Multi-Agent Pathfinding at Scale
por: Andreychuk, Anton, et al.
Publicado: (2024)

Planning over MAPF Agent Dependencies via Multi-Dependency PIBT
por: Jiang, Zixiang, et al.
Publicado: (2026)

Advancing MAPF Toward the Real World: A Scalable Multi-Agent Realistic Testbed (SMART)
por: Yan, Jingtian, et al.
Publicado: (2025)

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
por: Fidan, Müge, et al.
Publicado: (2025)

Anytime Single-Step MAPF Planning with Anytime PIBT
por: Gandotra, Nayesha, et al.
Publicado: (2025)

Evaluating the Quality of Benchmark Datasets for Low-Resource Languages: A Case Study on Turkish
por: Cengiz, Ayşe Aysu, et al.
Publicado: (2025)

Real-Time LaCAM for Real-Time MAPF
por: Liang, Runzhe, et al.
Publicado: (2025)

Improving Learnt Local MAPF Policies with Heuristic Search
por: Veerapaneni, Rishi, et al.
Publicado: (2024)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
por: Rizwan, Momina, et al.
Publicado: (2020)

ReAct! An Interactive Tool for Hybrid Planning in Robotics
por: Dogmus, Zeynep, et al.
Publicado: (2013)

Analyzing Planner Design Trade-offs for MAPF under ADG-based Realistic Execution
por: Yan, Jingtian, et al.
Publicado: (2025)

EZASP -- Facilitating the usage of ASP
por: Martins, Rafael, et al.
Publicado: (2026)

On the generalization of learned constraints for ASP solving in temporal domains
por: Romero, Javier, et al.
Publicado: (2024)

CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP
por: Dasgupta, Sopam, et al.
Publicado: (2024)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
por: El-Kholany, Mohammed M. S., et al.
Publicado: (2022)

ASP-FZN: A Translation-based Constraint Answer Set Solver
por: Eiter, Thomas, et al.
Publicado: (2025)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
por: De Angelis, Emanuele, et al.
Publicado: (2024)

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
por: Nabeshima, Hidetomo, et al.
Publicado: (2025)

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
por: Kuhlmann, Isabelle, et al.
Publicado: (2023)

Towards Mass Spectrum Analysis with ASP
por: Küchenmeister, Nils, et al.
Publicado: (2025)

xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming
por: Trieu, Ly Ly, et al.
Publicado: (2026)

Towards end-to-end ASP computation
por: Sato, Taisuke, et al.
Publicado: (2023)

Direct Encoding of Declare Constraints in ASP
por: Chiariello, Francesco, et al.
Publicado: (2024)

Towards Automatic Composition of ASP Programs from Natural Language Specifications
por: Borroto, Manuel, et al.
Publicado: (2024)

Bridging Natural Language and ASP: A Hybrid Approach Using LLMs and AMR Parsing
por: Hite, Connar, et al.
Publicado: (2025)

Diminution: On Reducing the Size of Grounding ASP Programs
por: Yang, HuanYu, et al.
Publicado: (2025)

An LLM + ASP Workflow for Joint Entity-Relation Extraction
por: Tran, Trang, et al.
Publicado: (2025)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
por: Dasgupta, Sopam, et al.
Publicado: (2024)

Cplus2ASP: Computing Action Language C+ in Answer Set Programming
por: Babb, Joseph, et al.
Publicado: (2026)

LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
por: Ishay, Adam, et al.
Publicado: (2026)

Finite Groundings for ASP with Functions: A Journey through Consistency
por: Gerlach, Lukas, et al.
Publicado: (2024)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
por: Fandinno, Jorge, et al.
Publicado: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
por: Vozna, Alina, et al.
Publicado: (2026)