72 citations · 76 across the 7 of their papers we have counts for
7 papers
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…
ASP modulo CSP: The clingcon system
Max Ostrowski, Torsten Schaub
We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming (ASP) with technique…
Automatic Network Reconstruction using ASP
Max Ostrowski, Torsten Schaub, Markus Durzinsky +2
Building biological models by inferring functional dependencies from experimental data is an im- portant issue in Molecular Biology. To relieve the biologist from this traditionall…
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…
Graphs and colorings for answer set programming
Kathrin Konczak, Thomas Linke, Torsten Schaub
We investigate the usage of rule dependency graphs and their colorings for characterizing and computing answer sets of logic programs. This approach provides us with insights into…
A semantic framework for preference handling in answer set programming
Torsten Schaub, Kewen Wang
We provide a semantic framework for preference handling in answer set programming. To this end, we introduce preference preserving consequence operators. The resulting fixpoint cha…