English
Related papers

Related papers: Domain-Independent Cost-Optimal Planning in ASP

200 papers

Multi-agent planning (MAP) approaches have been typically conceived for independent or loosely-coupled problems to enhance the benefits of distributed planning between autonomous agents as solving this type of problems require less…

Artificial Intelligence · Computer Science 2015-01-30 Alejandro Torreño , Eva Onaindia , Óscar Sapena

Path finding is a well-studied problem in AI, which is often framed as graph search. Any-angle path finding is a technique that augments the initial graph with additional edges to build shorter paths to the goal. Indeed, optimal algorithms…

Artificial Intelligence · Computer Science 2021-04-15 Konstantin Yakovlev , Anton Andreychuk

While supervised learning is widely used for perception modules in conventional autonomous driving solutions, scalability is hindered by the huge amount of data labeling needed. In contrast, while end-to-end architectures do not require…

Computer Vision and Pattern Recognition · Computer Science 2021-03-31 Elmira Amirloo , Mohsen Rohani , Ershad Banijamali , Jun Luo , Pascal Poupart

Parallel machine scheduling has been extensively studied in the past decades, with applications ranging from production planning to job processing in large computing clusters. In this work we study some of these fundamental optimization…

Data Structures and Algorithms · Computer Science 2015-09-08 Yael Mordechai

Answer set programming (ASP) and planning are two widely used paradigms for solving logic programs with declarative programming. In both cases, the quality of the input programs has a major influence on the quality and performance of the…

Logic in Computer Science · Computer Science 2019-05-09 Patrick Lühne

Cloud service provider propose services to insensitive customers to use their platform. Different services can achieve the same result at different cost. In this paper, we study the efficiency of a serverless architecture for running highly…

Software Engineering · Computer Science 2019-01-15 Samuel Lavoie , Anthony Garant , Fabio Petrillo

In this work we consider the multi-agent motion planning (MAMP) problem with the constraint that agents arrive at their respective goals at the same time. For the special case where all agents are initially at rest we propose a two-step…

Optimization and Control · Mathematics 2026-05-05 Anja Hellander , Daniel Axehill

Consumer-electronics systems are becoming increasingly complex as the number of integrated applications is growing. Some of these applications have real-time requirements, while other non-real-time applications only require good average…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-11-28 Anna Minaeva , Premysl Sucha , Benny Akesson , Zdenek Hanzalek

Project scheduling in manufacturing environments often requires flexibility in terms of the selection and the exact length of alternative production activities. Moreover, the simultaneous scheduling of multiple lots is mandatory in many…

Artificial Intelligence · Computer Science 2020-10-26 Viktoria A. Hauder , Andreas Beham , Sebastian Raggl , Sophie N. Parragh , Michael Affenzeller

Motivated by issues of saving energy in data centers we define a collection of new problems referred to as "machine activation" problems. The central framework we introduce considers a collection of $m$ machines (unrelated or related) with…

Data Structures and Algorithms · Computer Science 2009-12-08 Samir Kuller , Jian Li , Barna Saha

Lazy search algorithms have been developed to efficiently solve planning problems in domains where the computational effort is dominated by the cost of edge evaluation. The existing algorithms operate by intelligently balancing…

Robotics · Computer Science 2023-01-16 Shohin Mukherjee , Sandip Aine , Maxim Likhachev

Conventional processor architectures are restricted in exploiting instruction level parallelism (ILP) due to the relatively low number of programmer-visible registers. Therefore, more recent processor architectures expose their datapaths so…

Logic in Computer Science · Computer Science 2018-05-01 Marc Dahlem , Anoop Bhagyanath , Klaus Schneider

We describe the new version of the PDDL-to-ASP translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired by SAT planning and others exploiting ASP features such as…

Logic in Computer Science · Computer Science 2020-02-19 Yannis Dimopoulos , Martin Gebser , Patrick Lühne , Javier Romero , Torsten Schaub

As declarative query processing techniques expand in scope --- to the Web, data streams, network routers, and cloud platforms --- there is an increasing need for adaptive query processing techniques that can re-plan in the presence of…

Databases · Computer Science 2014-09-23 Mengmeng Liu , Zachary G. Ives , Boon Thau Loo

In multi-agent path finding (MAPF) the task is to find non-conflicting paths for multiple agents. In this paper we focus on finding suboptimal solutions for MAPF for the sum-of-costs variant. Recently, a SAT-based approached was developed…

Artificial Intelligence · Computer Science 2017-07-04 Pavel Surynek , Ariel Felner , Roni Stern , Eli Boyarski

This article studies the problem of modifying the action ordering of a plan in order to optimise the plan according to various criteria. One of these criteria is to make a plan less constrained and the other is to minimize its parallel…

Artificial Intelligence · Computer Science 2011-05-30 C. Backstrom

Several recently developed Multi-Agent Path Finding (MAPF) solvers scale to large MAPF instances by searching for MAPF plans on 2 levels: The high-level search resolves collisions between agents, and the low-level search plans paths for…

Artificial Intelligence · Computer Science 2017-03-08 Hang Ma , T. K. Satish Kumar , Sven Koenig

Heterogeneous computing is becoming mainstream in all scopes. This new era in computer architecture brings a new paradigm called Accelerator Level Parallelism (ALP). In ALP, accelerators are used concurrently to provide unprecedented levels…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-22 Pablo Antonio Martínez , Gregorio Bernabé , Jose Manuel García

Safe and efficient path planning in parking scenarios presents a significant challenge due to the presence of cluttered environments filled with static and dynamic obstacles. To address this, we propose a novel and computationally efficient…

Consider a general path planning problem of a robot on a graph with edge costs, and where each node has a Boolean value of success or failure (with respect to some task) with a given probability. The objective is to plan a path for the…

Robotics · Computer Science 2018-08-22 Arjun Muralidharan , Yasamin Mostofi