Gerald Pfeifer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
5
Active years
1997–2004
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | JELIA | New DLV Features for Data Integration. | Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2004 | JELIA | Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 2004 | KR | Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. | Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran |
| 2004 | LPNMR | System Description: DLV with Aggregates. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2004 | LPNMR | Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. | Gerald Pfeifer |
| 2003 | IJCAI | Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer |
| 2002 | JELIA | Answer Set Planning under Action Costs. | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2002 | JELIA | The DLV | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2002 | JELIA | The DLV System. | 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 |
| 2001 | IJCAI | Experimenting with Heuristics for Answer Set Programming. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 2001 | LPNMR | System Description: DLV. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2001 | LPNMR | System Description: The DLV | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2001 | LPNMR | Optimizing the Computation of Heuristics for Answer Set Programming Systems. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 1999 | LPNMR | Pushing Goal Derivation in DLP Computations. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 1998 | FQAS | Progress Report on the Disjunctive Deductive Database System | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1998 | KR | The KR System dlv: Progress Report, Comparisons and Benchmarks. | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1997 | LPNMR | A Deductive System for Non-Monotonic Reasoning. | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |