Publications
(Year 1)
- Tina Dell’Armi, Wolfgang Faber, Giuseppe Ielpa,
Nicola Leone, and Gerald Pfeifer. Aggregate Functions in Disjunctive
Logic Programming: Semantics, Complexity, and Implementation in DLV. In
Proceedings of the 18th International Joint Conference on Artificial
Intelligence (IJCAI) 2003, Acapulco, Mexico, August 2003. Morgan
Kaufmann Publishers.
- Thomas Eiter, Wolfgang Faber, Nicola Leone, and
Gerald Pfeifer. Computing Preferred Answer Sets by Meta-Interpretation
in Answer Set Programming. Theory and Practice of Logic Programming. To
appear.
- Thomas Eiter, Wolfgang Faber, Nicola Leone,
Gerald Pfeifer, and Axel Polleres. A Logic Programming Approach to
Knowledge-State Planning, II: the DLVK System. Artificial Intelligence,
144(1–2):157–211, March 2003.
- Thomas Eiter, Wolfgang Faber, Nicola Leone,
Gerald Pfeifer, and Axel Polleres. A Logic Programming Approach to
Knowledge-State Planning: Semantics and Complexity. ACM Transactions on
Computational Logic, 2003. To appear.
- Thomas Eiter, Wolfgang Faber, Nicola Leone,
Gerald Pfeifer, and Axel Polleres. Answer Set Planning under Action
Costs. Journal of Artificial Intelligence Research, 2003.
- Christoph Koch, Nicola Leone, and Gerald Pfeifer.
Using SAT Checkers for Disjunctive Logic Programming Systems.
Artificial Intelligence, 2003. To appear.
- Nicola Leone, Gerald Pfeifer, Wolfgang Faber,
Francesco Calimeri, Tina Dell’Armi, Thomas Eiter, Georg Gottlob, ,
Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, and
Axel Polleres. The DLV System. In Sergio Flesca, Sergio Greco,
Giovambattista Ianni, and Nicola Leone, editors, Proceedings of the 8th
European Conference on Artificial Intelligence (JELIA), number 2424 in
LNCS, pages 537–540, September 2002.