135 citations · 193 across the 5 of their papers we have counts for
8 papers · 1 filter
Efficient lifting of symmetry breaking constraints for complex combinatorial problems
Alice Tarzariol, Martin Gebser, Mark Law +1
Many industrial applications require finding solutions to challenging combinatorial problems. Efficient elimination of symmetric solution candidates is one of the key enablers for…
Aggregate Semantics for Propositional Answer Set Programs
Mario Alviano, Wolfgang Faber, Martin Gebser
Answer Set Programming (ASP) emerged in the late 1990ies as a paradigm for Knowledge Representation and Reasoning. The attractiveness of ASP builds on an expressive high-level mode…
ASP-Core-2 Input Language Format
Francesco Calimeri, Wolfgang Faber, Martin Gebser +7
Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual…
The Seventh Answer Set Programming Competition: Design and Results
Martin Gebser, Marco Maratea, Francesco Ricca
Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized i…
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann +2
Automated storage and retrieval systems are principal components of modern production and warehouse facilities. In particular, automated guided vehicles nowadays substitute human-o…
Experimenting with robotic intra-logistics domains
Martin Gebser, Philipp Obermeier, Thomas Otto +4
We introduce the asprilo [1] framework to facilitate experimental studies of approaches addressing complex dynamic applications. For this purpose, we have chosen the domain of robo…