Publications (Year 2)

  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 Intel ligence (IJCAI) 2003, Acapulco, Mexico, August 2003. Morgan Kaufmann Publishers.
  2. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, and Gerald Pfeifer. Aggregate functions in DLV. In Marina de Vos and Alessandro Provetti, edi- tors, Proceedings ASP03 - Answer Set Programming: Advances in Theory and Im- plementation, pages 274288, Messina, Italy, September 2003. Online at http://CEURWS. org/Vol-78/.
  3. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, and Gerald Pfeifer. System description: DLV with aggregates. In Vladimir Lifschitz and Ilkka Niemela,¨ editors, Proceedings of the 7th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR-7), LNCS, pages 326330. Springer, January 2004.
  4. Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, and Stefan Woltran. Complexity of answer set checking and bounded predicate arities for non-ground an- swer set programming. In Marina de Vos and Alessandro Provetti, editors, Proceed- ings ASP03 - Answer Set Programming: Advances in Theory and Implementation, Messina, Italy, September 2003, number 78 in CEUR Workshop Proceedings, pages 6983, 2003. Online http://CEUR-WS.org/Vol-78/.
  5. 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 Proceedings Ninth International Conference on Principles of Know ledge Representation and Reasoning (KR 2004), June 2-5, Whistler, British Columbia, Canada. Morgan Kaufmann, 2004. To appear.
  6. Chiara Cumbo, Wolfgang Faber, and Gianluigi Greco. Improving Query Optimiza- tion for Disjunctive Datalog. In Francesco Buccafurri, editor, Proceedings of the Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003, pages 252262, September 2003.
  7. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, and Francesco Scarcello. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic, 2004. To appear.
  8. Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Enhancing the magic-set method for disjunctive datalog programs. In Proceedings of the 20th Inter- national Conference on Logic Programming (ICLP'04), Septemb er 2004. Accepted for publication.
  9. Thomas Eiter and Michael Fink. Uniform equivalence of logic programs under the stable model semantics. In Catuscia Palamidessi, editor, Proceedings 19th Interna- tional Conference on Logic Programming (ICLP 2003), number 2916 in LNCS, pages 224238. Springer, 2003.
  10. Thomas Eiter, Michael Fink, Gianluigi Greco, and Domenico Lembo. Efficient evaluation of logic programs for querying data integration systems. In Catuscia Palamidessi, editor, Proceedings 19th International Conference on Logic Program- ming (ICLP 2003), number 2916 in LNCS, pages 163177. Springer, 2003.
  11. Thomas Eiter, Michael Fink, Hans Tompits, and Stefan Woltran. Eliminating dis- junction from propositional logic programs under stable mo del preservation. In Marina de Vos and Alessandro Provetti, editors, Proceedings ASP03 - Answer Set Programming: Advances in Theory and Implementation, Messina, Italy, September 2003, number 78 in CEUR Workshop Proceedings, pages 151165, 2003. Online http://CEUR- WS.org/Vol- 78/.
  12. Thomas Eiter, Michael Fink, Hans Tompits, and Stefan Woltran. On eliminating disjunctions in stable logic programming. In Proceedings Ninth International Con- ference on Principles of Know ledge Representation and Reasoning (KR 2004), June 2-5, Whistler, British Columbia, Canada. Morgan Kaufmann, 2004. To appear.
  13. Thomas Eiter, Michael Fink, Hans Tompits, and Stefan Woltran. Simplifying logic programs under uniform and strong equivalence. In Ilkka Niemela and Vladimir Lifs- chitz, editors, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2004), numb er 2923 in LNCS, pages 8799. Springer, 2004.