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. In Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni, editors, Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings. Volume 2424 of Lecture Notes in Computer Science, pages 537-540, Springer, 2002. [doi]
Abstract is missing.