×

zbMATH — the first resource for mathematics

Schaub, Torsten H.

Compute Distance To:
Author ID: schaub.torsten-h Recent zbMATH articles by "Schaub, Torsten H."
Published as: Schaub, Torsten; Schaub, T.; Schaub, Torsten H.
Documents Indexed: 149 Publications since 1986, including 6 Books
all top 5

Co-Authors

6 single-authored
41 Gebser, Martin
26 Delgrande, James P.
20 Kaminski, Roland
16 Tompits, Hans
15 Kaufmann, Benjamin
13 Woltran, Stefan
10 Besnard, Philippe
10 Ostrowski, Max
9 Cabalar, Pedro
8 Linke, Thomas
7 Janhunen, Tomi
7 Romero, Javier
7 Thiele, Sven
6 Schellhorn, Sebastian
6 Wanko, Philipp
5 Andres, Benjamin
5 Banbara, Mutsunori
5 Brüning, Stefan
5 Fandinno, Jorge
5 Siegel, Anne
4 Hoos, Holger H.
4 Inoue, Katsumi
4 Soh, Takehide
4 Tamura, Naoyuki
3 Konczak, Kathrin
3 Lifschitz, Vladimir
3 Lindauer, Marius
3 Lühne, Patrick
3 Mercer, Robert E.
3 Sabuncu, Orkunt
3 Selbig, Joachim
2 Abseher, Michael
2 Anger, Christian
2 Benhammadi, F.
2 Bertossi, Leopoldo E.
2 Bomanson, Jori
2 Diéguez, Martín
2 Frioux, Clémence
2 Grell, Susanne
2 Grote, Torsten
2 Guziolowski, Carito
2 Haubelt, Christian
2 Hermenegildo, Manuel V.
2 Hunter, Anthony
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 Veber, Philippe
2 Vicol, Paul A.
2 Videla, Santiago
1 Abels, Dirk
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 Collet, Guillaume
1 Dimopoulos, Yannis
1 Durzinsky, Markus
1 Dworschak, Steve
1 Eduati, Federica
1 Erdem, Esra
1 Eveillard, Damien
1 Everardo, Flavio
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 Jackson, W. Ken
1 Jordi, Julian
1 Jost, Holger
1 Kaneyuki, Hiromasa
1 Kaufmann, Roland
1 Leyton-Brown, Kevin
1 Lin, Fangzhen
1 Liu, Daphne H.
1 Marwan, Wolfgang
1 Matheis, Oliver
1 Merico, Davide
1 Morkisch, Philip
1 Nicolas, Jacques
1 Nicolas, Pascal
1 Nikiforova, Victoria J.
1 Obermeier, Philipp
1 O’Sullivan, Barry
...and 20 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

90 Publications have been cited 548 times in 353 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
Alternative approaches to default logic. Zbl 0817.03011
Delgrande, James P.; Schaub, Torsten; Jackson, W. Ken
21
1994
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
A consistency-based approach for belief change. Zbl 1082.68818
Delgrande, James P.; Schaub, Torsten
13
2003
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
12
2011
Unsatisfiability-based optimization in clasp. Zbl 1281.68204
Andres, Benjamin; Kaufmann, Benjamin; Matheis, Oliver; Schaub, Torsten
12
2012
Introduction to inconsistency tolerance. Zbl 1111.68667
Bertossi, Leopoldo; Hunter, Anthony; Schaub, Torsten
11
2004
A framework for compiling preferences in logic programs. Zbl 1105.68323
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
11
2003
Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe
11
2011
Merging logic programs under answer set semantics. Zbl 1251.68057
Delgrande, James; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
11
2009
A new methodology for query answering in default logics via structure-oriented theorem proving. Zbl 0842.68075
Schaub, T.
10
1995
Solution enumeration for projected Boolean search problems. Zbl 1241.68100
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
10
2009
Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Zbl 1175.68008
Erdem, Esra (ed.); Lin, Fangzhen (ed.); Schaub, Torsten (ed.)
10
2009
Constraint answer set solving. Zbl 1251.68061
Gebser, Martin; Ostrowski, Max; Schaub, Torsten
10
2009
ASP modulo CSP: the clingcon system. Zbl 1260.68066
Ostrowski, Max; Schaub, Torsten
8
2012
Signed systems for paraconsistent reasoning. Zbl 0893.68149
Besnard, Ph.; Schaub, T.
8
1998
Answer set programming as a modeling language for course timetabling. Zbl 1286.68040
Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten
8
2013
Expressing preferences in default logic. Zbl 0952.68134
Delgrande, J. P.; Schaub, T.
7
2000
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
A model-theoretic approach to belief change in answer set programming. Zbl 1353.68261
Delgrande, James; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
7
2013
Inconsistency tolerance. Zbl 1063.68001
Bertossi, Leopoldo (ed.); Hunter, Anthony (ed.); Schaub, Torsten (ed.)
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
Tableau calculi for answer set programming. Zbl 1131.68375
Gebser, Martin; Schaub, Torsten
6
2006
A preference-based framework for updating logic programs. Zbl 1149.68328
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
6
2007
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
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
5
2014
Multi-threaded ASP solving with clasp. Zbl 1260.68061
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
5
2012
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
5
2002
Multi-criteria optimization in answer set programming. Zbl 1245.68052
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
5
2011
Graphs and colorings for answer set programming. Zbl 1109.68081
Konczak, Kathrin; Linke, Thomas; Schaub, Torsten
5
2006
Modeling biological networks by action languages via answer set programming. Zbl 1148.68564
Dworschak, Steve; Grell, Susanne; Nikiforova, Victoria J.; Schaub, Torsten; Selbig, Joachim
5
2008
Default reasoning by deductive planning. Zbl 0842.68080
Thielscher, Michael; Schaub, Torsten
4
1995
Alternative foundations for Reiter’s default logic. Zbl 0952.68135
Linke, T.; Schaub, T.
4
2000
Two approaches to merging knowledge bases. Zbl 1111.68670
Delgrande, James P.; Schaub, Torsten
4
2004
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
An incremental answer set programming based system for finite model computation. Zbl 1215.68209
Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten
4
2011
Compiling specificity into approaches to nonmonotonic reasoning. Zbl 1017.03512
Delgrande, James P.; Schaub, Torsten H.
4
1997
COBA 2.0: A consistency-based belief change system. Zbl 1148.68492
Delgrande, James P.; Liu, Daphne H.; Schaub, Torsten; Thiele, Sven
4
2007
aspeed: solver scheduling via answer set programming. Zbl 1379.68283
Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
4
2015
clingcon: the next generation. Zbl 1379.68040
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten
4
2017
On computing solutions to belief change scenarios. Zbl 1001.68549
Delgrande, James P.; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
3
2001
An approach to context-based default reasoning. Zbl 0826.68114
Besnard, Philippe; Schaub, Torsten
3
1995
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
A consistency-based framework for merging knowledge bases. Zbl 1122.68120
Delgrande, James P.; Schaub, Torsten
3
2007
Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories. Zbl 1274.03050
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
3
2003
Coala: a compiler from action languages to ASP. Zbl 1306.68014
Gebser, Martin; Grote, Torsten; Schaub, Torsten
3
2010
Assertional default theories: A semantical view. Zbl 0766.68123
Schaub, Torsten
3
1991
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
3
2017
Ricochet Robots reloaded: a case-study in multi-shot ASP solving. Zbl 1432.68414
Gebser, Martin; Kaminski, Roland; Obermeier, Philipp; Schaub, Torsten
3
2015
Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten
3
2017
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
Possible worlds semantics for default logics. Zbl 0814.68119
Besnard, Philippe; Schaub, Torsten
2
1994
A compilation of Brewka and Eiter’s approach to prioritization. Zbl 0998.68167
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
2
2000
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
A semantic framework for preference handling in answer set programming. Zbl 1079.68016
Schaub, Torsten; Wang, Kewen
2
2003
Representing paraconsistent reasoning via quantified propositional logic. Zbl 1111.68118
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
2
2004
Loops: Relevant or redundant? Zbl 1152.68409
Gebser, Martin; Schaub, Torsten
2
2005
nlp: a compiler for nested logic programming. Zbl 1122.68390
Sarsakov, Vladimir; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
2
2004
Monotonic answer set programming. Zbl 1180.68100
Gebser, Martin; Gharib, Mona; Mercer, Robert; Schaub, Torsten
2
2009
Automatic network reconstruction using ASP. Zbl 1219.92020
Durzinsky, Markus; Marwan, Wolfgang; Ostrowski, Max; Schaub, Torsten; Wagler, Annegret
2
2011
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
aspeed: ASP-based solver scheduling. Zbl 1281.68206
Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius
2
2012
Minimal intervention strategies in logical signaling networks with ASP. Zbl 1286.68048
Kaminski, Roland; Schaub, Torsten; Siegel, Anne; Videla, Santiago
2
2013
A general framework for expressing preferences in causal reasoning and planning. Zbl 1132.68051
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
2
2007
Temporal answer set programming on finite traces. Zbl 1451.68256
Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna
2
2018
Skeptical query-answering in constrained default logic. Zbl 1419.68132
Schaub, Torsten; Thielscher, Michael
2
1996
The family of default logics. Zbl 0936.03028
Schaub, Torsten
1
1998
Reasoning with sets of preferences in default logic. Zbl 0931.03043
Delgrande, James P.; Schaub, Torsten
1
1998
Towards a classification of default logics. Zbl 0902.03014
Linke, Thomas; Schaub, Torsten
1
1997
The role of default logic in knowledge representation. Zbl 0979.68098
Delgrande, James P.; Schaub, Torsten
1
2000
Optimality theory as a family of cumulative logics. Zbl 1014.03032
Besnard, Ph.; Fanselow, G.; Schaub, T.
1
2003
Modelling biological networks by action languages via answer set programming. Zbl 1131.68376
Grell, Susanne; Schaub, Torsten; Selbig, Joachim
1
2006
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
Expressing default logic variants in default logic. Zbl 1091.03010
Delgrande, James P.; Schaub, Torsten
1
2005
Default reasoning via blocking sets. Zbl 0946.03034
Linke, Thomas; Schaub, Torsten
1
1999
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
Schaub, Torsten (ed.); Friedrich, Gerhard (ed.); O’Sullivan, Barry (ed.)
1
2014
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
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
\(\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
Temporal answer set programming on finite traces. Zbl 1451.68256
Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna
2
2018
clingcon: the next generation. Zbl 1379.68040
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten
4
2017
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
3
2017
Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten
3
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
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
15
2015
aspeed: solver scheduling via answer set programming. Zbl 1379.68283
Hoos, Holger; Kaminski, Roland; Lindauer, Marius; 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
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
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
5
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
Schaub, Torsten; Friedrich, Gerhard; O’Sullivan, Barry
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
8
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
Tableau calculi for logic programs under answer set semantics. Zbl 1353.68037
Gebser, Martin; Schaub, Torsten
2
2013
Minimal intervention strategies in logical signaling networks with ASP. Zbl 1286.68048
Kaminski, Roland; Schaub, Torsten; Siegel, Anne; Videla, Santiago
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
Unsatisfiability-based optimization in clasp. Zbl 1281.68204
Andres, Benjamin; Kaufmann, Benjamin; Matheis, Oliver; Schaub, Torsten
12
2012
ASP modulo CSP: the clingcon system. Zbl 1260.68066
Ostrowski, Max; Schaub, Torsten
8
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
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
Automatic network reconstruction using ASP. Zbl 1219.92020
Durzinsky, Markus; Marwan, Wolfgang; Ostrowski, Max; Schaub, Torsten; Wagler, Annegret
2
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
11
2009
Solution enumeration for projected Boolean search problems. Zbl 1241.68100
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
10
2009
Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Zbl 1175.68008
Erdem, Esra; Lin, Fangzhen; 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
Modeling biological networks by action languages via answer set programming. Zbl 1148.68564
Dworschak, Steve; Grell, Susanne; Nikiforova, Victoria J.; Schaub, Torsten; Selbig, Joachim
5
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
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
Generic tableaux for answer set programming. Zbl 1213.68176
Gebser, Martin; Schaub, Torsten
3
2007
A consistency-based framework for merging knowledge bases. Zbl 1122.68120
Delgrande, James P.; 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
Tableau calculi for answer set programming. Zbl 1131.68375
Gebser, Martin; Schaub, Torsten
6
2006
Graphs and colorings for answer set programming. Zbl 1109.68081
Konczak, Kathrin; Linke, Thomas; Schaub, Torsten
5
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
1
2005
Introduction to inconsistency tolerance. Zbl 1111.68667
Bertossi, Leopoldo; Hunter, Anthony; Schaub, Torsten
11
2004
Inconsistency tolerance. Zbl 1063.68001
Bertossi, Leopoldo; Hunter, Anthony; Schaub, Torsten
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
4
2004
Representing paraconsistent reasoning via quantified propositional logic. Zbl 1111.68118
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
2
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
11
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
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
5
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.
7
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
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
The family of default logics. Zbl 0936.03028
Schaub, Torsten
1
1998
Reasoning with sets of preferences in default logic. Zbl 0931.03043
Delgrande, James P.; Schaub, Torsten
1
1998
Compiling specificity into approaches to nonmonotonic reasoning. Zbl 1017.03512
Delgrande, James P.; Schaub, Torsten H.
4
1997
Towards a classification of default logics. Zbl 0902.03014
Linke, Thomas; Schaub, Torsten
1
1997
Skeptical query-answering in constrained default logic. Zbl 1419.68132
Schaub, Torsten; Thielscher, Michael
2
1996
\(\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
A new methodology for query answering in default logics via structure-oriented theorem proving. Zbl 0842.68075
Schaub, T.
10
1995
Default reasoning by deductive planning. Zbl 0842.68080
Thielscher, Michael; Schaub, Torsten
4
1995
An approach to context-based default reasoning. Zbl 0826.68114
Besnard, Philippe; Schaub, Torsten
3
1995
Alternative approaches to default logic. Zbl 0817.03011
Delgrande, James P.; Schaub, Torsten; Jackson, W. Ken
21
1994
Possible worlds semantics for default logics. Zbl 0814.68119
Besnard, Philippe; Schaub, Torsten
2
1994
Assertional default theories: A semantical view. Zbl 0766.68123
Schaub, Torsten
3
1991
all top 5

Cited by 552 Authors

42 Schaub, Torsten H.
19 Woltran, Stefan
16 Gebser, Martin
14 Eiter, Thomas
12 Alviano, Mario
11 Dodaro, Carmine
10 Delgrande, James P.
10 Lierler, Yuliya
10 Maratea, Marco
9 Cabalar, Pedro
9 Kaminski, Roland
9 Lifschitz, Vladimir
8 Leone, Nicola
8 Lindauer, Marius
7 Faber, Wolfgang
7 Fandinno, Jorge
7 Fink, Michael
7 Janhunen, Tomi
7 Kaufmann, Benjamin
7 Leite, João
7 Ricca, Francesco
6 Antoniou, Grigoris
6 Pontelli, Enrico
6 Schockaert, Steven
6 Schüller, Peter
6 Thielscher, Michael
5 De Cock, Martine
5 Denecker, Marc
5 Erdem, Esra
5 Fichte, Johannes Klaus
5 Gelfond, Michael
5 Gottlob, Georg
5 Harrison, Amelia
5 Hoos, Holger H.
5 Krennwallner, Thomas
5 Liberatore, Paolo
5 Morak, Michael
5 Ostrowski, Max
5 Tompits, Hans
5 Wallner, Johannes Peter
5 Zhang, Yan
4 Balduccini, Marcello
4 Diéguez, Martín
4 Gaggl, Sarah Alice
4 Garcia, Laurent
4 Gonçalves, Ricardo
4 Hutter, Frank
4 Ianni, Giovambattista
4 Järvisalo, Matti
4 Knorr, Matthias
4 Lee, Joohyung
4 Leyton-Brown, Kevin
4 Phan Minh Dung
4 Pührer, Jörg
4 Redl, Christoph
4 Schekotihin, Konstantin
4 Schulz, Claudia
4 Son, Tran Cao
4 Truszczyński, Mirosław
4 Wanko, Philipp
4 You, Jia-Huai
4 Zhang, Yuanlin
4 Zhou, Yi
3 Aguado, Felicidad
3 Amendola, Giovanni
3 Arieli, Ofer
3 Banbara, Mutsunori
3 Beck, Harald
3 Besnard, Philippe
3 Bogaerts, Bart
3 Cerutti, Federico
3 Confalonieri, Roberto
3 Dvořák, Wolfgang
3 Falappa, Marcelo Alejandro
3 Fariñas del Cerro, Luis
3 Giunchiglia, Enrico
3 Inoue, Katsumi
3 Kern-Isberner, Gabriele
3 Lefèvre, Claire
3 Lin, Fangzhen
3 Marek, V. Wiktor
3 Marques-Silva, João P.
3 Marquis, Pierre
3 Martinez, Maria Vanina
3 Mu, Kedian
3 Nicolas, Pascal
3 Papini, Odile
3 Pérez, Gilberto
3 Perri, Simona
3 Remmel, Jeffrey B.
3 Schellhorn, Sebastian
3 Siegel, Anne
3 Simari, Guillermo Ricardo
3 Slota, Martin
3 Soh, Takehide
3 Stéphan, Igor
3 Thiele, Sven
3 Vermeir, Dirk
3 Vidal, Concepción
3 Weinzierl, Antonius
...and 452 more Authors

Citations by Year