×

zbMATH — the first resource for mathematics

Woltran, Stefan

Compute Distance To:
Author ID: woltran.stefan Recent zbMATH articles by "Woltran, Stefan"
Published as: Woltran, S.; Woltran, Stefan
External Links: MGP
Documents Indexed: 131 Publications since 2001, including 7 Books
all top 5

Co-Authors

2 single-authored
23 Tompits, Hans
16 Pichler, Reinhard
15 Dvořák, Wolfgang
13 Bliem, Bernhard
13 Schaub, Torsten H.
12 Linsbichler, Thomas
11 Rümmele, Stefan
10 Morak, Michael
8 Truszczyński, Mirosław
7 Eiter, Thomas
7 Wallner, Johannes Peter
6 Abseher, Michael
6 Charwat, Günther
6 Delgrande, James P.
6 Faber, Wolfgang
6 Gaggl, Sarah Alice
6 Hecher, Markus
5 Baumann, Ringo
5 Creignou, Nadia
5 Fichte, Johannes Klaus
5 Fink, Michael
4 Besnard, Philippe
4 Brewka, Gerhard
4 Egly, Uwe
4 Gebser, Martin
4 Leite, João
4 Musliu, Nysret
4 Pührer, Jörg
4 Strass, Hannes
3 Dunne, Paul E.
3 Haret, Adrian
3 Oikarinen, Emilia
3 Papini, Odile
3 Spanring, Christof
2 Balduccini, Marcello
2 Bichler, Manuel
2 Diller, Martin
2 Dusberger, Frederico
2 Ferrarotti, Flavio Antonio
2 Gonçalves, Ricardo
2 Hunter, Anthony
2 Janhunen, Tomi
2 Järvisalo, Matti
2 Knorr, Matthias
2 Maratea, Marco
2 Pearce, David G.
2 Peppas, Pavlos
2 Pfandler, Andreas
2 Sarsakov, Vladimir
2 Seidl, Martina
2 Son, Tran Cao
2 Szeider, Stefan
2 Torroni, Paolo
1 Alviano, Mario
1 Brain, Martin
1 Brochenin, Rémi
1 Croitoru, Madalina
1 Fandinno, Jorge
1 Giacomin, Massimiliano
1 Gonzales, Christophe
1 Jakl, Michael
1 Keshavarzi Zafarghandi, Atefeh
1 Klotz, Volker
1 Kronegger, Martin
1 Lackner, Martin
1 Lierler, Yuliya
1 Linke, Thomas
1 Mailly, Jean-Guy
1 Malý, Jan
1 Manthey, Norbert
1 Moldovan, Marius
1 Niskanen, Andreas
1 Ordyniak, Sebastian
1 Pearce, David A. J.
1 Polberg, Sylwia
1 Rapberger, Anna
1 Ronca, Alessandro
1 Rudolph, Sebastian
1 Schmidt, Johannes
1 Thier, Patrick
1 Thomas, Michael D.
1 van der Torre, Leon
1 Verheij, Bart
1 Weissenbacher, Georg
1 Zolda, Michael

Publications by Year

Citations contained in zbMATH

89 Publications have been cited 473 times in 236 Documents Cited by Year
Answer-set programming encodings for argumentation frameworks. Zbl 1226.68018
Egly, Uwe; Gaggl, Sarah Alice; Woltran, Stefan
25
2008
Semantical characterizations and complexity of equivalences in answer set programming. Zbl 1367.68031
Eiter, Thomas; Fink, Michael; Woltran, Stefan
24
2007
Complexity of semi-stable and stage semantics in argumentation frameworks. Zbl 1229.68041
Dvořák, Wolfgang; Woltran, Stefan
20
2010
Simplifying logic programs under uniform and strong equivalence. Zbl 1122.68369
Eiter, Thomas; Fink, Michael; Tompits, Hans; Woltran, Stefan
19
2004
Characterizing strong equivalence for argumentation frameworks. Zbl 1252.68279
Oikarinen, Emilia; Woltran, Stefan
17
2011
Methods for solving reasoning problems in abstract argumentation – a survey. Zbl 1328.68212
Charwat, Günther; Dvořák, Wolfgang; Gaggl, Sarah A.; Wallner, Johannes P.; Woltran, Stefan
16
2015
Modularity aspects of disjunctive stable models. Zbl 1192.68129
Janhunen, T.; Oikarinen, E.; Tompits, H.; Woltran, S.
16
2009
A common view on strong, uniform, and other notions of equivalence in answer-set programming. Zbl 1140.68360
Woltran, Stefan
15
2008
Complexity-sensitive decision procedures for abstract argumentation. Zbl 1334.68206
Dvořák, Wolfgang; Järvisalo, Matti; Wallner, Johannes Peter; Woltran, Stefan
14
2014
Merging logic programs under answer set semantics. Zbl 1251.68057
Delgrande, James; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
14
2009
Complexity results for answer set programming with bounded predicate arities and implications. Zbl 1138.68017
Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Woltran, Stefan
13
2007
On the intertranslatability of argumentation semantics. Zbl 1234.68369
Dvořák, Wolfgang; Woltran, Stefan
12
2011
Encodings for equilibrium logic and logic programs with nested expressions. Zbl 1053.68695
Pearce, David; Tompits, Hans; Woltran, Stefan
12
2001
Towards fixed-parameter tractable algorithms for abstract argumentation. Zbl 1251.68226
Dvořák, Wolfgang; Pichler, Reinhard; Woltran, Stefan
11
2012
Belief revision within fragments of propositional logic. Zbl 1433.03044
Creignou, Nadia; Papini, Odile; Pichler, Reinhard; Woltran, Stefan
10
2014
Parameterized splitting: a simple modification-based approach. Zbl 1357.68026
Baumann, Ringo; Brewka, Gerhard; Dvořák, Wolfgang; Woltran, Stefan
10
2012
Characterizations for relativized notions of equivalence in answer set programming. Zbl 1111.68695
Woltran, Stefan
9
2004
Characteristics of multiple viewpoints in abstract argumentation. Zbl 1346.68184
Dunne, Paul E.; Dvořák, Wolfgang; Linsbichler, Thomas; Woltran, Stefan
7
2015
A model-theoretic approach to belief change in answer set programming. Zbl 1353.68261
Delgrande, James; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
7
2013
The \(cf2\) argumentation semantics revisited. Zbl 1275.68138
Gaggl, Sarah Alice; Woltran, Stefan
7
2013
Modularity aspects of disjunctive stable models. Zbl 1149.68334
Janhunen, Tomi; Oikarinen, Emilia; Tompits, Hans; Woltran, Stefan
7
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
Improved answer-set programming encodings for abstract argumentation. Zbl 1379.68292
Gaggl, Sarah A.; Manthey, Norbert; Ronca, Alessandro; Wallner, Johannes P.; Woltran, Stefan
6
2015
A solver for QBFs in negation normal form. Zbl 1167.68054
Egly, Uwe; Seidl, Martina; Woltran, Stefan
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
Compact argumentation frameworks. Zbl 1366.68276
Baumann, Ringo; Dvořák, Wolfgang; Linsbichler, Thomas; Strass, Hannes; Woltran, Stefan
5
2014
The D-FLAT system for dynamic programming on tree decompositions. Zbl 1432.68053
Abseher, Michael; Bliem, Bernhard; Charwat, Günther; Dusberger, Frederico; Hecher, Markus; Woltran, Stefan
5
2014
Model-based recasting in answer-set programming. Zbl 1400.68048
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan
5
2013
Parametric properties of ideal semantics. Zbl 1329.68244
Dunne, Paul E.; Dvořák, Wolfgang; Woltran, Stefan
5
2013
Characterising equilibrium logic and nested logic programs: Reductions and complexity. Zbl 1186.68100
Pearce, David; Tompits, Hans; Woltran, Stefan
5
2009
Hyperequivalence of logic programs with respect to supported models. Zbl 1165.68349
Truszczyński, Mirosław; Woltran, Stefan
5
2008
Comparing different prenexing strategies for quantified Boolean formulas. Zbl 1204.68178
Egly, Uwe; Seidl, Martina; Tompits, Hans; Woltran, Stefan; Zolda, Michael
5
2004
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
Answer set solving with bounded treewidth revisited. Zbl 06769657
Fichte, Johannes K.; Hecher, Markus; Morak, Michael; Woltran, Stefan
4
2017
Improving the efficiency of dynamic programming on tree decompositions via machine learning. Zbl 1407.68386
Abseher, Michael; Musliu, Nysret; Woltran, Stefan
4
2017
The role of self-attacking arguments in characterizations of equivalence notions. Zbl 1354.68247
Baumann, Ringo; Woltran, Stefan
4
2016
Strong equivalence for argumentation semantics based on conflict-free sets. Zbl 1341.68254
Gaggl, Sarah Alice; Woltran, Stefan
4
2011
Manifold answer-set programs and their applications. Zbl 1326.68055
Faber, Wolfgang; Woltran, Stefan
4
2011
Relativized hyperequivalence of logic programs for modular programming. Zbl 1184.68163
Truszczyński, Mirosław; Woltran, Stefan
4
2009
Manifold answer-set programs for meta-reasoning. Zbl 1258.68029
Faber, Wolfgang; Woltran, Stefan
4
2009
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
Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Zbl 1410.68009
Balduccini, Marcello (ed.); Lierler, Yuliya (ed.); Woltran, Stefan (ed.)
3
2019
An extension-based approach to belief revision in abstract argumentation. Zbl 1452.68185
Diller, Martin; Haret, Adrian; Linsbichler, Thomas; Rümmele, Stefan; Woltran, Stefan
3
2018
Htd - a free, open-source framework for (customized) tree decompositions and beyond. Zbl 06756600
Abseher, Michael; Musliu, Nysret; Woltran, Stefan
3
2017
On rejected arguments and implicit conflicts: the hidden power of argumentation semantics. Zbl 1393.68160
Baumann, Ringo; Dvořák, Wolfgang; Linsbichler, Thomas; Spanring, Christof; Strass, Hannes; Woltran, Stefan
3
2016
Complexity of secure sets. Zbl 1417.68061
Bliem, Bernhard; Woltran, Stefan
3
2016
Abstract solvers for Dung’s argumentation frameworks. Zbl 1335.68246
Brochenin, Remi; Linsbichler, Thomas; Maratea, Marco; Wallner, Johannes Peter; Woltran, Stefan
3
2015
GRAPPA: a semantical framework for graph-based argument processing. Zbl 1366.68281
Brewka, Gerhard; Woltran, Stefan
3
2014
Tractable answer-set programming with weight constraints: bounded treewidth is not enough. Zbl 1310.68053
Pichler, Reinhard; Rümmele, Stefan; Szeider, Stefan; Woltran, Stefan
3
2014
Advanced SAT techniques for abstract argumentation. Zbl 1401.68312
Wallner, Johannes Peter; Weissenbacher, Georg; Woltran, Stefan
3
2013
Fast counting with bounded treewidth. Zbl 1182.68278
Jakl, Michael; Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
3
2008
Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories. Zbl 1274.03050
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
3
2003
On computing solutions to belief change scenarios. Zbl 1001.68549
Delgrande, James P.; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
3
2001
Design and results of the second international competition on computational models of argumentation. Zbl 07153710
Gaggl, Sarah A.; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan
2
2020
Exploiting treewidth for projected model counting and its limits. Zbl 06916306
Fichte, Johannes K.; Hecher, Markus; Morak, Michael; Woltran, Stefan
2
2018
When you must forget: beyond strong persistence when forgetting in answer set programming. Zbl 1422.68022
Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Woltran, Stefan
2
2017
Merging in the Horn fragment. Zbl 1367.68280
Haret, Adrian; Rümmele, Stefan; Woltran, Stefan
2
2017
D-FLAT\(^\wedge\)2: subset minimization in dynamic programming on tree decompositions made easy. Zbl 1374.68490
Bliem, Bernhard; Charwat, Günther; Hecher, Markus; Woltran, Stefan
2
2016
Investigating the relationship between argumentation semantics via signatures. Zbl 1370.68267
Dunne, Paul E.; Linsbichler, Thomas; Spanring, Christof; Woltran, Stefan
2
2016
Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Zbl 1303.68014
Eiter, Thomas (ed.); Strass, Hannes (ed.); Truszczyński, Mirosław (ed.); Woltran, Stefan (ed.)
2
2015
Complexity of super-coherence problems in ASP. Zbl 1312.68034
Alviano, Mario; Faber, Wolfgang; Woltran, Stefan
2
2014
AGM-style belief revision of logic programs under answer set semantics. Zbl 1379.68290
Delgrande, James; Peppas, Pavlos; Woltran, Stefan
2
2013
D-FLAT: declarative problem solving using tree decompositions and answer-set programming. Zbl 1260.68057
Bliem, Bernhard; Morak, Michael; Woltran, Stefan
2
2012
Multicut on graphs of bounded clique-width. Zbl 1370.68232
Lackner, Martin; Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
2
2012
Counting and enumeration problems with bounded treewidth. Zbl 1310.68118
Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
2
2010
A dynamic-programming based ASP-solver. Zbl 1306.68011
Morak, Michael; Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
2
2010
Multicut algorithms via tree decompositions. Zbl 1284.68303
Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
2
2010
Relativized hyperequivalence of logic programs for modular programming. Zbl 1185.68186
Truszczyński, Mirosław; Woltran, Stefan
2
2008
Towards implementations for advanced equivalence checking in answer-set programming. Zbl 1165.68495
Tompits, Hans; Woltran, Stefan
2
2005
nlp: a compiler for nested logic programming. Zbl 1122.68390
Sarsakov, Vladimir; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
2
2004
Representing paraconsistent reasoning via quantified propositional logic. Zbl 1111.68118
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
2
2004
Paraconsistent reasoning via quantified Boolean formulas. I: Axiomatising signed systems. Zbl 1013.03023
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
2
2002
Do hard SAT-related reasoning tasks become easier in the Krom fragment? Zbl 1403.68078
Creignou, Nadia; Pichler, Reinhard; Woltran, Stefan
1
2018
Clique-width and directed width measures for answer-set programming. Zbl 1403.68029
Bliem, Bernhard; Ordyniak, Sebastian; Woltran, Stefan
1
2016
Beyond IC postulates: classification criteria for merging operators. Zbl 1403.68266
Haret, Adrian; Pfandler, Andreas; Woltran, Stefan
1
2016
Shift design with answer set programming. Zbl 1373.68169
Abseher, Michael; Gebser, Martin; Musliu, Nysret; Schaub, Torsten; Woltran, Stefan
1
2016
Belief merging within fragments of propositional logic. Zbl 1367.03034
Creignou, Nadia; Papini, Odile; Rümmele, Stefan; Woltran, Stefan
1
2016
Equivalence between answer-set programs under (partially) fixed input. Zbl 06582816
Bliem, Bernhard; Woltran, Stefan
1
2016
Dual-normal logic programs – the forgotten class. Zbl 1379.68061
Fichte, Johannes K.; Truszczyński, Mirosław; Woltran, Stefan
1
2015
The hidden power of abstract argumentation semantics. Zbl 1335.68251
Linsbichler, Thomas; Spanring, Christof; Woltran, Stefan
1
2015
Belief merging within fragments of propositional logic. Zbl 1366.03178
Creignou, Nadia; Papini, Odile; Rümmele, Stefan; Woltran, Stefan
1
2014
Admissibility in the abstract dialectical framework. Zbl 1401.68310
Polberg, Sylwia; Wallner, Johannes Peter; Woltran, Stefan
1
2013
Structural properties for deductive argument systems. Zbl 1390.68608
Hunter, Anthony; Woltran, Stefan
1
2013
Computational models of argument. Proceedings of the 4th conference, COMMA 2012, Vienna, Austria, September 10–12, 2012. Zbl 1401.68011
Verheij, Bart (ed.); Szeider, Stefan (ed.); Woltran, Stefan (ed.)
1
2012
Preprocessing of complex non-ground rules in answer set programming. Zbl 1281.68068
Morak, Michael; Woltran, Stefan
1
2012
Encoding deductive argumentation in quantified Boolean formulae. Zbl 1185.68662
Besnard, Philippe; Hunter, Anthony; Woltran, Stefan
1
2009
Belief revision with bounded treewidth. Zbl 1258.68145
Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
1
2009
Elimination of disjunction and negation in answer-set programs under hyperequivalence. Zbl 1185.68177
Pührer, Jörg; Tompits, Hans; Woltran, Stefan
1
2008
Complexity of rule redundancy in non-ground answer-set programming over finite domains. Zbl 1149.68331
Fink, Michael; Pichler, Reinhard; Tompits, Hans; Woltran, Stefan
1
2007
Design and results of the second international competition on computational models of argumentation. Zbl 07153710
Gaggl, Sarah A.; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan
2
2020
Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Zbl 1410.68009
Balduccini, Marcello (ed.); Lierler, Yuliya (ed.); Woltran, Stefan (ed.)
3
2019
An extension-based approach to belief revision in abstract argumentation. Zbl 1452.68185
Diller, Martin; Haret, Adrian; Linsbichler, Thomas; Rümmele, Stefan; Woltran, Stefan
3
2018
Exploiting treewidth for projected model counting and its limits. Zbl 06916306
Fichte, Johannes K.; Hecher, Markus; Morak, Michael; Woltran, Stefan
2
2018
Do hard SAT-related reasoning tasks become easier in the Krom fragment? Zbl 1403.68078
Creignou, Nadia; Pichler, Reinhard; Woltran, Stefan
1
2018
Answer set solving with bounded treewidth revisited. Zbl 06769657
Fichte, Johannes K.; Hecher, Markus; Morak, Michael; Woltran, Stefan
4
2017
Improving the efficiency of dynamic programming on tree decompositions via machine learning. Zbl 1407.68386
Abseher, Michael; Musliu, Nysret; Woltran, Stefan
4
2017
Htd - a free, open-source framework for (customized) tree decompositions and beyond. Zbl 06756600
Abseher, Michael; Musliu, Nysret; Woltran, Stefan
3
2017
When you must forget: beyond strong persistence when forgetting in answer set programming. Zbl 1422.68022
Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Woltran, Stefan
2
2017
Merging in the Horn fragment. Zbl 1367.68280
Haret, Adrian; Rümmele, Stefan; Woltran, Stefan
2
2017
The role of self-attacking arguments in characterizations of equivalence notions. Zbl 1354.68247
Baumann, Ringo; Woltran, Stefan
4
2016
On rejected arguments and implicit conflicts: the hidden power of argumentation semantics. Zbl 1393.68160
Baumann, Ringo; Dvořák, Wolfgang; Linsbichler, Thomas; Spanring, Christof; Strass, Hannes; Woltran, Stefan
3
2016
Complexity of secure sets. Zbl 1417.68061
Bliem, Bernhard; Woltran, Stefan
3
2016
D-FLAT\(^\wedge\)2: subset minimization in dynamic programming on tree decompositions made easy. Zbl 1374.68490
Bliem, Bernhard; Charwat, Günther; Hecher, Markus; Woltran, Stefan
2
2016
Investigating the relationship between argumentation semantics via signatures. Zbl 1370.68267
Dunne, Paul E.; Linsbichler, Thomas; Spanring, Christof; Woltran, Stefan
2
2016
Clique-width and directed width measures for answer-set programming. Zbl 1403.68029
Bliem, Bernhard; Ordyniak, Sebastian; Woltran, Stefan
1
2016
Beyond IC postulates: classification criteria for merging operators. Zbl 1403.68266
Haret, Adrian; Pfandler, Andreas; Woltran, Stefan
1
2016
Shift design with answer set programming. Zbl 1373.68169
Abseher, Michael; Gebser, Martin; Musliu, Nysret; Schaub, Torsten; Woltran, Stefan
1
2016
Belief merging within fragments of propositional logic. Zbl 1367.03034
Creignou, Nadia; Papini, Odile; Rümmele, Stefan; Woltran, Stefan
1
2016
Equivalence between answer-set programs under (partially) fixed input. Zbl 06582816
Bliem, Bernhard; Woltran, Stefan
1
2016
Methods for solving reasoning problems in abstract argumentation – a survey. Zbl 1328.68212
Charwat, Günther; Dvořák, Wolfgang; Gaggl, Sarah A.; Wallner, Johannes P.; Woltran, Stefan
16
2015
Characteristics of multiple viewpoints in abstract argumentation. Zbl 1346.68184
Dunne, Paul E.; Dvořák, Wolfgang; Linsbichler, Thomas; Woltran, Stefan
7
2015
Improved answer-set programming encodings for abstract argumentation. Zbl 1379.68292
Gaggl, Sarah A.; Manthey, Norbert; Ronca, Alessandro; Wallner, Johannes P.; Woltran, Stefan
6
2015
Abstract solvers for Dung’s argumentation frameworks. Zbl 1335.68246
Brochenin, Remi; Linsbichler, Thomas; Maratea, Marco; Wallner, Johannes Peter; Woltran, Stefan
3
2015
Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Zbl 1303.68014
Eiter, Thomas (ed.); Strass, Hannes (ed.); Truszczyński, Mirosław (ed.); Woltran, Stefan (ed.)
2
2015
Dual-normal logic programs – the forgotten class. Zbl 1379.68061
Fichte, Johannes K.; Truszczyński, Mirosław; Woltran, Stefan
1
2015
The hidden power of abstract argumentation semantics. Zbl 1335.68251
Linsbichler, Thomas; Spanring, Christof; Woltran, Stefan
1
2015
Complexity-sensitive decision procedures for abstract argumentation. Zbl 1334.68206
Dvořák, Wolfgang; Järvisalo, Matti; Wallner, Johannes Peter; Woltran, Stefan
14
2014
Belief revision within fragments of propositional logic. Zbl 1433.03044
Creignou, Nadia; Papini, Odile; Pichler, Reinhard; Woltran, Stefan
10
2014
Compact argumentation frameworks. Zbl 1366.68276
Baumann, Ringo; Dvořák, Wolfgang; Linsbichler, Thomas; Strass, Hannes; Woltran, Stefan
5
2014
The D-FLAT system for dynamic programming on tree decompositions. Zbl 1432.68053
Abseher, Michael; Bliem, Bernhard; Charwat, Günther; Dusberger, Frederico; Hecher, Markus; Woltran, Stefan
5
2014
GRAPPA: a semantical framework for graph-based argument processing. Zbl 1366.68281
Brewka, Gerhard; Woltran, Stefan
3
2014
Tractable answer-set programming with weight constraints: bounded treewidth is not enough. Zbl 1310.68053
Pichler, Reinhard; Rümmele, Stefan; Szeider, Stefan; Woltran, Stefan
3
2014
Complexity of super-coherence problems in ASP. Zbl 1312.68034
Alviano, Mario; Faber, Wolfgang; Woltran, Stefan
2
2014
Belief merging within fragments of propositional logic. Zbl 1366.03178
Creignou, Nadia; Papini, Odile; Rümmele, Stefan; Woltran, Stefan
1
2014
A model-theoretic approach to belief change in answer set programming. Zbl 1353.68261
Delgrande, James; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
7
2013
The \(cf2\) argumentation semantics revisited. Zbl 1275.68138
Gaggl, Sarah Alice; Woltran, Stefan
7
2013
Model-based recasting in answer-set programming. Zbl 1400.68048
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan
5
2013
Parametric properties of ideal semantics. Zbl 1329.68244
Dunne, Paul E.; Dvořák, Wolfgang; Woltran, Stefan
5
2013
Advanced SAT techniques for abstract argumentation. Zbl 1401.68312
Wallner, Johannes Peter; Weissenbacher, Georg; Woltran, Stefan
3
2013
AGM-style belief revision of logic programs under answer set semantics. Zbl 1379.68290
Delgrande, James; Peppas, Pavlos; Woltran, Stefan
2
2013
Admissibility in the abstract dialectical framework. Zbl 1401.68310
Polberg, Sylwia; Wallner, Johannes Peter; Woltran, Stefan
1
2013
Structural properties for deductive argument systems. Zbl 1390.68608
Hunter, Anthony; Woltran, Stefan
1
2013
Towards fixed-parameter tractable algorithms for abstract argumentation. Zbl 1251.68226
Dvořák, Wolfgang; Pichler, Reinhard; Woltran, Stefan
11
2012
Parameterized splitting: a simple modification-based approach. Zbl 1357.68026
Baumann, Ringo; Brewka, Gerhard; Dvořák, Wolfgang; Woltran, Stefan
10
2012
D-FLAT: declarative problem solving using tree decompositions and answer-set programming. Zbl 1260.68057
Bliem, Bernhard; Morak, Michael; Woltran, Stefan
2
2012
Multicut on graphs of bounded clique-width. Zbl 1370.68232
Lackner, Martin; Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
2
2012
Computational models of argument. Proceedings of the 4th conference, COMMA 2012, Vienna, Austria, September 10–12, 2012. Zbl 1401.68011
Verheij, Bart (ed.); Szeider, Stefan (ed.); Woltran, Stefan (ed.)
1
2012
Preprocessing of complex non-ground rules in answer set programming. Zbl 1281.68068
Morak, Michael; Woltran, Stefan
1
2012
Characterizing strong equivalence for argumentation frameworks. Zbl 1252.68279
Oikarinen, Emilia; Woltran, Stefan
17
2011
On the intertranslatability of argumentation semantics. Zbl 1234.68369
Dvořák, Wolfgang; Woltran, Stefan
12
2011
Strong equivalence for argumentation semantics based on conflict-free sets. Zbl 1341.68254
Gaggl, Sarah Alice; Woltran, Stefan
4
2011
Manifold answer-set programs and their applications. Zbl 1326.68055
Faber, Wolfgang; Woltran, Stefan
4
2011
Complexity of semi-stable and stage semantics in argumentation frameworks. Zbl 1229.68041
Dvořák, Wolfgang; Woltran, Stefan
20
2010
Counting and enumeration problems with bounded treewidth. Zbl 1310.68118
Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
2
2010
A dynamic-programming based ASP-solver. Zbl 1306.68011
Morak, Michael; Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
2
2010
Multicut algorithms via tree decompositions. Zbl 1284.68303
Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
2
2010
Modularity aspects of disjunctive stable models. Zbl 1192.68129
Janhunen, T.; Oikarinen, E.; Tompits, H.; Woltran, S.
16
2009
Merging logic programs under answer set semantics. Zbl 1251.68057
Delgrande, James; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
14
2009
A solver for QBFs in negation normal form. Zbl 1167.68054
Egly, Uwe; Seidl, Martina; Woltran, Stefan
6
2009
Characterising equilibrium logic and nested logic programs: Reductions and complexity. Zbl 1186.68100
Pearce, David; Tompits, Hans; Woltran, Stefan
5
2009
Relativized hyperequivalence of logic programs for modular programming. Zbl 1184.68163
Truszczyński, Mirosław; Woltran, Stefan
4
2009
Manifold answer-set programs for meta-reasoning. Zbl 1258.68029
Faber, Wolfgang; Woltran, Stefan
4
2009
Encoding deductive argumentation in quantified Boolean formulae. Zbl 1185.68662
Besnard, Philippe; Hunter, Anthony; Woltran, Stefan
1
2009
Belief revision with bounded treewidth. Zbl 1258.68145
Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
1
2009
Answer-set programming encodings for argumentation frameworks. Zbl 1226.68018
Egly, Uwe; Gaggl, Sarah Alice; Woltran, Stefan
25
2008
A common view on strong, uniform, and other notions of equivalence in answer-set programming. Zbl 1140.68360
Woltran, Stefan
15
2008
Hyperequivalence of logic programs with respect to supported models. Zbl 1165.68349
Truszczyński, Mirosław; Woltran, Stefan
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
Fast counting with bounded treewidth. Zbl 1182.68278
Jakl, Michael; Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
3
2008
Relativized hyperequivalence of logic programs for modular programming. Zbl 1185.68186
Truszczyński, Mirosław; Woltran, Stefan
2
2008
Elimination of disjunction and negation in answer-set programs under hyperequivalence. Zbl 1185.68177
Pührer, Jörg; Tompits, Hans; Woltran, Stefan
1
2008
Semantical characterizations and complexity of equivalences in answer set programming. Zbl 1367.68031
Eiter, Thomas; Fink, Michael; Woltran, Stefan
24
2007
Complexity results for answer set programming with bounded predicate arities and implications. Zbl 1138.68017
Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Woltran, Stefan
13
2007
Modularity aspects of disjunctive stable models. Zbl 1149.68334
Janhunen, Tomi; Oikarinen, Emilia; Tompits, Hans; Woltran, Stefan
7
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
Complexity of rule redundancy in non-ground answer-set programming over finite domains. Zbl 1149.68331
Fink, Michael; Pichler, Reinhard; Tompits, Hans; Woltran, Stefan
1
2007
Towards implementations for advanced equivalence checking in answer-set programming. Zbl 1165.68495
Tompits, Hans; Woltran, Stefan
2
2005
Simplifying logic programs under uniform and strong equivalence. Zbl 1122.68369
Eiter, Thomas; Fink, Michael; Tompits, Hans; Woltran, Stefan
19
2004
Characterizations for relativized notions of equivalence in answer set programming. Zbl 1111.68695
Woltran, Stefan
9
2004
On computing belief change operations using quantified Boolean formulas. Zbl 1066.03028
Delgrande, James P.; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
6
2004
Comparing different prenexing strategies for quantified Boolean formulas. Zbl 1204.68178
Egly, Uwe; Seidl, Martina; Tompits, Hans; Woltran, Stefan; Zolda, Michael
5
2004
nlp: a compiler for nested logic programming. Zbl 1122.68390
Sarsakov, Vladimir; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
2
2004
Representing paraconsistent reasoning via quantified propositional logic. Zbl 1111.68118
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
2
2004
Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories. Zbl 1274.03050
Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
3
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
Encodings for equilibrium logic and logic programs with nested expressions. Zbl 1053.68695
Pearce, David; Tompits, Hans; Woltran, Stefan
12
2001
On computing solutions to belief change scenarios. Zbl 1001.68549
Delgrande, James P.; Schaub, Torsten; Tompits, Hans; Woltran, Stefan
3
2001
all top 5

Cited by 354 Authors

40 Woltran, Stefan
13 Eiter, Thomas
11 Truszczyński, Mirosław
10 Dvořák, Wolfgang
10 Schaub, Torsten H.
8 Fink, Michael
8 Gaggl, Sarah Alice
6 Cabalar, Pedro
6 Dodaro, Carmine
6 Giacomin, Massimiliano
6 Linsbichler, Thomas
6 Ricca, Francesco
6 Strass, Hannes
6 Tompits, Hans
6 Wallner, Johannes Peter
5 Amendola, Giovanni
5 Baumann, Ringo
5 Bliem, Bernhard
5 Delgrande, James P.
5 Dunne, Paul E.
5 Fichte, Johannes Klaus
5 Hunter, Anthony
5 Leite, João
5 Thimm, Matthias
4 Antoniou, Grigoris
4 Arieli, Ofer
4 Atkinson, Katie
4 Baroni, Pietro
4 Cerutti, Federico
4 Gebser, Martin
4 Järvisalo, Matti
4 Krennwallner, Thomas
4 Liao, Beishui
4 Lifschitz, Vladimir
4 Parisi, Francesco
4 Pearce, David A. J.
4 Pichler, Reinhard
4 Pührer, Jörg
4 Szeider, Stefan
3 Alviano, Mario
3 Analyti, Anastasia
3 Besnard, Philippe
3 Brewka, Gerhard
3 Creignou, Nadia
3 De Cock, Martine
3 Egly, Uwe
3 Faber, Wolfgang
3 Falappa, Marcelo Alejandro
3 Fandinno, Jorge
3 Fazzinga, Bettina
3 Flesca, Sergio
3 Gonçalves, Ricardo
3 Herzig, Andreas
3 Ianni, Giovambattista
3 Kaminski, Roland
3 Kaufmann, Benjamin
3 Kern-Isberner, Gabriele
3 Knorr, Matthias
3 Konieczny, Sébastien
3 Lee, Joohyung
3 Leone, Nicola
3 Maratea, Marco
3 Marquis, Pierre
3 Morak, Michael
3 Nieves, Juan Carlos
3 Nofal, Samer
3 Osorio, Mauricio A.
3 Papini, Odile
3 Pearce, David G.
3 Rümmele, Stefan
3 Schockaert, Steven
3 Schüller, Peter
3 Schulz, Claudia
3 Simari, Guillermo Ricardo
3 Toni, Francesca
3 Valverde, Agustín
3 Wolter, Frank
2 Aguado, Felicidad
2 Amgoud, Leila
2 Arrazola Ramírez, José Ramón Enrique
2 Beck, Harald
2 Biere, Armin
2 Bistarelli, Stefano
2 Boella, Guido
2 Bruynooghe, Maurice
2 Cayrol, Claudette
2 Dao-Tran, Minh
2 Dell, Holger
2 Denecker, Marc
2 Doutre, Sylvie
2 Ferraris, Paolo
2 Gagliardi Cozman, Fabio
2 Gasteiger, Philip
2 Greco, Gianluigi
2 Greco, Sergio
2 Haret, Adrian
2 Janhunen, Tomi
2 Janota, Mikoláš
2 Kim, Eun Jung
2 Lierler, Yuliya
...and 254 more Authors

Citations by Year