Publications

Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, and Simona Perri. Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Journal of Artificial Intelligence Research 42, November 2011. doi:10.1613/jair.3432. URI: http://www.jair.org/papers/paper3432.html. Wolfgang Faber, Nicola Leone, Marco Maratea, and Francesco Ricca. Look-back Techniques for ASP Programs with Aggregates. Fundamenta Informaticae 107(4):379-413, 2011. doi:10.3233/FI-2011-408. Mario Alviano and Wolfgang Faber. Dynamic Magic Sets and Super-coherent Answer Set Programs. AI Communications - The European Journal on Artificial Intelligence 24(2):125-145, 2011. doi:10.3233/AIC-2011-0492. Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Semantics and Complexity of Recursive Aggregates in Answer Set Programming. Artificial Intelligence 175(1):278-298, 2011. doi:10.1016/j.artint.2010.04.002. Special Issue: John McCarthy's Legacy Mario Alviano, Wolfgang Faber, and Nicola Leone. Disjunctive ASP with Functions: Decidable Queries and Effective Computation. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue 10(4-6):497-512, 2010. doi:10.1017/S1471068410000244. Annamaria Bria, Wolfgang Faber, and Nicola Leone. Normal Form Nested Programs. Fundamenta Informaticae 96(3):271-295, 2009. doi:10.3233/FI-2009-179. Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, and Giuseppe Ielpa. Design and Implementation of Aggregate Functions in the DLV System. Theory and Practice of Logic Programming 8(5-6):545-580, 2008. doi:10.1017/S1471068408003323. Marco Maratea, Francesco Ricca, Wolfgang Faber, and Nicola Leone. Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers. Journal of Algorithms in Cognition, Informatics and Logics 63(1-3):70-89, 2008. doi:10.1016/j.jalgor.2008.02.006. Thomas Eiter, Esra Erdem, and Wolfgang Faber. Undoing the Effects of Action Sequences. Journal of Applied Logic 6(3):380-415, 2008. doi:10.1016/j.jal.2007.05.002. Thomas Eiter, Wolfgang Faber, Michael Fink, and Stefan Woltran. Complexity Results for Answer Set Programming with Bounded Predicate Arities and Implications. Annals of Mathematics and Artificial Intelligence 51(2-4):123-165, 2007. doi:10.1007/s10472-008-9086-5. Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Francesco Ricca. On Look-Ahead Heuristics in Disjunctive Logic Programming. Annals of Mathematics and Artificial Intelligence 51(2-4):229-266, 2007. doi:10.1007/s10472-008-9087-4. Thomas Eiter, Esra Erdem, Wolfgang Faber, and Ján Senko. A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. Fundamenta Informaticae 79(1-2):25-69, 2007. URI: http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=79&issue=1&spage=25. Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Magic Sets and their Application to Data Integration. Journal of Computer and System Sciences 73(4):584-609, 2007. doi:10.1016/j.jcss.2006.10.012. Wolfgang Faber and Kathrin Konczak. Strong Order Equivalence. Annals of Mathematics and Artificial Intelligence 47(1-2):43-78, June 2006. doi:10.1007/s10472-006-9027-0. 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 7(3):499-562, July 2006. doi:10.1145/1149114.1149117. URI: http://www.arxiv.org/ps/cs.AI/0211004. Francesco Ricca, Wolfgang Faber, and Nicola Leone. A Backjumping Technique for Disjunctive Logic Programming. AI Communications - The European Journal on Artificial Intelligence 19(2):155-172, 2006. URI: http://www.wfaber.com/research/papers/aicom-bj.ps.gz. URI: http://www.wfaber.com/research/papers/aicom-bj.pdf. Francesco Calimeri, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Pruning Operators for Disjunctive Logic Programming Systems. Fundamenta Informaticae 71(2-3), 2006. URI: http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=71&issue=2&spage=183. URI: http://www.wfaber.com/research/papers/fi-prunop.ps.gz. URI: http://www.wfaber.com/research/papers/fi-prunop.pdf. Wolfgang Faber, Nicola Leone, and Francesco Ricca. Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. Intelligenza Artificiale 2(3):21-28, September 2005. 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. doi:10.1145/976706.976708. 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 3, July/September 2003. doi:10.1017/S1471068403001753. URI: http://www.wfaber.com/research/papers/tplp2003.ps.gz. URI: http://www.wfaber.com/research/papers/tplp2003.pdf. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. Answer Set Planning under Action Costs. Journal of Artificial Intelligence Research 19, 2003. URI: http://www.jair.org/papers/paper1148.html. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. A Logic Programming Approach to Knowledge-State Planning, II: the DLV$^K$ System. Artificial Intelligence 144(1-2):157-211, March 2003. doi:10.1016/S0004-3702(02)00367-3. Francesco Buccafurri, Wolfgang Faber, and Nicola Leone. Disjunctive Logic Programs with Inheritance. Theory and Practice of Logic Programming 2(3), May 2002. doi:10.1017/S1471068402001394. URI: http://www.wfaber.com/research/papers/tplp2002.ps.gz. URI: http://www.wfaber.com/research/papers/tplp2002.pdf. Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. The Diagnosis Frontend of the dlv System. AI Communications - The European Journal on Artificial Intelligence 12(1-2):99-111, 1999. URI: http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=12&issue=1&spage=99. URI: http://www.dbai.tuwien.ac.at/proj/dlv/papers/DBAI-TR-98-20.ps.gz.

Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, and Giorgio Terracina. The Disjunctive Datalog System DLV. Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers. 2011. Springer Verlag. Editors: Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Sellers. ISBN: 978-3-642-24205-2. Mario Alviano, Francesco Calimeri, Wolfgang Faber, Giovambattista Ianni, and Nicola Leone. Function Symbols in ASP: Overview and Perspectives. Nonmonotonic Reasoning at 30. June 2011. College Publications. Editors: Gerhard Brewka, Victor Marek, and Mirosław Truszczy\`nski. ISBN: 978-1-84890-042-4. Wolfgang Faber and Stefan Woltran. Manifold Answer-Set Programs and Their Applications. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Pages: 44-63. 2011. Springer Verlag. Editors: Marcello Balduccini and Son Tran. ISBN: 978-3-642-20831-7. doi:10.1007/978-3-642-20832-4_4. Wolfgang Faber, Nicola Leone, and Francesco Ricca. Answer Set Programming. Wiley Encyclopedia of Computer Science and Engineering. Pages: 149-162. January 2009. John Wiley & Sons, Inc.. John Wiley & Sons, Inc.. Editor: Benjamin W. Wah. doi:10.1002/9780470050118.ecse226. ISBN: 978-0-471-38393-2. Thomas Eiter, Wolfgang Faber, Gerald Pfeifer, and Axel Polleres. Declarative Planning and Knowledge Representation in an Action Language. Intelligent Techniques for Planning. Pages: 1-34. 2005. Idea Group, Inc.. Editors: Ioannis Vlahavas and Dimitris Vrakas. ISBN: 1-59140-450-9. Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Declarative Problem-Solving Using the DLV System. Logic-Based Artificial Intelligence. Pages: 79-103. 2000. Kluwer Academic Publishers. Editor: Jack Minker. ISBN: 0-7923-7224-7.

Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, and Marco Sirianni. The Birth of a WASP: Preliminary Report on a New ASP Solver. Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011). August 2011. Editor: Fabio Fioravanti. URI: http://ceur-ws.org/Vol-810/paper-l06.pdf. Mario Alviano, Wolfgang Faber, and Stefan Woltran. Complexity of Super-Coherence Problems in Answer Set Programming. Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011). August 2011. Editor: Fabio Fioravanti. URI: http://ceur-ws.org/Vol-810/paper-l08.pdf. Mario Alviano, Wolfgang Faber, and Stefan Woltran. Complexity of Super-Coherence Problems in ASP. Proceedings of the 4th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2011). July 2011. Editors: Marcello Balduccini and Stefan Woltran. Wolfgang Faber. Privacy Preservation Using Multi-Context Systems. Proceedings of the 2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications. Pages: 45-51. May 2011. Editors: Alessandra Mileo and Michael Fink. Wolfgang FaberURI: http://ceur-ws.org/Vol-738/faber.pdf. Mario Alviano and Wolfgang Faber. Dynamic Magic Sets for Super-Consistent Answer Set Programs. Proceedings of the 3rd Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2010). July 2010. Editors: Marcello Balduccini and Stefan Woltran. Thomas Eiter, Wolfgang Faber, and Mushthofa Mushthofa. Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10). July 2010. AAAI Press. Editors: Maria Fox and David Poole. URI: http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1776/1979. Mario Alviano, Wolfgang Faber, and Nicola Leone. Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. Proceedings of the 17th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2010). June 2010. Editors: Marco Gavanelli and Toni Mancini. URI: http://ceur-ws.org/Vol-616/paper08.pdf. Wolfgang Faber and Stefan Woltran. A Framework for Programming with Module Consequences. Proceedings of the LPNMR-09 Workshop on Software Engineering for Answer Set Programming, (SEA'09). Pages: 34-48. September 2009. Editors: Marina De Vos and Torsten Schaub. URI: http://ceur-ws.org/Vol-546/34-48.pdf. Wolfgang Faber and Stefan Woltran. Manifold Answer-Set Programs for Meta-Reasoning. Logic Programming and Nonmonotonic Reasoning — 10th International Conference (LPNMR 2009). Pages: 115-128. September 2009. Springer Verlag. Editors: Esra Erdem, Fangzhen Lin, and Torsten Schaub. ISBN: 978-3-642-04237-9. doi:10.1007/978-3-642-04238-6_12. Annamaria Bria, Wolfgang Faber, and Nicola Leone. nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. Logic Programming and Nonmonotonic Reasoning — 10th International Conference (LPNMR 2009). Pages: 477-482. September 2009. Springer Verlag. Editors: Esra Erdem, Fangzhen Lin, and Torsten Schaub. ISBN: 978-3-642-04237-9. doi:10.1007/978-3-642-04238-6_45. Wolfgang Faber and Stefan Woltran. Manifold Answer-Set Programs for Meta-Reasoning. The IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change. July 2009. Annamaria Bria, Wolfgang Faber, and Nicola Leone. nfn2dlp: A Compiler for Normal Form Nested Programs. Proceedings of the 24th Italian Conference on Computational Logic (CILC 2009). June 2009. June 2009. Editors: Marco Gavanelli and Fabrizio Riguzzi. URI: http://www.ing.unife.it/eventi/cilc09/papers/cilc09_submission_25.pdf. Wolfgang Faber, Nicola Leone, Marco Maratea, and Francesco Ricca. Look-back Techniques for ASP Programs with Aggregates. The 15th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2008). December 2008. Editors: Marco Gavanelli and Toni Mancini. Nicola Leone and Wolfgang Faber. The DLV Project: A Tour from Theory and Research to Applications and Market. Proceedings of the 24th International Conference on Logic Programming (ICLP'08). Pages: 53-68. December 2008. Springer Verlag. Editors: Maria Garcia de la Banda and Enrico Pontelli. ISBN: 978-3-540-89981-5. doi:10.1007/978-3-540-89982-2_10. Wolfgang Faber, Nicola Leone, Marco Maratea, and Francesco Ricca. Backjumping and Look-back Heuristics for Disjunctive Logic Programming with Aggregates. Proceedings of the 2nd International Workshop on Logic and Search (LaSh'08). November 2008. Annamaria Bria, Wolfgang Faber, and Nicola Leone. Normal Form Nested Programs. Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008). Pages: 76-88. September 2008. Springer Verlag. Editors: Steffen Hölldobler, Carsten Lutz, and Heinrich Wansing. ISBN: 978-3-540-87802-5. doi:10.1007/978-3-540-87803-2_8. Wolfgang Faber, Hans Tompits, and Stefan Woltran. Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008). Pages: 433-443. September 2008. AAAI Press. Editors: Gerhard Brewka and Jér\^ome Lang. ISBN: 978-1-57735-384-3. Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Magic Sets for Data Integration. Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008). Pages: 1528-1531. July 2008. AAAI Press. Editors: Dieter Fox and Carla P. Gomes. ISBN: 978-1-57735-368-3. Mario Alviano, Wolfgang Faber, and Nicola Leone. Compiling Minimum and Maximum Aggregates into Standard ASP. Proceedings of the 23rd Italian Conference on Computational Logic (CILC 2008). July 2008. Editor: Andrea Formisano. URI: http://www.dipmat.unipg.it/CILC08/24_AlvianoFaberLeone.pdf. Annamaria Bria, Wolfgang Faber, and Nicola Leone. Normal Form Nested Programs. Proceedings of the 23rd Italian Conference on Computational Logic (CILC 2008). July 2008. Editor: Andrea Formisano. URI: http://www.dipmat.unipg.it/CILC08/25_BriaFaberLeone.pdf. Wolfgang Faber, Hans Tompits, and Stefan Woltran. Characterizing Notions of Strong Equivalence for Logic Programs with Ordered Disjunctions. Proceedings of the 3rd Multidisciplinary Workshop on Advances in Preference Handling. September 2007. Wolfgang Faber, Nicola Leone, Marco Maratea, and Francesco Ricca. Looking Back in DLV: Experiments and Comparison to QBF Solvers. Proceedings of the 4th International Workshop on Answer Set Programming (ASP 2007). September 2007. Editors: Stefania Costantini and Richard Watson. Wolfgang Faber, Nicola Leone, Marco Maratea, and Francesco Ricca. Look-Back Techniques and Heuristics in DLV: Implementation and Evaluation. The 14th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. July 2007. Editors: Marco Gavanelli and Toni Mancini. Mario Alviano, Wolfgang Faber, and Nicola Leone. Using Unfounded Sets for Computing Answer Sets of Programs with Recursive Aggregates. Proceedings of the Italian Conference on Computational Logic (CILC 2007). June 2007. Editors: Giacomo Fiumara, Massimo Marchi, and Alessandro Provetti. Wolfgang Faber, Nicola Leone, Marco Maratea, and Francesco Ricca. Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV. Proceedings of the Italian Conference on Computational Logic (CILC 2007). June 2007. Editors: Giacomo Fiumara, Massimo Marchi, and Alessandro Provetti. Wolfgang Faber, Nicola Leone, Marco Maratea, and Francesco Ricca. Experimenting with Look-Back Heuristics for Hard ASP Programs. Logic Programming and Nonmonotonic Reasoning — 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 2007, Proceedings. Pages: 110-122. May 2007. Springer Verlag. Editors: Chitta Baral, Gerhard Brewka, and John Schlipf. ISBN: 3-540-72199-1. Wolfgang Faber and Nicola Leone. On the Complexity of Answer Set Programming with Aggregates. Logic Programming and Nonmonotonic Reasoning — 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 2007, Proceedings. Pages: 97-109. May 2007. Springer Verlag. Editors: Chitta Baral, Gerhard Brewka, and John Schlipf. ISBN: 3-540-72199-1. Thomas Eiter, Esra Erdem, and Wolfgang Faber. On Reversing Actions: Algorithms and Complexity. Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07). Pages: 336-341. January 2007. Wolfgang Faber, Nicola Leone, Marco Maratea, and Francesco Ricca. Evaluating Backjumping for Disjunctive Logic Programming. Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale. 2006. Editors: Marco Gavanelli and Toni Mancini. Wolfgang Faber. Decomposition of Nonmonotone Aggregates in Logic Programming. Proceedings of the 20th Workshop on Logic Programming (WLP 2006). Pages: 164-171. February 2006. Editors: Michael Fink, Hans Tompits, and Stefan Woltran. Wolfgang FaberURI: http://www.wfaber.com/research/papers/wlp06.ps.gz. URI: http://www.wfaber.com/research/papers/wlp06.pdf. Jürgen Dix, Wolfgang Faber, and V.S. Subrahmanian. The Relationship between Reasoning about Privacy and Default Logics. Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005. Pages: 637-650. December 2005. Springer Verlag. Editors: Geoff Sutcliffe and Andrei Voronkov. ISBN: 3-540-30553-X. URI: http://www.wfaber.com/research/papers/lpar2005.ps.gz. URI: http://www.wfaber.com/research/papers/lpar2005.pdf. Wolfgang Faber. Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. Logic Programming and Nonmonotonic Reasoning — 8th International Conference, LPNMR'05, Diamante, Italy, September 2005, Proceedings. Pages: 40-52. September 2005. Springer Verlag. Editors: Chitta Baral, Gianluigi Greco, Nicola Leone, and Giorgio Terracina. Wolfgang FaberISBN: 3-540-28538-5. URI: http://www.wfaber.com/research/papers/lpnmr2005-aggr.ps.gz. URI: http://www.wfaber.com/research/papers/lpnmr2005-aggr.pdf. Wolfgang Faber and Francesco Ricca. Solving Hard ASP Programs Efficiently. Logic Programming and Nonmonotonic Reasoning — 8th International Conference, LPNMR'05, Diamante, Italy, September 2005, Proceedings. Pages: 240-252. September 2005. Springer Verlag. Editors: Chitta Baral, Gianluigi Greco, Nicola Leone, and Giorgio Terracina. ISBN: 3-540-28538-5. URI: http://www.wfaber.com/research/papers/lpnmr2005-heur.ps.gz. URI: http://www.wfaber.com/research/papers/lpnmr2005-heur.pdf. Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kałka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, and Giorgio Terracina. Data Integration: A Challenging ASP Application. Logic Programming and Nonmonotonic Reasoning — 8th International Conference, LPNMR'05, Diamante, Italy, September 2005, Proceedings. Pages: 379-383. September 2005. Springer Verlag. Editors: Chitta Baral, Gianluigi Greco, Nicola Leone, and Giorgio Terracina. ISBN: 3-540-28538-5. Thomas Eiter, Wolfgang Faber, and Patrick Traxler. Testing Strong Equivalence of Datalog Programs - Implementation and Examples. Logic Programming and Nonmonotonic Reasoning — 8th International Conference, LPNMR'05, Diamante, Italy, September 2005, Proceedings. Pages: 437-441. September 2005. Springer Verlag. Editors: Chitta Baral, Gianluigi Greco, Nicola Leone, and Giorgio Terracina. ISBN: 3-540-28538-5. URI: http://www.wfaber.com/research/papers/lpnmr2005-system-se.ps.gz. URI: http://www.wfaber.com/research/papers/lpnmr2005-system-se.pdf. Wolfgang Faber, Nicola Leone, and Francesco Ricca. Heuristics for Hard ASP Programs. Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05). Pages: 1562-1563. August 2005. Wolfgang Faber and Kathrin Konczak. Strong Equivalence for Logic Programs with Preferences. Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05). Pages: 430-435. August 2005. URI: http://www.wfaber.com/research/papers/ijcai2005-pref.ps.gz. URI: http://www.wfaber.com/research/papers/ijcai2005-pref.pdf. Francesco Calimeri, Wolfgang Faber, Nicola Leone, and Simona Perri. Declarative and Computational Properties of Logic Programs with Aggregates. Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05). Pages: 406-411. August 2005. URI: http://www.wfaber.com/research/papers/ijcai2005-aggr.ps.gz. URI: http://www.wfaber.com/research/papers/ijcai2005-aggr.pdf. Wolfgang Faber, Nicola Leone, and Francesco Ricca. A Backjumping Technique for Disjunctive Logic Programming. Answer Set Programming: Advances in Theory and Implementation (ASP'05). Pages: 216-230. July 2005. Research Press International. Editors: Marina De Vos and Alessandro Provetti. ISBN: 1-897851-15-4. Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Magic Sets and their Application to Data Integration. Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems (SEBD-2005). Pages: 47-54. June 2005. Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco, Edyta Kałka, Giovambattista Ianni, Domenico Lembo, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, and Giorgio Terracina. Boosting Information Integration: The INFOMIX System. Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems (SEBD-2005). Pages: 55-66. June 2005. Nicola Leone, Georg Gottlob, Riccardo Rosati, Thomas Eiter, Wolfgang Faber, Michael Fink, Gianluigi Greco, Giovambattista Ianni, Edyta Kałka, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Marco Ruzzi, Witold Staniszkis, and Giorgio Terracina. The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. Proceedings of the 24th ACM SIGMOD International Conference on Management of Data (SIGMOD 2005). Pages: 915-917. June 2005. ACM Press. Wolfgang Faber, Nicola Leone, and Francesco Ricca. Solving Problems on the Second Level of the Polynomial Hierarchy. Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale. Pages: 115-116. June 10 2005. Editors: Marco Cadoli, Marco Gavanelli, and Toni Mancini. URI: http://www.ing.unife.it/eventi/rcra05/articoli/Faber-heur.pdf. Wolfgang Faber. A Tool for Benchmarking Command-line Systems. Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale. Pages: 113-114. June 10 2005. Editors: Marco Cadoli, Marco Gavanelli, and Toni Mancini. Wolfgang FaberURI: http://www.ing.unife.it/eventi/rcra05/articoli/Faber-bmtool.pdf. Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Magic Sets and their Application to Data Integration. Proceedings of the Tenth International Conference on Database Theory (ICDT'05). Pages: 306-320. January 2005. Springer. Editors: Thomas Eiter and Leonid Libkin. ISBN: 3-540-24288-0. URI: http://www.wfaber.com/research/papers/icdt2005.ps.gz. URI: http://www.wfaber.com/research/papers/icdt2005.pdf. Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004). Pages: 200-212. September 2004. Springer Verlag. Editors: José Júlio Alferes and João Leite. URI: http://www.wfaber.com/research/papers/jelia2004.ps.gz. URI: http://www.wfaber.com/research/papers/jelia2004.pdf. ISBN: 3-540-23242-7. Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, and Gerald Pfeifer. New DLV Features for Data Integration. Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004). Pages: 698-701. September 2004. Springer Verlag. Editors: José Júlio Alferes and João Leite. URI: http://www.wfaber.com/research/papers/jelia2004system.ps.gz. URI: http://www.wfaber.com/research/papers/jelia2004system.pdf. ISBN: 3-540-23242-7. Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Enhancing the Magic-Set Method for Disjunctive Datalog Programs. Proceedings of the 20th International Conference on Logic Programming (ICLP'04). Pages: 371-385. September 2004. Springer Verlag. Editors: Bart Demoen and Vladimir Lifschitz. ISBN: 3-540-22671-0. URI: http://www.wfaber.com/research/papers/iclp2004.ps.gz. URI: http://www.wfaber.com/research/papers/iclp2004.pdf. Manuela Citrigno, Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions. Proceedings of the Italian Conference on Computational Logic (CILC 2004). Pages: 148-162. June 2004. Editors: Elio Panegai and Gianfranco Rossi. URI: http://www.cs.unipr.it/CILC04/DownloadArea/CitrignoFGL-CILC04.pdf. Thomas Eiter, Esra Erdem, and Wolfgang Faber. Plan Reversals for Recovery in Execution Monitoring. Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004). Pages: 147-154. June 2004. Editors: James Delgrande and Torsten Schaub. ISBN: 92-990021-0-X. URI: http://www.wfaber.com/research/papers/nmr2004.ps.gz. URI: http://www.wfaber.com/research/papers/nmr2004.pdf. 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. Proceedings Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), June 2-5, Whistler, British Columbia, Canada. Pages: 377-387. June 2004. AAAI Press. Editors: Didier Dubois, Christopher Welty, and Mary-Anne Williams. ISBN: 1-57735-201-7. URI: http://www.wfaber.com/research/papers/kr2004.ps.gz. URI: http://www.wfaber.com/research/papers/kr2004.pdf. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, and Gerald Pfeifer. System Description: DLV with Aggregates. Proceedings of the 7th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR-7). Pages: 326-330. January 2004. Springer. Editors: Vladimir Lifschitz and Ilkka Niemelä. URI: http://www.wfaber.com/research/papers/lpnmr2003system.ps.gz. URI: http://www.wfaber.com/research/papers/lpnmr2003system.pdf. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, and Gerald Pfeifer. Aggregate Functions in DLV. Proceedings ASP03 - Answer Set Programming: Advances in Theory and Implementation. Pages: 274-288. September 2003. Editors: Marina de Vos and Alessandro Provetti. Online at \urlhttp://CEUR-WS.org/Vol-78/ Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, and Stefan Woltran. Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Proceedings ASP03 - Answer Set Programming: Advances in Theory and Implementation. Pages: 69-83. September 2003. Editors: Marina de Vos and Alessandro Provetti. Online at \urlhttp://CEUR-WS.org/Vol-78/URI: http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-78/asp03-final-eiter-compl.pdf. URI: http://www.wfaber.com/research/papers/asp03-complexity.ps.gz. Chiara Cumbo, Wolfgang Faber, and Gianluigi Greco. Improving Query Optimization for Disjunctive Datalog. 2003 Joint Conference on Declarative Programming (APPIA-GULP-PRODE 2003). Pages: 252-262. September 2003. Editor: Francesco Buccafurri. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, and Gerald Pfeifer. Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) 2003. Pages: 847-852. August 2003. Morgan Kaufmann Publishers. ISBN: 0-127-05661-0. URI: http://www.wfaber.com/research/papers/ijcai03.ps.gz. URI: http://www.wfaber.com/research/papers/ijcai03.pdf. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. Answer Set Planning under Action Costs. Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA). Pages: 186-197. September 2002. Editors: Sergio Flesca, Sergio Greco, Giovambattista Ianni, and Nicola Leone. URI: http://www.wfaber.com/research/papers/jelia2002.ps.gz. URI: http://www.wfaber.com/research/papers/jelia2002.pdf. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. The DLV$^K$ Planning System: Progress Report. Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA). Pages: 541-544. September 2002. Editors: Sergio Flesca, Sergio Greco, Giovambattista Ianni, and Nicola Leone. (System Description)URI: http://www.wfaber.com/research/papers/jelia2002DLVKsystem.ps.gz. URI: http://www.wfaber.com/research/papers/jelia2002DLVKsystem.pdf. 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. Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA). Pages: 537-540. September 2002. Editors: Sergio Flesca, Sergio Greco, Giovambattista Ianni, and Nicola Leone. (System Description)URI: http://www.wfaber.com/research/papers/jelia2002DLVsystem.ps.gz. URI: http://www.wfaber.com/research/papers/jelia2002DLVsystem.pdf. Francesco Calimeri, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Pruning Operators for Answer Set Programming Systems. Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'2002). Pages: 200-209. April 2002. URI: http://www.kr.tuwien.ac.at/research/reports/rr0107.ps.gz. Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri, and Gerald Pfeifer. DLV - Declarative Problem Solving using Answer Set Programming. Proceedings of the Seventh Congress of the Italian Association for Artificial Intelligence AI*IA 2001. 2001. Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Optimizing the Computation of Heuristics for Answer Set Programming Systems. Logic Programming and Nonmonotonic Reasoning — 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings. Pages: 288-301. September 2001. Springer Verlag. Editors: Thomas Eiter, Wolfgang Faber, and Mirosław Truszczyński. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, and Gerald Pfeifer. System Description: DLV. Logic Programming and Nonmonotonic Reasoning — 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings. Pages: 409-412. September 2001. Springer Verlag. Editors: Thomas Eiter, Wolfgang Faber, and Mirosław Truszczyński. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. System Description: The DLV$^K$ Planning System. Logic Programming and Nonmonotonic Reasoning — 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings. Pages: 413-416. September 2001. Springer Verlag. Editors: Thomas Eiter, Wolfgang Faber, and Mirosław Truszczyński. URI: http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-2001c.ps.gz. Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Experimenting with Heuristics for Answer Set Programming. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI) 2001. Pages: 635-640. August 2001. Morgan Kaufmann Publishers. URI: http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-2001a.ps.gz. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. The DLV$^K$ Planning System. IJCAI-01 Workshop on Planning under Uncertainty and Incomplete Information. Pages: 76-81. August 2001. Editors: Alessandro Cimatti, Héctor Geffner, Enrico Giunchiglia, and Jussi Rintanen. Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. A Comparison of Heuristics for Answer Set Programming. Proceedings of the 5th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR 2001). Pages: 64-75. April 2001. Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming. Proceedings AAAI 2001 Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning. Pages: 45-52. March 2001. AAAI Press. Editors: Alessandro Provetti and Son Tran Cao. URI: http://www.dbai.tuwien.ac.at/proj/dlv/papers/eite-etal-2001a.ps.gz. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. Planning under Incomplete Knowledge. Computational Logic - CL 2000, First International Conference, Proceedings. Pages: 807-821. July 2000. Springer Verlag. Editors: John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, and Peter J. Stuckey. Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, and Gerald Pfeifer. DLV - A System for Declarative Problem Solving. Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR'2000). April 2000. Editors: Chitta Baral and Mirosław Truszczyński. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. Using the dlv System for Planning and Diagnostic Reasoning. Proceedings of the 14th Workshop on Logic Programming (WLP'99). Pages: 125-134. January 2000. GMD - Forschungszentrum Informationstechnik GmbH, Berlin. Editors: François Bry, Ulrich Geske, and Dietmar Seipel. ISSN 1435-2702 Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Pushing Goal Derivation in DLP Computations. Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99). Pages: 177-191. December 1999. Springer Verlag. Editors: Michael Gelfond, Nicola Leone, and Gerald Pfeifer. URI: http://www.wfaber.com/research/papers/lpnmr99.ps.gz. URI: http://www.wfaber.com/research/papers/lpnmr99.pdf. Francesco Buccafurri, Wolfgang Faber, and Nicola Leone. Disjunctive Logic Programs with Inheritance. Proceedings of the 16th International Conference on Logic Programming (ICLP'99). Pages: 79-93. November 1999. The MIT Press. Editor: Danny De Schreye. Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. dlv: a DLP System for AI. Sixth Congress of the Italian Association for Artificial Intelligence (AIIA '99). Pages: 511-514. September 1999. Pitagora Editrice Bologna. Editors: Evelina Lamma and Paola Mello. Wolfgang Faber, Nicola Leone, Cristinel Mateis, and Gerald Pfeifer. Using Database Optimization Techniques for Nonmonotonic Reasoning. Proceedings of the 7th International Workshop on Deductive Databases and Logic Programming (DDLP'99). Pages: 135-139. September 1999. Prolog Association of Japan. Editor: INAP Organizing Committee. URI: http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-99c.ps.gz. Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and F. Scarcello. The DLV System. Workshop on Logic-Based Artificial Intelligence, Washington, DC. June 1999. Computer Science Department, University of Maryland. Editor: Jack Minker. Workshop Notes Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Representing School Timetabling in a Disjunctive Logic Programming Language. Proceedings of the 13th Workshop on Logic Programming (WLP'98). Pages: 43-52. October 1998. Editors: Uwe Egly and Hans Tompits. URI: http://www.wfaber.com/research/papers/wlp98-timetabling.ps.gz. URI: http://www.wfaber.com/research/papers/wlp98-timetabling.pdf. Robert Bihlmeyer, Wolfgang Faber, Christoph Koch, Nicola Leone, Cristinel Mateis, and Gerald Pfeifer. dlv - An Overview. Proceedings of the 13th Workshop on Logic Programming (WLP'98). Pages: 65-67. October 1998. Editors: Uwe Egly and Hans Tompits. URI: http://www.wfaber.com/research/papers/wlp98-system.ps.gz. URI: http://www.wfaber.com/research/papers/wlp98-system.pdf. Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. The dlv System: Model Generator and Application Frontends. Proceedings of the 12th Workshop on Logic Programming (WLP'97), Research Report PMS-FB10. Pages: 128-137. September 1997. LMU München. Editors: F. Bry, B. Freitag, and D. Seipel. URI: http://www.wfaber.com/research/papers/wlp97.ps.gz. URI: http://www.wfaber.com/research/papers/wlp97.pdf.