Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Gerald Pfeifer

Design and Implementation of Aggregate Functions in the DLV System


Feb 21, 2008
Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa

* 34 pages, 7 figures. This article has been accepted for publication in Theory and Practice of Logic Programming, Cambridge University Press 

  Access Paper or Ask Questions

The DLV System for Knowledge Representation and Reasoning


Sep 10, 2003
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello

* ACM Transactions on Computational Logic 7(3):499-562, 2006 
* 56 pages, 9 figures, 6 tables 

  Access Paper or Ask Questions

Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming


Jan 16, 2002
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer

* Theory and Practice of Logic Programming 3(4/5):463-498, 2003 
* 34 pages, appeared as a Technical Report at KBS of the Vienna University of Technology, see http://www.kr.tuwien.ac.at/research/reports/ 

  Access Paper or Ask Questions

A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity


Dec 05, 2001
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

* Artificial Intelligence 144:157-211, 2003 
* 48 pages, appeared as a Technical Report at KBS of the Vienna University of Technology, see http://www.kr.tuwien.ac.at/research/reports/ 

  Access Paper or Ask Questions

DLV - A System for Declarative Problem Solving


Mar 08, 2000
Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer

* 6 pages, 1 figure, 1 table 

  Access Paper or Ask Questions