Publications (Year 3)

1. Philip Besnard, Thorsten Schaub, Hans Tompits, and Stefan Woltran. Representing Paraconsistent Reasoning via Quantified Propositional Logic. In L. Pertossi, A. Hunter, and T. Schaub, editors, Inconsistency Tolerance, LNCS 3300, pages 84-118, Springer, 2005.
2. Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, and Gerald Pfeifer. New DLV Features for Data Integration. In J. Alferes and J. Leite, editors, Proceedings of the 9th European Conference  on Logics in Artificial Intelligence (JELIA'04), Lisbon, Portugal, LNAI 3229, pages 698-701, Springer, September 2004.
3. Manuela Citrigno, Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions DB. In E. Panegai and G. Rossi, editors, Proceedings of CILC'04 - Italian Conference on Computational Logic, pages 148-162, 2004.
4. Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Enhancing the magic-set method for disjunctive datalog programs. In B. Demoen and V. Lifschitz, editors, Proceedings of the 20th International Conference on Logic Programming (ICLP'04), Saint-Malo, France, LNCS 3132, pages 371-385, Springer, 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): 206-263, 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 D. Dubois, C. Welty, and M.A. Williams, editors, Proceedings Ninth International Conference on Principles of Know ledge Representation and Reasoning (KR 2004), June 2-5, Whistler, British Columbia, Canada, pages 377-387, Morgan Kaufmann, 2004.
7. Thomas Eiter, Michael Fink, Hans Tompits, and Stefan Woltran. On eliminating disjunctions in stable logic programming. In D. Dubois, C. Welty, and M.A. Williams, editors, Proceedings Ninth International Conference on Principles of Know ledge Representation and Reasoning (KR 2004), June 2-5, Whistler, British Columbia, Canada, pages 447-457, Morgan Kaufmann, 2004.
8. Thomas Eiter, Michael Fink, and Stefan Woltran. Semantical Characterizations and Complexity of Equivalences in Answer Set Programming. ACM Transactions on Computational Logic, To appear.
9. Thomas Eiter and Axel Polleres. Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications. Theory and Practice of Logic Programming. To appear.
10. Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. In J. Alferes and J. Leite, editors, Proceedings of the 9th European Conference  on Logics in Artificial Intelligence (JELIA'04), Lisbon, Portugal, LNAI 3229, pages 200-212, Springer, September 2004.
11. Wolfgang Faber and Stefan Woltran. KR 2004 – Konferenzbericht. ÖGAI Journal (23): 24-27, 2004.
12. Thomas Linke, Hans Tompits, and Stefan Woltran. On Acyclic and Head-Cycle Free Nested Logic Programs. In Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR'04), pages 267-275, 2004.
13. Thomas Linke, Hans Tompits, and Stefan Woltran. On Acyclic and Head-Cycle Free Nested Logic Programs. In B. Demoen and V. Lifschitz, editors, Proceedings of the 20th International Conference on Logic Programming (ICLP'04), Saint-Malo, France, LNCS 3132, pages 225-239, Springer, September 2004.
14. Stefan Woltran. Characterizations for Relativized Notions of Equivalence in Answer Set Programming. In J. Alferes and J. Leite, editors, Proceedings of the 9th European Conference  on Logics in Artificial Intelligence (JELIA'04), Lisbon, Portugal, LNAI 3229, pages 161-173, Springer, September 2004.