Publications (Year 3)

1. Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, and Gerald Pfeifer. New dlv features for data integration. In José Júlio Alferes and João Leite, editors, Proceedings of the 9th European Conference on Artificial Intelligence (JELIA 2004), number 3229 in Lecture Notes in AI (LNAI), pages 698-701. Springer Verlag, September 2004.
2. Manuela Citrigno, Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Efficient evaluation of disjunctive datalog queries with aggregate functions. In Elio Panegai and Gianfranco Rossi, editors, Proceedings of the Italian Conference on Computational Logic (CILC 2004), pages 148-162, June 2004.
3. Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, and Nicola Leone.Enhancing the magic-set method for disjunctive datalog programs. In Bart Demoen and Vladimir Lifschitz, editors, Proceedings of the 20th International Conference on Logic Programming (ICLP'04), number 3132 in Lecture Notes in Computer Science, pages 371-385. Springer Verlag, September 2004.
4. Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala and Maria Carmela Santoro. A System with Template Answer Set Programs. In José Júlio Alferes and João Leite, editors, Proceedings of the 9th European Conference on Artificial Intelligence (JELIA 2004), number 3229 in Lecture Notes in AI (LNAI), pages 693-697. Springer Verlag, September 2004.
5. 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, 5(2), April 2004.
6. Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, and Stefan Woltran. Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. In Didier Dubois, Christopher Welty, and Mary-Anne Williams, editors, Proceedings Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), June 2-5, Whistler, British Columbia, Canada, pages 377-387. AAAI Press, June 2004.
7. Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Magic sets and their application to data integration. In Thomas Eiter and Leonid Libkin, editors, Proceedings of the Tenth International Conference on Database Theory (ICDT'05), volume 3363 of Lecture Notes in Computer Science, pages 306-320. Springer, January 2005.
8. Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Recursive aggregates in disjunctive logic programs: Semantics and complexity. In José Júlio Alferes and João Leite, editors, Proceedings of the 9th European Conference on Artificial Intelligence