dblp.uni-trier.dewww.uni-trier.de

Wolfgang Faber Vis

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
72EEWolfgang Faber, Stefan Woltran: Manifold Answer-Set Programs for Meta-reasoning. LPNMR 2009: 115-128
71EEAnnamaria Bria, Wolfgang Faber, Nicola Leone: nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. LPNMR 2009: 477-482
2008
70 Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets for Data Integration. AAAI 2008: 1528-1531
69EENicola Leone, Wolfgang Faber: The DLV Project: A Tour from Theory and Research to Applications and Market. ICLP 2008: 53-68
68EEAnnamaria Bria, Wolfgang Faber, Nicola Leone: Normal Form Nested Programs. JELIA 2008: 76-88
67 Wolfgang Faber, Hans Tompits, Stefan Woltran: Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. KR 2008: 433-443
66EEWolfgang Faber, Nicola Leone, Francesco Ricca: Answer Set Programming. Wiley Encyclopedia of Computer Science and Engineering 2008
65EEWolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa: Design and Implementation of Aggregate Functions in the DLV System CoRR abs/0802.3137: (2008)
64EEMarco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone: Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. J. Algorithms 63(1-3): 70-89 (2008)
63EEThomas Eiter, Esra Erdem, Wolfgang Faber: Undoing the effects of action sequences. J. Applied Logic 6(3): 380-415 (2008)
62EEWolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa: Design and implementation of aggregate functions in the DLV system. TPLP 8(5-6): 545-580 (2008)
2007
61EEThomas Eiter, Esra Erdem, Wolfgang Faber: On Reversing Actions: Algorithms and Complexity. IJCAI 2007: 336-341
60EEWolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca: Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR 2007: 110-122
59EEWolfgang Faber, Nicola Leone: On the Complexity of Answer Set Programming with Aggregates. LPNMR 2007: 97-109
58EEThomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran: Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. 51(2-4): 123-165 (2007)
57EEWolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca: On look-ahead heuristics in disjunctive logic programming. Ann. Math. Artif. Intell. 51(2-4): 229-266 (2007)
56EEThomas Eiter, Esra Erdem, Wolfgang Faber, Ján Senko: A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. Fundam. Inform. 79(1-2): 25-69 (2007)
55EEWolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets and their application to data integration. J. Comput. Syst. Sci. 73(4): 584-609 (2007)
2006
54EEWolfgang Faber: Decomposition of Nonmonotone Aggregates in Answer Set Programming. WLP 2006: 164-171
53EENicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3): 499-562 (2006)
52EEFrancesco Ricca, Wolfgang Faber, Nicola Leone: A backjumping technique for Disjunctive Logic Programming. AI Commun. 19(2): 155-172 (2006)
51EEWolfgang Faber, Kathrin Konczak: Strong order equivalence. Ann. Math. Artif. Intell. 47(1-2): 43-78 (2006)
50EEFrancesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone: Pruning Operators for Disjunctive Logic Programming Systems. Fundam. Inform. 71(2-3): 183-214 (2006)
2005
49EEWolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets and Their Application to Data Integration. ICDT 2005: 306-320
48EEWolfgang Faber, Nicola Leone, Francesco Ricca: Heuristics for Hard ASP Programs. IJCAI 2005: 1562-1563
47EEFrancesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri: Declarative and Computational Properties of Logic Programs with Aggregates. IJCAI 2005: 406-411
46EEWolfgang Faber, Kathrin Konczak: Strong Equivalence for Logic Programs with Preferences. IJCAI 2005: 430-435
45EEJürgen Dix, Wolfgang Faber, V. S. Subrahmanian: The Relationship Between Reasoning About Privacy and Default Logics. LPAR 2005: 637-650
44EEWolfgang Faber, Francesco Ricca: Solving Hard ASP Programs Efficiently. LPNMR 2005: 240-252
43EENicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina: Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383
42EEWolfgang Faber: Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. LPNMR 2005: 40-52
41EEThomas Eiter, Wolfgang Faber, Patrick Traxler: Testing Strong Equivalence of Datalog Programs - Implementation and Examples. LPNMR 2005: 437-441
40 Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets and their Application to Data Integration. SEBD 2005: 47-54
39 Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco: Boosting Information Integration: The INFOMIX System. SEBD 2005: 55-66
38EENicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis: The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917
37 Wolfgang Faber, Nicola Leone, Francesco Ricca: Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. Intelligenza Artificiale 2(3): 21-28 (2005)
2004
36EEChiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone: Enhancing the Magic-Set Method for Disjunctive Datalog Programs. ICLP 2004: 371-385
35EEWolfgang Faber, Nicola Leone, Gerald Pfeifer: Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. JELIA 2004: 200-212
34EEFrancesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer: New DLV Features for Data Integration. JELIA 2004: 698-701
33 Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran: Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. KR 2004: 377-387
32EETina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV with Aggregates. LPNMR 2004: 326-330
31EEThomas Eiter, Esra Erdem, Wolfgang Faber: Plan reversals for recovery in execution monitoring. NMR 2004: 147-154
30EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Comput. Log. 5(2): 206-263 (2004)
2003
29 Chiara Cumbo, Wolfgang Faber, Gianluigi Greco: Improving Query Optimization for Disjunctive Datalog. APPIA-GULP-PRODE 2003: 252-262
28EETina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer: Aggregate Functions in DLV. Answer Set Programming 2003
27EEThomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran: Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Answer Set Programming 2003
26 Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. IJCAI 2003: 847-852
25EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A logic programming approach to knowledge-state planning, II: The DLVK system. Artif. Intell. 144(1-2): 157-211 (2003)
24EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning Under Action Costs. J. Artif. Intell. Res. (JAIR) 19: 25-71 (2003)
23 Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing preferred answer sets by meta-interpretation in answer set programming. TPLP 3(4-5): 463-498 (2003)
2002
22EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning under Action Costs. JELIA 2002: 186-197
21EENicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres: The DLV System. JELIA 2002: 537-540
20EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: The DLVK Planning System: Progress Report. JELIA 2002: 541-544
19 Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Pruning operators for answer set programming systems. NMR 2002: 200-209
18EENicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV System for Knowledge Representation and Reasoning CoRR cs.AI/0211004: (2002)
17EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming CoRR cs.LO/0201013: (2002)
16 Francesco Buccafurri, Wolfgang Faber, Nicola Leone: Disjunctive Logic Programs with Inheritance. TPLP 2(3): 293-321 (2002)
2001
15 Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings Springer 2001
14EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Answer Set Programming 2001
13 Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Experimenting with Heuristics for Answer Set Programming. IJCAI 2001: 635-640
12EEWolfgang Faber, Nicola Leone, Gerald Pfeifer: Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR 2001: 295-308
11EETina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV. LPNMR 2001: 424-428
10EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: System Description: The DLVK Planning System. LPNMR 2001: 429-433
9EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity CoRR cs.AI/0112006: (2001)
8EEFrancesco Buccafurri, Wolfgang Faber, Nicola Leone: Disjunctive Logic Programs with Inheritance CoRR cs.LO/0105036: (2001)
2000
7EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Planning under Incomplete Knowledge. Computational Logic 2000: 807-821
6 Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000: 125-134
5EEThomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer: DLV - A System for Declarative Problem Solving CoRR cs.AI/0003036: (2000)
1999
4 Francesco Buccafurri, Wolfgang Faber, Nicola Leone: Disjunctive Logic Programs with Inheritance. ICLP 1999: 79-93
3EEWolfgang Faber, Nicola Leone, Gerald Pfeifer: Pushing Goal Derivation in DLP Computations. LPNMR 1999: 177-191
2 Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: The Diagnosis Frontend of the dlv System. AI Commun. 12(1-2): 99-111 (1999)
1997
1 Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The dlv System: Model Generator and Advanced Frontends (system description). WLP 1997: 0-

Coauthor Index

1Annamaria Bria [68] [71]
2Francesco Buccafurri [4] [8] [16]
3Francesco Calimeri [19] [21] [34] [47] [50]
4Manuela Citrigno [34]
5Simona Citrigno [1]
6Chiara Cumbo [29] [34] [36]
7Tina Dell'Armi [11] [21] [26] [28] [32] [62] [65]
8Jürgen Dix [45]
9Thomas Eiter [1] [2] [5] [6] [7] [9] [10] [14] [15] [17] [18] [20] [21] [22] [23] [24] [25] [27] [30] [31] [33] [38] [39] [41] [43] [53] [56] [58] [61] [63]
10Esra Erdem [31] [56] [61] [63]
11Michael Fink [27] [33] [38] [39] [43] [58]
12Georg Gottlob [1] [18] [21] [38] [39] [43] [53]
13Luigi Granata [43]
14Gianluigi Greco [29] [36] [38] [39] [40] [43] [49] [55] [70]
15Giovambattista Ianni [21] [38] [43]
16Giuseppe Ielpa [11] [21] [26] [28] [32] [62] [65]
17Edyta Kalka [38] [43]
18Christoph Koch [1] [5] [11] [21]
19Kathrin Konczak [46] [51]
20Domenico Lembo [38] [43]
21Maurizio Lenzerini [38] [43]
22Nicola Leone [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [28] [30] [32] [34] [35] [36] [37] [38] [39] [40] [43] [47] [48] [49] [50] [52] [53] [55] [57] [59] [60] [62] [64] [65] [66] [68] [69] [70] [71]
23Vincenzino Lio [38] [43]
24Marco Maratea [60] [64]
25Cristinel Mateis [1]
26Bartosz Nowicki [38] [43]
27Simona Perri [11] [18] [21] [32] [34] [47] [53]
28Gerald Pfeifer [1] [2] [3] [5] [6] [7] [9] [10] [11] [12] [13] [14] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [32] [33] [34] [35] [50] [53] [57] [62] [65]
29Axel Polleres [6] [7] [9] [10] [20] [21] [22] [24] [25] [30]
30Francesco Ricca [37] [44] [48] [52] [57] [60] [64] [66]
31Riccardo Rosati [38] [43]
32Marco Ruzzi [38] [43]
33Francesco Scarcello [1] [18] [53]
34Ján Senko [56]
35Witold Staniszkis [38] [43]
36V. S. Subrahmanian [45]
37Giorgio Terracina [38] [43]
38Hans Tompits [67]
39Patrick Traxler [41]
40Miroslaw Truszczynski [15]
41Stefan Woltran [27] [33] [58] [67] [72]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)