×

zbMATH — the first resource for mathematics

Faber, Wolfgang

Compute Distance To:
Author ID: faber.wolfgang Recent zbMATH articles by "Faber, Wolfgang"
Published as: Faber, W.; Faber, Wolfgang
External Links: MGP
Documents Indexed: 67 Publications since 2000, including 8 Books
Reviewing Activity: 4 Reviews

Publications by Year

Citations contained in zbMATH

49 Publications have been cited 421 times in 272 Documents Cited by Year
The DLV system for knowledge representation and reasoning. Zbl 1367.68308
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco
119
2006
Semantics and complexity of recursive aggregates in answer set programming. Zbl 1216.68263
Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
42
2011
Recursive aggregates in disjunctive logic programs: Semantics and complexity. Zbl 1111.68380
Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
35
2004
A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system. Zbl 1079.68619
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
17
2003
Declarative problem-solving using the DLV system. Zbl 0979.68091
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
17
2000
Design and implementation of aggregate functions in the DLV system. Zbl 1156.68010
Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola; Dell’Armi, Tina; Ielpa, Giuseppe
15
2008
A logic programming approach to knowledge-state planning, semantics and complexity. Zbl 1367.68301
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
15
2004
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
Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Zbl 1214.68009
Delgrande, James P. (ed.); Faber, Wolfgang (ed.)
11
2011
Answer set planning under action costs. Zbl 1026.68124
Eiter, T.; Faber, W.; Leone, N.; Pfeifer, G.; Polleres, A.
9
2003
Disjunctive logic programs with inheritance. Zbl 1087.68527
Buccafurri, Francesco; Faber, Wolfgang; Leone, Nicola
8
2002
The DLV system. Zbl 1014.68871
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Calimeri, Francesco; Dell’Armi, Tina; Eiter, Thomas; Gottlob, Georg; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, Christoph; Perri, Simona; Polleres, Axel
8
2002
Magic sets for disjunctive Datalog programs. Zbl 1251.68051
Alviano, Mario; Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
7
2012
Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034
Alviano, Mario; Faber, Wolfgang; Gebser, Martin
6
2015
Disjunctive ASP with functions: decidable queries and effective computation. Zbl 1209.68086
Alviano, Mario; Faber, Wolfgang; Leone, Nicola
6
2010
Magic Sets and their application to data integration. Zbl 1115.68047
Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
6
2007
Computing preferred answer sets by meta-interpretation in answer set programming. Zbl 1079.68096
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
6
2003
Planning under incomplete knowledge. Zbl 0983.68539
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
6
2000
The complexity boundary of answer set programming with generalized atoms under the FLP semantics. Zbl 1405.68036
Alviano, Mario; Faber, Wolfgang
5
2013
Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues. Zbl 1260.68055
Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco
5
2012
Pruning operators for disjunctive logic programming systems. Zbl 1095.68114
Calimeri, Francesco; Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
5
2006
Dynamic magic sets and super-coherent answer set programs. Zbl 1215.68211
Alviano, Mario; Faber, Wolfgang
4
2011
Manifold answer-set programs and their applications. Zbl 1326.68055
Faber, Wolfgang; Woltran, Stefan
4
2011
Manifold answer-set programs for meta-reasoning. Zbl 1258.68029
Faber, Wolfgang; Woltran, Stefan
4
2009
Optimizing the computation of heuristics for answer set programming systems. Zbl 1010.68533
Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
4
2001
The intelligent grounder of DLV. Zbl 1357.68032
Faber, Wolfgang; Leone, Nicola; Perri, Simona
3
2012
Unfounded sets and well-founded semantics of answer set programs with aggregates. Zbl 1234.68367
Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
3
2011
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. Zbl 1162.68668
Maratea, Marco; Ricca, Francesco; Faber, Wolfgang; Leone, Nicola
3
2008
A backjumping technique for disjunctive logic programming. Zbl 1102.68433
Ricca, Francesco; Faber, Wolfgang; Leone, Nicola
3
2006
Unfounded sets for disjunctive logic programs with arbitrary aggregates. Zbl 1152.68405
Faber, Wolfgang
3
2005
Enhancing the magic-set method for disjunctive datalog programs. Zbl 1104.68371
Cumbo, Chiara; Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
3
2004
Solving set optimization problems by cardinality optimization with an application to argumentation. Zbl 1403.68236
Faber, Wolfgang; Vallati, Mauro; Cerutti, Federico; Giacomin, Massimiliano
2
2016
Complexity of super-coherence problems in ASP. Zbl 1312.68034
Alviano, Mario; Faber, Wolfgang; Woltran, Stefan
2
2014
A logic-based approach to finding explanations for discrepancies in optimistic plan execution. Zbl 1124.68106
Eiter, Thomas; Erdem, Esra; Faber, Wolfgang; Senko, Ján
2
2007
Strong order equivalence. Zbl 1105.68100
Faber, Wolfgang; Konczak, Kathrin
2
2006
The relationship between reasoning about privacy and default logics. Zbl 1143.68598
Dix, Jürgen; Faber, Wolfgang; Subrahmanian, V. S.
2
2005
Testing strong equivalence of datalog programs – implementation and examples. Zbl 1152.68404
Eiter, Thomas; Faber, Wolfgang; Traxler, Patrick
2
2005
The DLV\(^{\mathcal{K}}\) planning system: Progress report. Zbl 1014.68872
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
2
2002
Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17–19, 2001. Proceedings. Zbl 0971.00048
Eiter, Thomas (ed.); Faber, Wolfgang (ed.); Truszczyński, Mirosław (ed.)
2
2001
Algorithm selection for paracoherent answer set computation. Zbl 07169125
Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Pulina, Luca; Ricca, Francesco
1
2019
Answer set programming for qualitative spatio-temporal reasoning: methods and experiments. Zbl 1428.68282
Brenton, Christopher; Faber, Wolfgang; Batsakis, Sotiris
1
2016
Supportedly stable answer sets for logic programs with generalized atoms. Zbl 1365.68147
Alviano, Mario; Faber, Wolfgang
1
2015
Efficient computation of the well-founded semantics over big data. Zbl 1307.68024
Tachmazidis, Ilias; Antoniou, Grigoris; Faber, Wolfgang
1
2014
Look-back techniques for ASP programs with aggregates. Zbl 1245.68051
Faber, Wolfgang; Leone, Nicola; Maratea, Marco; Ricca, Francesco
1
2011
Normal form nested programs. Zbl 1178.68131
Bria, Annamaria; Faber, Wolfgang; Leone, Nicola
1
2008
Undoing the effects of action sequences. Zbl 1158.68042
Eiter, Thomas; Erdem, Esra; Faber, Wolfgang
1
2008
Experimenting with look-back heuristics for hard ASP programs. Zbl 1149.68330
Faber, Wolfgang; Leone, Nicola; Maratea, Marco; Ricca, Francesco
1
2007
On the complexity of answer set programming with aggregates. Zbl 1149.68329
Faber, Wolfgang; Leone, Nicola
1
2007
Solving hard ASP programs efficiently. Zbl 1152.68406
Faber, Wolfgang; Ricca, Francesco
1
2005
Algorithm selection for paracoherent answer set computation. Zbl 07169125
Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Pulina, Luca; Ricca, Francesco
1
2019
Solving set optimization problems by cardinality optimization with an application to argumentation. Zbl 1403.68236
Faber, Wolfgang; Vallati, Mauro; Cerutti, Federico; Giacomin, Massimiliano
2
2016
Answer set programming for qualitative spatio-temporal reasoning: methods and experiments. Zbl 1428.68282
Brenton, Christopher; Faber, Wolfgang; Batsakis, Sotiris
1
2016
Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034
Alviano, Mario; Faber, Wolfgang; Gebser, Martin
6
2015
Supportedly stable answer sets for logic programs with generalized atoms. Zbl 1365.68147
Alviano, Mario; Faber, Wolfgang
1
2015
Complexity of super-coherence problems in ASP. Zbl 1312.68034
Alviano, Mario; Faber, Wolfgang; Woltran, Stefan
2
2014
Efficient computation of the well-founded semantics over big data. Zbl 1307.68024
Tachmazidis, Ilias; Antoniou, Grigoris; Faber, Wolfgang
1
2014
The complexity boundary of answer set programming with generalized atoms under the FLP semantics. Zbl 1405.68036
Alviano, Mario; Faber, Wolfgang
5
2013
Magic sets for disjunctive Datalog programs. Zbl 1251.68051
Alviano, Mario; Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
7
2012
Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues. Zbl 1260.68055
Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco
5
2012
The intelligent grounder of DLV. Zbl 1357.68032
Faber, Wolfgang; Leone, Nicola; Perri, Simona
3
2012
Semantics and complexity of recursive aggregates in answer set programming. Zbl 1216.68263
Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
42
2011
Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Zbl 1214.68009
Delgrande, James P. (ed.); Faber, Wolfgang (ed.)
11
2011
Dynamic magic sets and super-coherent answer set programs. Zbl 1215.68211
Alviano, Mario; Faber, Wolfgang
4
2011
Manifold answer-set programs and their applications. Zbl 1326.68055
Faber, Wolfgang; Woltran, Stefan
4
2011
Unfounded sets and well-founded semantics of answer set programs with aggregates. Zbl 1234.68367
Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
3
2011
Look-back techniques for ASP programs with aggregates. Zbl 1245.68051
Faber, Wolfgang; Leone, Nicola; Maratea, Marco; Ricca, Francesco
1
2011
Disjunctive ASP with functions: decidable queries and effective computation. Zbl 1209.68086
Alviano, Mario; Faber, Wolfgang; Leone, Nicola
6
2010
Manifold answer-set programs for meta-reasoning. Zbl 1258.68029
Faber, Wolfgang; Woltran, Stefan
4
2009
Design and implementation of aggregate functions in the DLV system. Zbl 1156.68010
Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola; Dell’Armi, Tina; Ielpa, Giuseppe
15
2008
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. Zbl 1162.68668
Maratea, Marco; Ricca, Francesco; Faber, Wolfgang; Leone, Nicola
3
2008
Normal form nested programs. Zbl 1178.68131
Bria, Annamaria; Faber, Wolfgang; Leone, Nicola
1
2008
Undoing the effects of action sequences. Zbl 1158.68042
Eiter, Thomas; Erdem, Esra; Faber, Wolfgang
1
2008
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
Magic Sets and their application to data integration. Zbl 1115.68047
Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
6
2007
A logic-based approach to finding explanations for discrepancies in optimistic plan execution. Zbl 1124.68106
Eiter, Thomas; Erdem, Esra; Faber, Wolfgang; Senko, Ján
2
2007
Experimenting with look-back heuristics for hard ASP programs. Zbl 1149.68330
Faber, Wolfgang; Leone, Nicola; Maratea, Marco; Ricca, Francesco
1
2007
On the complexity of answer set programming with aggregates. Zbl 1149.68329
Faber, Wolfgang; Leone, Nicola
1
2007
The DLV system for knowledge representation and reasoning. Zbl 1367.68308
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco
119
2006
Pruning operators for disjunctive logic programming systems. Zbl 1095.68114
Calimeri, Francesco; Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
5
2006
A backjumping technique for disjunctive logic programming. Zbl 1102.68433
Ricca, Francesco; Faber, Wolfgang; Leone, Nicola
3
2006
Strong order equivalence. Zbl 1105.68100
Faber, Wolfgang; Konczak, Kathrin
2
2006
Unfounded sets for disjunctive logic programs with arbitrary aggregates. Zbl 1152.68405
Faber, Wolfgang
3
2005
The relationship between reasoning about privacy and default logics. Zbl 1143.68598
Dix, Jürgen; Faber, Wolfgang; Subrahmanian, V. S.
2
2005
Testing strong equivalence of datalog programs – implementation and examples. Zbl 1152.68404
Eiter, Thomas; Faber, Wolfgang; Traxler, Patrick
2
2005
Solving hard ASP programs efficiently. Zbl 1152.68406
Faber, Wolfgang; Ricca, Francesco
1
2005
Recursive aggregates in disjunctive logic programs: Semantics and complexity. Zbl 1111.68380
Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
35
2004
A logic programming approach to knowledge-state planning, semantics and complexity. Zbl 1367.68301
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
15
2004
Enhancing the magic-set method for disjunctive datalog programs. Zbl 1104.68371
Cumbo, Chiara; Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
3
2004
A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system. Zbl 1079.68619
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
17
2003
Answer set planning under action costs. Zbl 1026.68124
Eiter, T.; Faber, W.; Leone, N.; Pfeifer, G.; Polleres, A.
9
2003
Computing preferred answer sets by meta-interpretation in answer set programming. Zbl 1079.68096
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
6
2003
Disjunctive logic programs with inheritance. Zbl 1087.68527
Buccafurri, Francesco; Faber, Wolfgang; Leone, Nicola
8
2002
The DLV system. Zbl 1014.68871
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Calimeri, Francesco; Dell’Armi, Tina; Eiter, Thomas; Gottlob, Georg; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, Christoph; Perri, Simona; Polleres, Axel
8
2002
The DLV\(^{\mathcal{K}}\) planning system: Progress report. Zbl 1014.68872
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
2
2002
Optimizing the computation of heuristics for answer set programming systems. Zbl 1010.68533
Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
4
2001
Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17–19, 2001. Proceedings. Zbl 0971.00048
Eiter, Thomas (ed.); Faber, Wolfgang (ed.); Truszczyński, Mirosław (ed.)
2
2001
Declarative problem-solving using the DLV system. Zbl 0979.68091
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
17
2000
Planning under incomplete knowledge. Zbl 0983.68539
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
6
2000
all top 5

Cited by 410 Authors

30 Eiter, Thomas
19 Leone, Nicola
14 Alviano, Mario
14 Fink, Michael
12 Faber, Wolfgang
11 Ricca, Francesco
11 Woltran, Stefan
10 Gebser, Martin
10 Krennwallner, Thomas
10 Maratea, Marco
10 Schaub, Torsten H.
8 De Cock, Martine
8 Dodaro, Carmine
8 Gelfond, Michael
8 Ianni, Giovambattista
8 Schockaert, Steven
7 Truszczyński, Mirosław
6 Erdem, Esra
6 Lierler, Yuliya
6 Lifschitz, Vladimir
6 Lukasiewicz, Thomas
6 Redl, Christoph
6 Schüller, Peter
6 Shen, Yidong
6 Tompits, Hans
6 You, Jia-Huai
5 Amendola, Giovanni
5 Cabalar, Pedro
5 Gottlob, Georg
5 Greco, Sergio
5 Manna, Marco
5 Perri, Simona
5 Vermeir, Dirk
5 Wang, Kewen
4 Bogaerts, Bart
4 Dao-Tran, Minh
4 Fandinno, Jorge
4 Fichte, Johannes Klaus
4 Garcia, Laurent
4 Giunchiglia, Enrico
4 Greco, Gianluigi
4 Lin, Fangzhen
4 Molinaro, Cristian
4 Oetsch, Johannes
4 Pfeifer, Gerald
4 Pührer, Jörg
4 Son, Tran Cao
4 Trubitsyna, Irina
4 Weinzierl, Antonius
4 Zangari, Jessica
3 Aguado, Felicidad
3 Analyti, Anastasia
3 Antoniou, Grigoris
3 Beck, Harald
3 Bliem, Bernhard
3 Calimeri, Francesco
3 Denecker, Marc
3 Dovier, Agostino
3 Friedrich, Gerhard E.
3 Inoue, Katsumi
3 Janhunen, Tomi
3 Janssen, Jeroen
3 Kaminski, Roland
3 Lefèvre, Claire
3 Leite, João
3 Marek, V. Wiktor
3 Morak, Michael
3 Palopoli, Luigi
3 Pearce, David A. J.
3 Pearce, David G.
3 Pérez, Gilberto
3 Remmel, Jeffrey B.
3 Stéphan, Igor
3 Valverde, Agustín
3 Vidal, Concepción
3 Wallner, Johannes Peter
3 Zhang, Yan
3 Zhou, Yi
2 Alferes, José Júlio
2 Angiulli, Fabrizio
2 Baral, Chitta R.
2 Bauters, Kim
2 Béatrix, Christopher
2 Ben-Eliyahu-Zohary, Rachel
2 Bertoli, Piergiorgio
2 Bertossi, Leopoldo E.
2 Bravo, Loreto
2 Brewka, Gerhard
2 Cadoli, Marco
2 Calautti, Marco
2 Chen, Yin
2 Cimatti, Alessandro
2 Condie, Tyson
2 Cuenca Grau, Bernardo
2 Das, Ariyam
2 Diéguez, Martín
2 Feier, Cristina
2 Fiorentini, Camillo
2 Formisano, Andrea
2 Gaggl, Sarah Alice
...and 310 more Authors

Citations by Year