×

zbMATH — the first resource for mathematics

Gebser, Martin

Compute Distance To:
Author ID: gebser.martin Recent zbMATH articles by "Gebser, Martin"
Published as: Gebser, Martin
External Links: ORCID · dblp
Documents Indexed: 56 Publications since 2005, including 1 Book

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 340 times in 217 Documents Cited by Year
Conflict-driven answer set solving: from theory to practice. Zbl 1251.68060
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
60
2012
Potassco: the Potsdam answer set solving collection. Zbl 1215.68214
Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius
41
2011
Conflict-driven answer set enumeration. Zbl 1149.68332
Gebser, Martin; Kaufmann, Benjamin; Neumann, André; Schaub, Torsten
36
2007
Design and results of the Fifth Answer Set Programming Competition. Zbl 1344.68042
Calimeri, Francesco; Gebser, Martin; Maratea, Marco; Ricca, Francesco
16
2016
Engineering an incremental ASP solver. Zbl 1185.68159
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten; Thiele, Sven
15
2008
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
15
2015
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
12
2011
Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe
11
2011
Solution enumeration for projected Boolean search problems. Zbl 1241.68100
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
10
2009
Constraint answer set solving. Zbl 1251.68061
Gebser, Martin; Ostrowski, Max; Schaub, Torsten
10
2009
The nomore++ approach to answer set solving. Zbl 1143.68584
Anger, Christian; Gebser, Martin; Linke, Thomas; Neumann, André; Schaub, Torsten
7
2005
Debugging ASP programs by means of ASP. Zbl 1149.68326
Brain, Martin; Gebser, Martin; Pührer, Jörg; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
7
2007
The Sixth Answer Set Programming Competition. Zbl 1418.68030
Gebser, Martin; Maratea, Marco; Ricca, Francesco
7
2017
Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034
Alviano, Mario; Faber, Wolfgang; Gebser, Martin
7
2015
Tableau calculi for answer set programming. Zbl 1131.68375
Gebser, Martin; Schaub, Torsten
6
2006
Reactive answer set programming. Zbl 1327.68063
Gebser, Martin; Grote, Torsten; Kaminski, Roland; Schaub, Torsten
6
2011
On the implementation of weight constraint rules in conflict-driven ASP solvers. Zbl 1251.68059
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
6
2009
Answer set programming as SAT modulo acyclicity. Zbl 1366.68017
Gebser, Martin; Janhunen, Tomi; Rintanen, Jussi
6
2014
Improving the normalization of weight rules in answer set programs. Zbl 1432.68056
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi
6
2014
Multi-threaded ASP solving with clasp. Zbl 1260.68061
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
5
2012
Multi-criteria optimization in answer set programming. Zbl 1245.68052
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
5
2011
Alternative characterizations for program equivalence under answer-set semantics based on unfounded sets. Zbl 1138.68559
Gebser, Martin; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
4
2008
Head-elementary-set-free logic programs. Zbl 1149.68333
Gebser, Martin; Lee, Joohyung; Lierler, Yuliya
4
2007
An incremental answer set programming based system for finite model computation. Zbl 1215.68209
Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten
4
2011
Detecting inconsistencies in large biological networks with answer set programming. Zbl 1185.92052
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Usadel, Björn; Veber, Philippe
3
2008
Generic tableaux for answer set programming. Zbl 1213.68176
Gebser, Martin; Schaub, Torsten
3
2007
Coala: a compiler from action languages to ASP. Zbl 1306.68014
Gebser, Martin; Grote, Torsten; Schaub, Torsten
3
2010
The design of the Sixth Answer Set Programming Competition – report. Zbl 1418.68028
Gebser, Martin; Maratea, Marco; Ricca, Francesco
3
2015
SAT modulo graphs: acyclicity. Zbl 1432.68328
Gebser, Martin; Janhunen, Tomi; Rintanen, Jussi
3
2014
Ricochet Robots reloaded: a case-study in multi-shot ASP solving. Zbl 1432.68414
Gebser, Martin; Kaminski, Roland; Obermeier, Philipp; Schaub, Torsten
3
2015
Loops: Relevant or redundant? Zbl 1152.68409
Gebser, Martin; Schaub, Torsten
2
2005
Monotonic answer set programming. Zbl 1180.68100
Gebser, Martin; Gharib, Mona; Mercer, Robert; Schaub, Torsten
2
2009
Tableau calculi for logic programs under answer set semantics. Zbl 1353.68037
Gebser, Martin; Schaub, Torsten
2
2013
Answer set programming modulo acyclicity. Zbl 1370.68044
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten
2
2015
On elementary loops of logic programs. Zbl 1242.68050
Gebser, Martin; Lee, Joohyung; Lierler, Yuliya
2
2011
Learning Boolean logic models of signaling networks with ASP. Zbl 1330.92050
Videla, Santiago; Guziolowski, Carito; Eduati, Federica; Thiele, Sven; Gebser, Martin; Nicolas, Jacques; Saez-Rodriguez, Julio; Schaub, Torsten; Siegel, Anne
1
2015
Symbolic system synthesis using answer set programming. Zbl 1405.68037
Andres, Benjamin; Gebser, Martin; Schaub, Torsten; Haubelt, Christian; Reimann, Felix; Glaß, Michael
1
2013
Extending the metabolic network of Ectocarpus siliculosus using answer set programming. Zbl 1405.68046
Collet, Guillaume; Eveillard, Damien; Gebser, Martin; Prigent, Sylvain; Schaub, Torsten; Siegel, Anne; Thiele, Sven
1
2013
The design of the Seventh Answer Set Programming Competition. Zbl 1418.68029
Gebser, Martin; Maratea, Marco; Ricca, Francesco
1
2017
Shift design with answer set programming. Zbl 1373.68169
Abseher, Michael; Gebser, Martin; Musliu, Nysret; Schaub, Torsten; Woltran, Stefan
1
2016
Answer set programming modulo acyclicity. Zbl 1373.68170
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten
1
2016
The Sixth Answer Set Programming Competition. Zbl 1418.68030
Gebser, Martin; Maratea, Marco; Ricca, Francesco
7
2017
The design of the Seventh Answer Set Programming Competition. Zbl 1418.68029
Gebser, Martin; Maratea, Marco; Ricca, Francesco
1
2017
Design and results of the Fifth Answer Set Programming Competition. Zbl 1344.68042
Calimeri, Francesco; Gebser, Martin; Maratea, Marco; Ricca, Francesco
16
2016
Shift design with answer set programming. Zbl 1373.68169
Abseher, Michael; Gebser, Martin; Musliu, Nysret; Schaub, Torsten; Woltran, Stefan
1
2016
Answer set programming modulo acyclicity. Zbl 1373.68170
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten
1
2016
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
15
2015
Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034
Alviano, Mario; Faber, Wolfgang; Gebser, Martin
7
2015
The design of the Sixth Answer Set Programming Competition – report. Zbl 1418.68028
Gebser, Martin; Maratea, Marco; Ricca, Francesco
3
2015
Ricochet Robots reloaded: a case-study in multi-shot ASP solving. Zbl 1432.68414
Gebser, Martin; Kaminski, Roland; Obermeier, Philipp; Schaub, Torsten
3
2015
Answer set programming modulo acyclicity. Zbl 1370.68044
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten
2
2015
Learning Boolean logic models of signaling networks with ASP. Zbl 1330.92050
Videla, Santiago; Guziolowski, Carito; Eduati, Federica; Thiele, Sven; Gebser, Martin; Nicolas, Jacques; Saez-Rodriguez, Julio; Schaub, Torsten; Siegel, Anne
1
2015
Answer set programming as SAT modulo acyclicity. Zbl 1366.68017
Gebser, Martin; Janhunen, Tomi; Rintanen, Jussi
6
2014
Improving the normalization of weight rules in answer set programs. Zbl 1432.68056
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi
6
2014
SAT modulo graphs: acyclicity. Zbl 1432.68328
Gebser, Martin; Janhunen, Tomi; Rintanen, Jussi
3
2014
Tableau calculi for logic programs under answer set semantics. Zbl 1353.68037
Gebser, Martin; Schaub, Torsten
2
2013
Symbolic system synthesis using answer set programming. Zbl 1405.68037
Andres, Benjamin; Gebser, Martin; Schaub, Torsten; Haubelt, Christian; Reimann, Felix; Glaß, Michael
1
2013
Extending the metabolic network of Ectocarpus siliculosus using answer set programming. Zbl 1405.68046
Collet, Guillaume; Eveillard, Damien; Gebser, Martin; Prigent, Sylvain; Schaub, Torsten; Siegel, Anne; Thiele, Sven
1
2013
Conflict-driven answer set solving: from theory to practice. Zbl 1251.68060
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
60
2012
Multi-threaded ASP solving with clasp. Zbl 1260.68061
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
5
2012
Potassco: the Potsdam answer set solving collection. Zbl 1215.68214
Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius
41
2011
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
12
2011
Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe
11
2011
Reactive answer set programming. Zbl 1327.68063
Gebser, Martin; Grote, Torsten; Kaminski, Roland; Schaub, Torsten
6
2011
Multi-criteria optimization in answer set programming. Zbl 1245.68052
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
5
2011
An incremental answer set programming based system for finite model computation. Zbl 1215.68209
Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten
4
2011
On elementary loops of logic programs. Zbl 1242.68050
Gebser, Martin; Lee, Joohyung; Lierler, Yuliya
2
2011
Coala: a compiler from action languages to ASP. Zbl 1306.68014
Gebser, Martin; Grote, Torsten; Schaub, Torsten
3
2010
Solution enumeration for projected Boolean search problems. Zbl 1241.68100
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
10
2009
Constraint answer set solving. Zbl 1251.68061
Gebser, Martin; Ostrowski, Max; Schaub, Torsten
10
2009
On the implementation of weight constraint rules in conflict-driven ASP solvers. Zbl 1251.68059
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
6
2009
Monotonic answer set programming. Zbl 1180.68100
Gebser, Martin; Gharib, Mona; Mercer, Robert; Schaub, Torsten
2
2009
Engineering an incremental ASP solver. Zbl 1185.68159
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten; Thiele, Sven
15
2008
Alternative characterizations for program equivalence under answer-set semantics based on unfounded sets. Zbl 1138.68559
Gebser, Martin; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
4
2008
Detecting inconsistencies in large biological networks with answer set programming. Zbl 1185.92052
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Usadel, Björn; Veber, Philippe
3
2008
Conflict-driven answer set enumeration. Zbl 1149.68332
Gebser, Martin; Kaufmann, Benjamin; Neumann, André; Schaub, Torsten
36
2007
Debugging ASP programs by means of ASP. Zbl 1149.68326
Brain, Martin; Gebser, Martin; Pührer, Jörg; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
7
2007
Head-elementary-set-free logic programs. Zbl 1149.68333
Gebser, Martin; Lee, Joohyung; Lierler, Yuliya
4
2007
Generic tableaux for answer set programming. Zbl 1213.68176
Gebser, Martin; Schaub, Torsten
3
2007
Tableau calculi for answer set programming. Zbl 1131.68375
Gebser, Martin; Schaub, Torsten
6
2006
The nomore++ approach to answer set solving. Zbl 1143.68584
Anger, Christian; Gebser, Martin; Linke, Thomas; Neumann, André; Schaub, Torsten
7
2005
Loops: Relevant or redundant? Zbl 1152.68409
Gebser, Martin; Schaub, Torsten
2
2005
all top 5

Cited by 359 Authors

23 Schaub, Torsten H.
15 Gebser, Martin
13 Woltran, Stefan
12 Alviano, Mario
12 Eiter, Thomas
11 Dodaro, Carmine
10 Lierler, Yuliya
9 Lifschitz, Vladimir
9 Maratea, Marco
9 Ricca, Francesco
8 Kaminski, Roland
8 Leone, Nicola
7 Cabalar, Pedro
7 Janhunen, Tomi
7 Kaufmann, Benjamin
7 Lindauer, Marius
6 Faber, Wolfgang
6 Fandinno, Jorge
6 Schüller, Peter
5 Amendola, Giovanni
5 Fichte, Johannes Klaus
5 Fink, Michael
5 Harrison, Amelia
5 Hoos, Holger H.
5 Krennwallner, Thomas
5 Morak, Michael
5 Ostrowski, Max
5 Wallner, Johannes Peter
4 Erdem, Esra
4 Gaggl, Sarah Alice
4 Garcia, Laurent
4 Gelfond, Michael
4 Gottlob, Georg
4 Hutter, Frank
4 Ianni, Giovambattista
4 Järvisalo, Matti
4 Leyton-Brown, Kevin
4 Pontelli, Enrico
4 Pührer, Jörg
4 Redl, Christoph
4 Schekotihin, Konstantin
4 Tompits, Hans
4 Truszczyński, Mirosław
4 Zhang, Yan
4 Zhang, Yuanlin
4 Zhou, Yi
3 Aguado, Felicidad
3 Antoniou, Grigoris
3 Beck, Harald
3 De Cock, Martine
3 Diéguez, Martín
3 Dovier, Agostino
3 Dvořák, Wolfgang
3 Giunchiglia, Enrico
3 Gonçalves, Ricardo
3 Knorr, Matthias
3 Lee, Joohyung
3 Lefèvre, Claire
3 Leite, João
3 Lin, Fangzhen
3 Pérez, Gilberto
3 Perri, Simona
3 Remmel, Jeffrey B.
3 Schockaert, Steven
3 Schulz, Claudia
3 Stéphan, Igor
3 Vidal, Concepción
3 Wanko, Philipp
3 Weinzierl, Antonius
3 You, Jia-Huai
3 Zangari, Jessica
2 Analyti, Anastasia
2 Asuncion, Vernon
2 Banbara, Mutsunori
2 Batsakis, Sotiris
2 Béatrix, Christopher
2 Bichler, Manuel
2 Bogaerts, Bart
2 Calimeri, Francesco
2 Chen, Yin
2 Confalonieri, Roberto
2 Corander, Jukka
2 Dao-Tran, Minh
2 Denecker, Marc
2 Ellmauthaler, Stefan
2 Fassetti, Fabio
2 Friedrich, Gerhard E.
2 Gasteiger, Philip
2 Gavanelli, Marco
2 Hecher, Markus
2 Ji, Jianmin
2 Kutz, Oliver
2 Law, Mark M.
2 Linsbichler, Thomas
2 Manthey, Norbert
2 Marek, V. Wiktor
2 Marquis, Pierre
2 Nicolas, Pascal
2 Nyman, Henrik
2 Oetsch, Johannes
...and 259 more Authors

Citations by Year