The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wolfgang Faber: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chiara Cumbo, Wolfgang Faber, Gianluigi Greco
    Improving Query Optimization for Disjunctive Datalog. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:252-262 [Conf]
  2. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer
    Aggregate Functions in DLV. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  3. Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
    Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  4. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  5. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    Planning under Incomplete Knowledge. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:807-821 [Conf]
  6. Wolfgang Faber, Gianluigi Greco, Nicola Leone
    Magic Sets and Their Application to Data Integration. [Citation Graph (0, 0)][DBLP]
    ICDT, 2005, pp:306-320 [Conf]
  7. Francesco Buccafurri, Wolfgang Faber, Nicola Leone
    Disjunctive Logic Programs with Inheritance. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:79-93 [Conf]
  8. Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone
    Enhancing the Magic-Set Method for Disjunctive Datalog Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:371-385 [Conf]
  9. Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
    Declarative and Computational Properties of Logic Programs with Aggregates. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:406-411 [Conf]
  10. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer
    Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:847-852 [Conf]
  11. Wolfgang Faber, Kathrin Konczak
    Strong Equivalence for Logic Programs with Preferences. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:430-435 [Conf]
  12. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Experimenting with Heuristics for Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:635-640 [Conf]
  13. Wolfgang Faber, Nicola Leone, Francesco Ricca
    Heuristics for Hard ASP Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1562-1563 [Conf]
  14. Thomas Eiter, Esra Erdem, Wolfgang Faber
    On Reversing Actions: Algorithms and Complexity. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:336-341 [Conf]
  15. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    Answer Set Planning under Action Costs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:186-197 [Conf]
  16. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    The DLVK Planning System: Progress Report. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:541-544 [Conf]
  17. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:200-212 [Conf]
  18. Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer
    New DLV Features for Data Integration. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:698-701 [Conf]
  19. Nicola 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. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:537-540 [Conf]
  20. Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
    Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:377-387 [Conf]
  21. Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian
    The Relationship Between Reasoning About Privacy and Default Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:637-650 [Conf]
  22. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    System Description: The DLVK Planning System. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:429-433 [Conf]
  23. Thomas Eiter, Wolfgang Faber, Patrick Traxler
    Testing Strong Equivalence of Datalog Programs - Implementation and Examples. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:437-441 [Conf]
  24. Wolfgang Faber
    Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:40-52 [Conf]
  25. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Optimizing the Computation of Heuristics for Answer Set Programming Systems. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:295-308 [Conf]
  26. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Pushing Goal Derivation in DLP Computations. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:177-191 [Conf]
  27. Wolfgang Faber, Francesco Ricca
    Solving Hard ASP Programs Efficiently. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:240-252 [Conf]
  28. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer
    System Description: DLV. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:424-428 [Conf]
  29. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer
    System Description: DLV with Aggregates. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:326-330 [Conf]
  30. Nicola 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. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:379-383 [Conf]
  31. Wolfgang Faber, Nicola Leone
    On the Complexity of Answer Set Programming with Aggregates. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:97-109 [Conf]
  32. Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
    Experimenting with Look-Back Heuristics for Hard ASP Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:110-122 [Conf]
  33. Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Pruning operators for answer set programming systems. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:200-209 [Conf]
  34. Thomas Eiter, Esra Erdem, Wolfgang Faber
    Plan reversals for recovery in execution monitoring. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:147-154 [Conf]
  35. Wolfgang Faber, Gianluigi Greco, Nicola Leone
    Magic Sets and their Application to Data Integration. [Citation Graph (0, 0)][DBLP]
    SEBD, 2005, pp:47-54 [Conf]
  36. Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco
    Boosting Information Integration: The INFOMIX System. [Citation Graph (0, 0)][DBLP]
    SEBD, 2005, pp:55-66 [Conf]
  37. Nicola 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. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 2005, pp:915-917 [Conf]
  38. Wolfgang Faber
    Decomposition of Nonmonotone Aggregates in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    WLP, 2006, pp:164-171 [Conf]
  39. 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). [Citation Graph (0, 0)][DBLP]
    WLP, 1997, pp:0-0 [Conf]
  40. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    Using the dlv System for Planning and Diagnostic Reasoning. [Citation Graph (0, 0)][DBLP]
    WLP, 2000, pp:125-134 [Conf]
  41. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    A logic programming approach to knowledge-state planning, II: The DLVK system. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:144, n:1-2, pp:157-211 [Journal]
  42. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    The Diagnosis Frontend of the dlv System. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1999, v:12, n:1-2, pp:99-111 [Journal]
  43. Francesco Ricca, Wolfgang Faber, Nicola Leone
    A backjumping technique for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2006, v:19, n:2, pp:155-172 [Journal]
  44. Wolfgang Faber, Kathrin Konczak
    Strong order equivalence. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2006, v:47, n:1-2, pp:43-78 [Journal]
  45. Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer
    DLV - A System for Declarative Problem Solving [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  46. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  47. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
    The DLV System for Knowledge Representation and Reasoning [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  48. Francesco Buccafurri, Wolfgang Faber, Nicola Leone
    Disjunctive Logic Programs with Inheritance [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  49. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  50. Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone
    Pruning Operators for Disjunctive Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:71, n:2-3, pp:183-214 [Journal]
  51. Wolfgang Faber, Nicola Leone, Francesco Ricca
    Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. [Citation Graph (0, 0)][DBLP]
    Intelligenza Artificiale, 2005, v:2, n:3, pp:21-28 [Journal]
  52. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    Answer Set Planning Under Action Costs. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2003, v:19, n:, pp:25-71 [Journal]
  53. Wolfgang Faber, Gianluigi Greco, Nicola Leone
    Magic Sets and their application to data integration. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2007, v:73, n:4, pp:584-609 [Journal]
  54. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    A logic programming approach to knowledge-state planning: Semantics and complexity. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:2, pp:206-263 [Journal]
  55. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
    The DLV system for knowledge representation and reasoning. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:3, pp:499-562 [Journal]
  56. Francesco Buccafurri, Wolfgang Faber, Nicola Leone
    Disjunctive Logic Programs with Inheritance. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:3, pp:293-321 [Journal]
  57. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Computing preferred answer sets by meta-interpretation in answer set programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2003, v:3, n:4-5, pp:463-498 [Journal]
  58. Thomas Eiter, Esra Erdem, Wolfgang Faber, Ján Senko
    A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:1-2, pp:25-69 [Journal]

  59. Magic Sets for Data Integration. [Citation Graph (, )][DBLP]


  60. Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. [Citation Graph (, )][DBLP]


  61. The DLV Project: A Tour from Theory and Research to Applications and Market. [Citation Graph (, )][DBLP]


  62. Normal Form Nested Programs. [Citation Graph (, )][DBLP]


  63. Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. [Citation Graph (, )][DBLP]


  64. nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. [Citation Graph (, )][DBLP]


  65. Manifold Answer-Set Programs for Meta-reasoning. [Citation Graph (, )][DBLP]


  66. Complexity results for answer set programming with bounded predicate arities and implications. [Citation Graph (, )][DBLP]


  67. On look-ahead heuristics in disjunctive logic programming. [Citation Graph (, )][DBLP]


  68. Design and Implementation of Aggregate Functions in the DLV System [Citation Graph (, )][DBLP]


  69. Disjunctive ASP with Functions: Decidable Queries and Effective Computation [Citation Graph (, )][DBLP]


Search in 0.058secs, Finished in 0.062secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002