×
Compute Distance To:
Author ID: schaub.torsten-h Recent zbMATH articles by "Schaub, Torsten H."
Published as: Schaub, Torsten; Schaub, T.; Schaub, Torsten H.
all top 5

Co-Authors

6 single-authored
43 Gebser, Martin
26 Delgrande, James P.
22 Kaminski, Roland
16 Tompits, Hans
15 Kaufmann, Benjamin
13 Woltran, Stefan
11 Ostrowski, Max
10 Besnard, Philippe
9 Cabalar, Pedro
9 Romero, Javier
8 Linke, Thomas
8 Wanko, Philipp
7 Janhunen, Tomi
7 Thiele, Sven
6 Fandinno, Jorge
6 Schellhorn, Sebastian
5 Andres, Benjamin
5 Banbara, Mutsunori
5 Brüning, Stefan
5 Lühne, Patrick
5 Siegel, Anne
4 Hoos, Holger H.
4 Inoue, Katsumi
4 Lifschitz, Vladimir
4 Soh, Takehide
4 Tamura, Naoyuki
3 Konczak, Kathrin
3 Lindauer, Marius
3 Mercer, Robert E.
3 Sabuncu, Orkunt
3 Selbig, Joachim
2 Abels, Dirk
2 Abseher, Michael
2 Anger, Christian
2 Benhammadi, F.
2 Bertossi, Leopoldo E.
2 Bomanson, Jori
2 Diéguez, Martín
2 Dimopoulos, Yannis
2 Frioux, Clémence
2 Grell, Susanne
2 Grote, Torsten
2 Guziolowski, Carito
2 Haubelt, Christian
2 Hermenegildo, Manuel V.
2 Hunter, Anthony
2 Jordi, Julian
2 Mileo, Alessandra
2 Musliu, Nysret
2 Neumann, André
2 Okimoto, Tenda
2 Sarsakov, Vladimir
2 Schneider, Marius Thomas
2 Schuhmann, Anna
2 Thielscher, Michael
2 Toletti, Ambra
2 Veber, Philippe
2 Vicol, Paul A.
2 Videla, Santiago
1 Antoniou, Grigoris
1 Becker, Bernd
1 Bibel, Wolfgang
1 Biewer, Alexander
1 Bisiani, Roberto
1 Borchert, Paul
1 Bourdon, Jérémie
1 Brain, Martin
1 Brewka, Gerhard
1 Calimeri, Francesco
1 Collet, Guillaume
1 Durzinsky, Markus
1 Dworschak, Steve
1 Eduati, Federica
1 Erdem, Esra
1 Eveillard, Damien
1 Everardo, Flavio
1 Faber, Wolfgang
1 Fanselow, G.
1 Flöter, André
1 Flouris, Giorgos
1 Friedrich, Gerhard E.
1 Garea, Javier
1 Gharib, Mona
1 Glass, Michael S.
1 Gressmann, Jean
1 Harrison, Amelia
1 Hunter, Aaron
1 Ianni, Giovambattista
1 Jackson, W. Ken
1 Jost, Holger
1 Kaneyuki, Hiromasa
1 Kaufmann, Roland
1 Krennwallner, Thomas
1 Laferriere, Francois
1 Leone, Nicola
1 Leyton-Brown, Kevin
1 Lin, Fangzhen
1 Liu, Daphne H.
1 Maratea, Marco
1 Marwan, Wolfgang
...and 29 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

114 Publications have been cited 793 times in 452 Documents Cited by Year
Conflict-driven answer set solving: from theory to practice. Zbl 1251.68060
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
89
2012
Potassco: the Potsdam answer set solving collection. Zbl 1215.68214
Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius
49
2011
Conflict-driven answer set enumeration. Zbl 1149.68332
Gebser, Martin; Kaufmann, Benjamin; Neumann, André; Schaub, Torsten
42
2007
Multi-shot ASP solving with clingo. Zbl 1486.68027
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
36
2019
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
24
2015
Alternative approaches to default logic. Zbl 0817.03011
Delgrande, James P.; Schaub, Torsten; Jackson, W. Ken
23
1994
Unsatisfiability-based optimization in clasp. Zbl 1281.68204
Andres, Benjamin; Kaufmann, Benjamin; Matheis, Oliver; Schaub, Torsten
22
2012
Progress in clasp series 3. Zbl 1467.68181
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Romero, Javier; Schaub, Torsten
18
2015
Engineering an incremental ASP solver. Zbl 1185.68159
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten; Thiele, Sven
18
2008
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
15
2011
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
14
2014
Merging logic programs under answer set semantics. Zbl 1251.68057
Delgrande, James; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
14
2009
Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe
14
2011
ASP-Core-2 input language format. Zbl 1472.68180
Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten
14
2020
Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Zbl 1175.68008
13
2009
A consistency-based approach for belief change. Zbl 1082.68818
Delgrande, James P.; Schaub, Torsten
13
2003
Solution enumeration for projected Boolean search problems. Zbl 1241.68100
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
13
2009
Introduction to inconsistency tolerance. Zbl 1111.68667
Bertossi, Leopoldo; Hunter, Anthony; Schaub, Torsten
12
2004
A framework for compiling preferences in logic programs. Zbl 1105.68323
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
12
2003
A new methodology for query answering in default logics via structure-oriented theorem proving. Zbl 0842.68075
Schaub, T.
11
1995
Constraint answer set solving. Zbl 1251.68061
Gebser, Martin; Ostrowski, Max; Schaub, Torsten
11
2009
ASP modulo CSP: the clingcon system. Zbl 1260.68066
Ostrowski, Max; Schaub, Torsten
11
2012
Answer set programming as a modeling language for course timetabling. Zbl 1286.68040
Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten
10
2013
Expressing preferences in default logic. Zbl 0952.68134
Delgrande, J. P.; Schaub, T.
9
2000
clingcon: the next generation. Zbl 1379.68040
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten
9
2017
Debugging ASP programs by means of ASP. Zbl 1149.68326
Brain, Martin; Gebser, Martin; Pührer, Jörg; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
9
2007
Signed systems for paraconsistent reasoning. Zbl 0893.68149
Besnard, Ph.; Schaub, T.
8
1998
Multi-criteria optimization in answer set programming. Zbl 1245.68052
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
8
2011
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: Preliminary report. Zbl 1045.68519
Pearce, David; Sarsakov, Vladimir; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
7
2002
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
7
2017
A model-theoretic approach to belief change in answer set programming. Zbl 1353.68261
Delgrande, James; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
7
2013
Reactive answer set programming. Zbl 1327.68063
Gebser, Martin; Grote, Torsten; Kaminski, Roland; Schaub, Torsten
7
2011
The nomore++ approach to answer set solving. Zbl 1143.68584
Anger, Christian; Gebser, Martin; Linke, Thomas; Neumann, André; Schaub, Torsten
7
2005
Graphs and colorings for answer set programming. Zbl 1109.68081
Konczak, Kathrin; Linke, Thomas; Schaub, Torsten
6
2006
Verifying strong equivalence of programs in the input language of gringo. Zbl 07115980
Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten
6
2019
A preference-based framework for updating logic programs. Zbl 1149.68328
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
6
2007
Inconsistency tolerance. Zbl 1063.68001
6
2004
Modeling biological networks by action languages via answer set programming. Zbl 1148.68564
Dworschak, Steve; Grell, Susanne; Nikiforova, Victoria J.; Schaub, Torsten; Selbig, Joachim
6
2008
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
On computing belief change operations using quantified Boolean formulas. Zbl 1066.03028
Delgrande, James P.; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
6
2004
An incremental answer set programming based system for finite model computation. Zbl 1215.68209
Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten
6
2011
Tableau calculi for answer set programming. Zbl 1131.68375
Gebser, Martin; Schaub, Torsten
6
2006
Two approaches to merging knowledge bases. Zbl 1111.68670
Delgrande, James P.; Schaub, Torsten
5
2004
Shift design with answer set programming. Zbl 1373.68169
Abseher, Michael; Gebser, Martin; Musliu, Nysret; Schaub, Torsten; Woltran, Stefan
5
2016
Answer set programming modulo acyclicity. Zbl 1373.68170
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten
5
2016
Multi-threaded ASP solving with clasp. Zbl 1260.68061
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
5
2012
Alternative foundations for Reiter’s default logic. Zbl 0952.68135
Linke, T.; Schaub, T.
4
2000
Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten
4
2017
Minimal intervention strategies in logical signaling networks with ASP. Zbl 1286.68048
Kaminski, Roland; Schaub, Torsten; Siegel, Anne; Videla, Santiago
4
2013
Compiling specificity into approaches to nonmonotonic reasoning. Zbl 1017.03512
Delgrande, James P.; Schaub, Torsten H.
4
1997
Train scheduling with hybrid ASP. Zbl 07115961
Abels, Dirk; Jordi, Julian; Ostrowski, Max; Schaub, Torsten; Toletti, Ambra; Wanko, Philipp
4
2019
plasp 3: towards effective ASP planning. Zbl 1491.68190
Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten
4
2017
aspeed: solver scheduling via answer set programming. Zbl 1379.68283
Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
4
2015
Default reasoning by deductive planning. Zbl 0842.68080
Thielscher, Michael; Schaub, Torsten
4
1995
Answer set programming modulo acyclicity. Zbl 1370.68044
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten
4
2015
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
COBA 2.0: A consistency-based belief change system. Zbl 1148.68492
Delgrande, James P.; Liu, Daphne H.; Schaub, Torsten; Thiele, Sven
4
2007
Ricochet Robots reloaded: a case-study in multi-shot ASP solving. Zbl 1432.68414
Gebser, Martin; Kaminski, Roland; Obermeier, Philipp; Schaub, Torsten
3
2015
Coala: a compiler from action languages to ASP. Zbl 1306.68014
Gebser, Martin; Grote, Torsten; Schaub, Torsten
3
2010
telingo = ASP + time. Zbl 07115979
Cabalar, Pedro; Kaminski, Roland; Morkisch, Philip; Schaub, Torsten
3
2019
Temporal answer set programming on finite traces. Zbl 1451.68256
Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna
3
2018
Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories. Zbl 1274.03050
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
3
2003
Assertional default theories: A semantical view. Zbl 0766.68123
Schaub, Torsten
3
1991
An approach to context-based default reasoning. Zbl 0826.68114
Besnard, Philippe; Schaub, Torsten
3
1995
Tableau calculi for logic programs under answer set semantics. Zbl 1353.68037
Gebser, Martin; Schaub, Torsten
3
2013
Integrating ASP into ROS for reasoning in robots. Zbl 1467.68187
Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten
3
2015
Implementing preferences with asprin. Zbl 1467.68022
Brewka, Gerhard; Delgrande, James; Romero, Javier; Schaub, Torsten
3
2015
Representing paraconsistent reasoning via quantified propositional logic. Zbl 1111.68118
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
3
2004
A consistency-based framework for merging knowledge bases. Zbl 1122.68120
Delgrande, James P.; Schaub, Torsten
3
2007
On computing solutions to belief change scenarios. Zbl 1001.68549
Delgrande, James P.; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
3
2001
Automatic network reconstruction using ASP. Zbl 1219.92020
Durzinsky, Markus; Marwan, Wolfgang; Ostrowski, Max; Schaub, Torsten; Wagler, Annegret
3
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
teaspoon: solving the curriculum-based course timetabling problems with answer set programming. Zbl 1434.90049
Banbara, Mutsunori; Inoue, Katsumi; Kaufmann, Benjamin; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki; Wanko, Philipp
2
2019
Writing declarative specifications for clauses. Zbl 1483.68378
Gebser, Martin; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten; Tasharrofi, Shahab
2
2016
Skeptical query-answering in constrained default logic. Zbl 1419.68132
Schaub, Torsten; Thielscher, Michael
2
1996
aspeed: ASP-based solver scheduling. Zbl 1281.68206
Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius
2
2012
A compilation of Brewka and Eiter’s approach to prioritization. Zbl 0998.68167
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
2
2000
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
Paraconsistent reasoning via quantified Boolean formulas. I: Axiomatising signed systems. Zbl 1013.03023
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
2
2002
COBA: a consistency-based belief revision system. Zbl 1014.68628
Delgrande, James P.; Hunter, Aaron; Schaub, Torsten
2
2002
Gelfond-Zhang aggregates as propositional formulas. Zbl 1491.68198
Cabalar, Pedro; Fandinno, Jorge; Schaub, Torsten; Schellhorn, Sebastian
2
2017
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
2
2015
nlp: a compiler for nested logic programming. Zbl 1122.68390
Sarsakov, Vladimir; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
2
2004
A general framework for expressing preferences in causal reasoning and planning. Zbl 1132.68051
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
2
2007
Possible worlds semantics for default logics. Zbl 0814.68119
Besnard, Philippe; Schaub, Torsten
2
1994
Gelfond-Zhang aggregates as propositional formulas. Zbl 1478.68363
Cabalar, Pedro; Fandinno, Jorge; Schaub, Torsten; Schellhorn, Sebastian
2
2019
An approach to query-answering in Reiter’s default logic and the underlying existence of extensions problem. Zbl 0928.03028
Linke, Thomas; Schaub, Torsten
2
1998
Expressing default logic variants in default logic. Zbl 1091.03010
Delgrande, James P.; Schaub, Torsten
2
2005
A semantic framework for preference handling in answer set programming. Zbl 1079.68016
Schaub, Torsten; Wang, Kewen
2
2003
Verifying tight logic programs with anthem and vampire. Zbl 1468.68127
Fandinno, Jorge; Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten
2
2020
eclingo: a solver for epistemic logic programs. Zbl 1468.68053
Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten
2
2020
plasp 3: towards effective ASP planning. Zbl 1472.68182
Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten
2
2019
The role of default logic in knowledge representation. Zbl 0979.68098
Delgrande, James P.; Schaub, Torsten
1
2000
\(\mathsf{XRay}\): a Prolog technology theorem prover for default reasoning: a system description. Zbl 1412.68258
Schaub, Torsten; Brüning, Stefan; Nicolas, Pascal
1
1996
Towards a classification of default logics. Zbl 0902.03014
Linke, Thomas; Schaub, Torsten
1
1997
The automation of reasoning with incomplete information. From semantic foundations to efficient computation. Zbl 0915.68154
Schaub, Torsten
1
1998
Optimality theory as a family of cumulative logics. Zbl 1014.03032
Besnard, Ph.; Fanselow, G.; Schaub, T.
1
2003
Towards dynamic answer set programming over finite traces. Zbl 07115972
Cabalar, Pedro; Diéguez, Martín; Schaub, Torsten
1
2019
Train scheduling with hybrid answer set programming. Zbl 07390873
Abels, Dirk; Jordi, Julian; Ostrowski, Max; Schaub, Torsten; Toletti, Ambra; Wanko, Philipp
1
2021
ASP-Core-2 input language format. Zbl 1472.68180
Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten
14
2020
Verifying tight logic programs with anthem and vampire. Zbl 1468.68127
Fandinno, Jorge; Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten
2
2020
eclingo: a solver for epistemic logic programs. Zbl 1468.68053
Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten
2
2020
Towards metric temporal answer set programming. Zbl 1468.68052
Cabalar, Pedro; Diéguez, Martín; Schaub, Torsten; Schuhmann, Anna
1
2020
Multi-shot ASP solving with clingo. Zbl 1486.68027
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
36
2019
Verifying strong equivalence of programs in the input language of gringo. Zbl 07115980
Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten
6
2019
Train scheduling with hybrid ASP. Zbl 07115961
Abels, Dirk; Jordi, Julian; Ostrowski, Max; Schaub, Torsten; Toletti, Ambra; Wanko, Philipp
4
2019
telingo = ASP + time. Zbl 07115979
Cabalar, Pedro; Kaminski, Roland; Morkisch, Philip; Schaub, Torsten
3
2019
teaspoon: solving the curriculum-based course timetabling problems with answer set programming. Zbl 1434.90049
Banbara, Mutsunori; Inoue, Katsumi; Kaufmann, Benjamin; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki; Wanko, Philipp
2
2019
Gelfond-Zhang aggregates as propositional formulas. Zbl 1478.68363
Cabalar, Pedro; Fandinno, Jorge; Schaub, Torsten; Schellhorn, Sebastian
2
2019
plasp 3: towards effective ASP planning. Zbl 1472.68182
Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten
2
2019
Towards dynamic answer set programming over finite traces. Zbl 07115972
Cabalar, Pedro; Diéguez, Martín; Schaub, Torsten
1
2019
The return of xorro. Zbl 07115981
Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten
1
2019
Lower bound founded logic of here-and-there. Zbl 07169128
Cabalar, Pedro; Fandinno, Jorge; Schaub, Torsten; Schellhorn, Sebastian
1
2019
Temporal answer set programming on finite traces. Zbl 1451.68256
Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna
3
2018
clingcon: the next generation. Zbl 1379.68040
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten
9
2017
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
7
2017
Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten
4
2017
plasp 3: towards effective ASP planning. Zbl 1491.68190
Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten
4
2017
Gelfond-Zhang aggregates as propositional formulas. Zbl 1491.68198
Cabalar, Pedro; Fandinno, Jorge; Schaub, Torsten; Schellhorn, Sebastian
2
2017
A tutorial on hybrid answer set solving with clingo. Zbl 1491.68217
Kaminski, Roland; Schaub, Torsten; Wanko, Philipp
1
2017
Shift design with answer set programming. Zbl 1373.68169
Abseher, Michael; Gebser, Martin; Musliu, Nysret; Schaub, Torsten; Woltran, Stefan
5
2016
Answer set programming modulo acyclicity. Zbl 1373.68170
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten
5
2016
Writing declarative specifications for clauses. Zbl 1483.68378
Gebser, Martin; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten; Tasharrofi, Shahab
2
2016
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
24
2015
Progress in clasp series 3. Zbl 1467.68181
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Romero, Javier; Schaub, Torsten
18
2015
aspeed: solver scheduling via answer set programming. Zbl 1379.68283
Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
4
2015
Answer set programming modulo acyclicity. Zbl 1370.68044
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten
4
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
Integrating ASP into ROS for reasoning in robots. Zbl 1467.68187
Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten
3
2015
Implementing preferences with asprin. Zbl 1467.68022
Brewka, Gerhard; Delgrande, James; Romero, Javier; Schaub, Torsten
3
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
2
2015
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
14
2014
ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Zbl 1296.68011
1
2014
Answer set programming as a modeling language for course timetabling. Zbl 1286.68040
Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten
10
2013
A model-theoretic approach to belief change in answer set programming. Zbl 1353.68261
Delgrande, James; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
7
2013
Minimal intervention strategies in logical signaling networks with ASP. Zbl 1286.68048
Kaminski, Roland; Schaub, Torsten; Siegel, Anne; Videla, Santiago
4
2013
Tableau calculi for logic programs under answer set semantics. Zbl 1353.68037
Gebser, Martin; Schaub, Torsten
3
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
89
2012
Unsatisfiability-based optimization in clasp. Zbl 1281.68204
Andres, Benjamin; Kaufmann, Benjamin; Matheis, Oliver; Schaub, Torsten
22
2012
ASP modulo CSP: the clingcon system. Zbl 1260.68066
Ostrowski, Max; Schaub, Torsten
11
2012
Multi-threaded ASP solving with clasp. Zbl 1260.68061
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
5
2012
aspeed: ASP-based solver scheduling. Zbl 1281.68206
Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius
2
2012
Potassco: the Potsdam answer set solving collection. Zbl 1215.68214
Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius
49
2011
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
15
2011
Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe
14
2011
Multi-criteria optimization in answer set programming. Zbl 1245.68052
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
8
2011
Reactive answer set programming. Zbl 1327.68063
Gebser, Martin; Grote, Torsten; Kaminski, Roland; Schaub, Torsten
7
2011
An incremental answer set programming based system for finite model computation. Zbl 1215.68209
Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten
6
2011
Automatic network reconstruction using ASP. Zbl 1219.92020
Durzinsky, Markus; Marwan, Wolfgang; Ostrowski, Max; Schaub, Torsten; Wagler, Annegret
3
2011
Coala: a compiler from action languages to ASP. Zbl 1306.68014
Gebser, Martin; Grote, Torsten; Schaub, Torsten
3
2010
Merging logic programs under answer set semantics. Zbl 1251.68057
Delgrande, James; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
14
2009
Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Zbl 1175.68008
13
2009
Solution enumeration for projected Boolean search problems. Zbl 1241.68100
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
13
2009
Constraint answer set solving. Zbl 1251.68061
Gebser, Martin; Ostrowski, Max; Schaub, Torsten
11
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
18
2008
Modeling biological networks by action languages via answer set programming. Zbl 1148.68564
Dworschak, Steve; Grell, Susanne; Nikiforova, Victoria J.; Schaub, Torsten; Selbig, Joachim
6
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
42
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
9
2007
A preference-based framework for updating logic programs. Zbl 1149.68328
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
6
2007
COBA 2.0: A consistency-based belief change system. Zbl 1148.68492
Delgrande, James P.; Liu, Daphne H.; Schaub, Torsten; Thiele, Sven
4
2007
A consistency-based framework for merging knowledge bases. Zbl 1122.68120
Delgrande, James P.; Schaub, Torsten
3
2007
Generic tableaux for answer set programming. Zbl 1213.68176
Gebser, Martin; Schaub, Torsten
3
2007
A general framework for expressing preferences in causal reasoning and planning. Zbl 1132.68051
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
2
2007
Graphs and colorings for answer set programming. Zbl 1109.68081
Konczak, Kathrin; Linke, Thomas; Schaub, Torsten
6
2006
Tableau calculi for answer set programming. Zbl 1131.68375
Gebser, Martin; Schaub, Torsten
6
2006
Modelling biological networks by action languages via answer set programming. Zbl 1131.68376
Grell, Susanne; Schaub, Torsten; Selbig, Joachim
1
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
Expressing default logic variants in default logic. Zbl 1091.03010
Delgrande, James P.; Schaub, Torsten
2
2005
Introduction to inconsistency tolerance. Zbl 1111.68667
Bertossi, Leopoldo; Hunter, Anthony; Schaub, Torsten
12
2004
Inconsistency tolerance. Zbl 1063.68001
6
2004
On computing belief change operations using quantified Boolean formulas. Zbl 1066.03028
Delgrande, James P.; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
6
2004
Two approaches to merging knowledge bases. Zbl 1111.68670
Delgrande, James P.; Schaub, Torsten
5
2004
Representing paraconsistent reasoning via quantified propositional logic. Zbl 1111.68118
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
3
2004
nlp: a compiler for nested logic programming. Zbl 1122.68390
Sarsakov, Vladimir; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
2
2004
Towards systematic benchmarking in answer set programming: the Dagstuhl initiative. Zbl 1122.68362
Borchert, Paul; Anger, Christian; Schaub, Torsten; Truszczyński, Mirosław
1
2004
A consistency-based approach for belief change. Zbl 1082.68818
Delgrande, James P.; Schaub, Torsten
13
2003
A framework for compiling preferences in logic programs. Zbl 1105.68323
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
12
2003
Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories. Zbl 1274.03050
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
3
2003
A semantic framework for preference handling in answer set programming. Zbl 1079.68016
Schaub, Torsten; Wang, Kewen
2
2003
Optimality theory as a family of cumulative logics. Zbl 1014.03032
Besnard, Ph.; Fanselow, G.; Schaub, T.
1
2003
On the relation between Reiter’s default logic and its (major) variants. Zbl 1274.68455
Delgrande, James P.; Schaub, Torsten
1
2003
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: Preliminary report. Zbl 1045.68519
Pearce, David; Sarsakov, Vladimir; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
7
2002
Paraconsistent reasoning via quantified Boolean formulas. I: Axiomatising signed systems. Zbl 1013.03023
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
2
2002
COBA: a consistency-based belief revision system. Zbl 1014.68628
Delgrande, James P.; Hunter, Aaron; Schaub, Torsten
2
2002
On computing solutions to belief change scenarios. Zbl 1001.68549
Delgrande, James P.; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
3
2001
Expressing preferences in default logic. Zbl 0952.68134
Delgrande, J. P.; Schaub, T.
9
2000
Alternative foundations for Reiter’s default logic. Zbl 0952.68135
Linke, T.; Schaub, T.
4
2000
A compilation of Brewka and Eiter’s approach to prioritization. Zbl 0998.68167
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
2
2000
The role of default logic in knowledge representation. Zbl 0979.68098
Delgrande, James P.; Schaub, Torsten
1
2000
Default reasoning via blocking sets. Zbl 0946.03034
Linke, Thomas; Schaub, Torsten
1
1999
Signed systems for paraconsistent reasoning. Zbl 0893.68149
Besnard, Ph.; Schaub, T.
8
1998
...and 14 more Documents
all top 5

Cited by 688 Authors

47 Schaub, Torsten H.
24 Woltran, Stefan
22 Gebser, Martin
17 Eiter, Thomas
15 Dodaro, Carmine
13 Maratea, Marco
12 Alviano, Mario
12 Cabalar, Pedro
12 Lierler, Yuliya
12 Lifschitz, Vladimir
12 Ricca, Francesco
11 Fandinno, Jorge
10 Delgrande, James P.
10 Faber, Wolfgang
10 Kaminski, Roland
10 Leone, Nicola
9 Schekotihin, Konstantin
8 Calimeri, Francesco
8 Janhunen, Tomi
8 Leite, João
8 Lindauer, Marius
8 Morak, Michael
8 Schüller, Peter
7 Fichte, Johannes Klaus
7 Fink, Michael
7 Kaufmann, Benjamin
7 Perri, Simona
7 Zangari, Jessica
6 Antoniou, Grigoris
6 Denecker, Marc
6 Erdem, Esra
6 Hecher, Markus
6 Krennwallner, Thomas
6 Ostrowski, Max
6 Pontelli, Enrico
6 Schockaert, Steven
6 Thielscher, Michael
6 Tompits, Hans
6 Truszczyński, Mirosław
5 Amendola, Giovanni
5 De Cock, Martine
5 Gelfond, Michael
5 Gonçalves, Ricardo
5 Gottlob, Georg
5 Harrison, Amelia
5 Hoos, Holger H.
5 Ianni, Giovambattista
5 Knorr, Matthias
5 Liberatore, Paolo
5 Marques-Silva, João P.
5 Redl, Christoph
5 Son, Tran Cao
5 Wallner, Johannes Peter
5 Wanko, Philipp
5 You, Jia-Huai
5 Zhang, Yan
4 Aguado, Felicidad
4 Balduccini, Marcello
4 Bogaerts, Bart
4 Diéguez, Martín
4 Falappa, Marcelo Alejandro
4 Fariñas del Cerro, Luis
4 Gaggl, Sarah Alice
4 Garcia, Laurent
4 Gupta, Gopal K.
4 Hutter, Frank
4 Järvisalo, Matti
4 Lee, Joohyung
4 Leyton-Brown, Kevin
4 Martinez, Maria Vanina
4 Pérez, Gilberto
4 Phan Minh Dung
4 Pührer, Jörg
4 Romero, Javier
4 Schulz, Claudia
4 Siegel, Anne
4 Simari, Guillermo Ricardo
4 Vidal, Concepción
4 Weinzierl, Antonius
4 Zhang, Yuanlin
4 Zhou, Yi
3 Ansótegui, Carlos
3 Arias, Joaquin
3 Arieli, Ofer
3 Banbara, Mutsunori
3 Beck, Harald
3 Besnard, Philippe
3 Bichler, Manuel
3 Bruynooghe, Maurice
3 Carro, Manuel
3 Cerutti, Federico
3 Confalonieri, Roberto
3 Cropper, Andrew
3 Dvořák, Wolfgang
3 Friedrich, Gerhard E.
3 Giunchiglia, Enrico
3 Grant, John R.
3 Inoue, Katsumi
3 Kern-Isberner, Gabriele
3 Law, Mark M.
...and 588 more Authors

Citations by Year