|
|
|
|
|
Pedro Cabalar, Jorge Fandinno, Torsten Schaub and Philipp Wanko
Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing t...
ver más
|
|
|
|
|
|
|
|
|
|
|
Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub and Philipp Wanko
We address the problem of evolutionary system design (ESD) by means of answer set programming modulo difference constraints (AMT). The goal of this design approach is to synthesize new product variants or generations from existing products. We start by f...
ver más
|
|
|
|
|
|
|
|
|
|
|
David Rajaratnam, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu and Tran Cao Son
A warehouse delivery problem consists of a set of robots that undertake delivery jobs within a warehouse. Items are moved around the warehouse in response to events. A solution to a warehouse delivery problem is a collision-free schedule of robot movemen...
ver más
|
|
|
|
|
|