no code implementations • 16 Feb 2024 • Tomáš Balyo, Martin Suda, Lukáš Chrpa, Dominik Šafránek, Filip Dvořák, Roman Barták, G. Michael Youngblood
In one level (L1), the states in the traces are labeled with action names, so we can deduce the number and names of the actions, but we still need to work out the number and types of parameters.
no code implementations • 16 Feb 2024 • Slavomír Švancár, Lukáš Chrpa, Filip Dvořák, Tomáš Balyo
The global food delivery market provides many opportunities for AI-based services that can improve the efficiency of feeding the world.
no code implementations • 16 Feb 2024 • Tomáš Balyo, G. Michael Youngblood, Filip Dvořák, Lukáš Chrpa, Roman Barták
In this paper, we propose a method and workflow for automating regression testing of certain video game aspects using automated planning and incremental action model learning techniques.
no code implementations • 22 Jul 2023 • Marco De Bortoli, Lukáš Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
Temporal planning is an extension of classical planning involving concurrent execution of actions and alignment with temporal constraints.
no code implementations • 11 Aug 2021 • Wolfgang Faber, Michael Morak, Lukáš Chrpa
In particular, we leverage an existing translation from PDDL to Answer Set Programming (ASP), and then use several different encodings to tackle the problem of action reversibility for the STRIPS fragment of PDDL.