72 citations · 72 across the 2 of their papers we have counts for
2 papers
cs.PL2015★ 72 cited
Abstract Gringo
Martin Gebser, Amelia Harrison, Roland Kaminski +2
This paper defines the syntax and semantics of the input language of the ASP grounder GRINGO. The definition covers several constructs that were not discussed in earlier work on th…
cs.LO2010
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
Martin Gebser, Torsten Schaub, Sven Thiele +1
We introduce an approach to detecting inconsistencies in large biological networks by using Answer Set Programming (ASP). To this end, we build upon a recently proposed notion of c…