activity
20132018
most citedAnswer Set Programming for Stream Reasoning

10 citations · 17 across the 5 of their papers we have counts for

collaborators

6 papers

cs.AI2018

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…

cs.AI2018

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…

cs.PL2015

Interactive Answer Set Programming - Preliminary Report

Martin Gebser, Phillip Obermeier, Torsten Schaub

Traditional Answer Set Programming (ASP) rests upon one-shot solving. A logic program is fed into an ASP system and its stable models are computed. The high practical relevance of…

cs.AI2013★ 3 cited

A System for Interactive Query Answering with Answer Set Programming

Martin Gebser, Philipp Obermeier, Torsten Schaub

Reactive answer set programming has paved the way for incorporating online information into operative solving processes. Although this technology was originally devised for dealing…

cs.RO2013★ 4 cited

ROSoClingo: A ROS package for ASP-based robot control

Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu +2

Knowledge representation and reasoning capacities are vital to cognitive robotics because they provide higher level cognitive functions for reasoning about actions, environments, g…

cs.AI2013★ 10 cited

Answer Set Programming for Stream Reasoning

Martin Gebser, Torsten Grote, Roland Kaminski +3

The advance of Internet and Sensor technology has brought about new challenges evoked by the emergence of continuous data streams. Beyond rapid data processing, application areas l…