Searching for authors named "Martin Gebser" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Loops: Relevant or redundant
- …Loops: Relevant or Redundant? Martin Gebser and Torsten Schaub Institut für Informatik…
- Cited by 5 (4 self) – Add To MetaCart
-
T.: Tableau calculi for answer set programming
- …Tableau Calculi for Answer Set Programming Martin Gebser and Torsten Schaub Institut für…
- Cited by 6 (4 self) – Add To MetaCart
-
T.: Characterizing ASP inferences by unit propagation
- …Characterizing ASP Inferences by Unit Propagation Martin Gebser and Torsten Schaub ⋆ Institut für…
- Cited by 1 (0 self) – Add To MetaCart
-
Approaching the core of unfounded sets
- …Approaching the Core of Unfounded Sets Christian Anger and Martin Gebser and Torsten Schaub…
- Cited by 8 (6 self) – Add To MetaCart
-
T.: Conflict-driven answer set enumeration. This volume
- …Conflict-Driven Answer Set Enumeration Martin Gebser, Benjamin Kaufmann, André Neumann…
- Cited by 1 (1 self) – Add To MetaCart
-
T.: Incremental answer sets and their computation
- …Incremental Answer Sets and Their Computation Martin Gebser, Mona Gharib, and Torsten Schaub…
- Cited by 1 (1 self) – Add To MetaCart
-
Y.: Head-elementary-set-free logic programs
- …Head-Elementary-Set-Free Logic Programs Martin Gebser 1 , Joohyung Lee 2 , and Yuliya Lierler 3 1…
- Cited by 1 (1 self) – Add To MetaCart
-
T.: Conflict-driven answer set solving
- …Conflict-Driven Answer Set Solving Martin Gebser and Benjamin Kaufmann and André Neumann…
- Cited by 14 (6 self) – Add To MetaCart
-
clasp: A conflict-driven answer set solver
- …clasp: A Conflict-Driven Answer Set Solver Martin Gebser, Benjamin Kaufmann, André Neumann…
- Cited by 10 (2 self) – Add To MetaCart
-
S.: Gringo: A new grounder for answer set programming
- …GrinGo: A New Grounder for Answer Set Programming Martin Gebser, Torsten Schaub ⋆ , and Sven…
- Cited by 5 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
