Publications
(Year 2)
- 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.
- 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/.
- 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.
- 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/.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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/.
- 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.
- 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.