The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Gerald Pfeifer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    A Deductive System for Non-Monotonic Reasoning. [Citation Graph (1, 0)][DBLP]
    LPNMR, 1997, pp:364-375 [Conf]
  2. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    The Architecture of a Disjunctive Deductive Database System. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:141-152 [Conf]
  3. Gerald Pfeifer
    Solving Hard Disjunctive Logic Programs Faster (Sometimes). [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:226-237 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    Progress Report on the Disjunctive Deductive Database System dlv. [Citation Graph (0, 0)][DBLP]
    FQAS, 1998, pp:148-163 [Conf]
  9. 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]
  10. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Experimenting with Heuristics for Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:635-640 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    The KR System dlv: Progress Report, Comparisons and Benchmarks. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:406-417 [Conf]
  18. 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]
  19. 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]
  20. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Pushing Goal Derivation in DLP Computations. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:177-191 [Conf]
  21. 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]
  22. 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]
  23. Gerald Pfeifer
    Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:220-233 [Conf]
  24. 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]
  25. Vincenzino Lio, Gerald Pfeifer
    Interoperabilita' tra sistemi Datalog disgiuntivi e DBMS: DLV. [Citation Graph (0, 0)][DBLP]
    SEBD, 2004, pp:42-53 [Conf]
  26. 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]
  27. 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]
  28. 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]
  29. Christoph Koch, Nicola Leone, Gerald Pfeifer
    Enhancing disjunctive logic programming systems by SAT checkers. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:151, n:1-2, pp:177-212 [Journal]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]

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


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


Search in 0.004secs, Finished in 0.006secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002