no code implementations • 18 Mar 2024 • Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiří Švancara, Philipp Wanko
We present alternative approaches to routing and scheduling in Answer Set Programming (ASP), and explore them in the context of Multi-agent Path Finding.
no code implementations • 6 Aug 2021 • Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
Over the last decades the development of ASP has brought about an expressive modeling language powered by highly performant systems.
1 code implementation • 15 Aug 2020 • Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
This is arguably due to its attractive modeling-grounding-solving workflow that provides an easy approach to problem solving, even for laypersons outside computer science.
1 code implementation • 19 Mar 2020 • Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
We present a solution to real-world train scheduling problems, involving routing, scheduling, and optimization, based on Answer Set Programming (ASP).
no code implementations • 9 Mar 2020 • Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
Characterizing hybrid ASP solving in a generic way is difficult since one needs to abstract from specific theories.
no code implementations • 17 Feb 2020 • Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
We elaborate upon the formal foundations of hybrid Answer Set Programming (ASP) and extend its underlying logical framework with aggregate functions over constraint values and variables.
no code implementations • 7 May 2019 • Philipp Wanko
The design of embedded systems, that are ubiquitously used in mobile devices and cars, is becoming continuously more complex such that efficient system-level design methods are becoming crucial.
no code implementations • 13 Jul 2017 • Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (ASP) with theory reasoning capabilities.