135 citations · 329 across the 25 of their papers we have counts for
3 papers · 1 filter
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…
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Mutsunori Banbara, Martin Gebser, Katsumi Inoue +4
Encoding finite linear CSPs as Boolean formulas and solving them by using modern SAT solvers has proven to be highly effective, as exemplified by the award-winning sugar system. We…
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…