10 citations · 10 across the 1 of their papers we have counts for
2 papers
cs.AI2016
Grounding Recursive Aggregates: Preliminary Report
Martin Gebser, Roland Kaminski, Torsten Schaub
Problem solving in Answer Set Programming consists of two steps, a first grounding phase, systematically replacing all variables by terms, and a second solving phase computing the…
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…