Gerald Pfeifer

The DLV system for knowledge representation and reasoning

Nicola Leone, Gerald Pfeifer, Wolfgang Faber et al. · ACM Transactions on Computational Logic · 2006 · 1.2K citations · Full text

Computing, Computer Science, Knowledge Representation +9

Semantics and complexity of recursive aggregates in answer set programming

Wolfgang Faber, Gerald Pfeifer, Nicola Leone · Artificial Intelligence · 2010 · 241 citations · Full text

Computing, Computer Science, Algorithms +11

The KR system dlv: progress report, comparisons and benchmarks

Thomas Eiter, Nicola Leone, Cristinel Mateis et al. · 1998 · 210 citations

Computing, Computer Engineering, Computer Science +2

A logic programming approach to knowledge-state planning, II: The system

Thomas Eiter, Wolfgang Faber, Nicola Leone et al. · Artificial Intelligence · 2003 · 116 citations

Computing, Autonomous Systems, Computer Science +9

Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV

Tina Dell’Armi, Wolfgang Faber, Giuseppe Ielpa et al. · International Joint Conference on Artificial Intelligence · 2003 · 98 citations

Computing, Computer Science, Knowledge Representation +10