alviano.com/.net/.org

Journal Articles

• Mario Alviano.
  Efficient Recursive Aggregate Evaluation in Logic Programming.
  Intelligenza Artificiale. IOS Press, 5(2):207-215, 2011.
  DOI: DOI:10.3233/IA-2011-0023
• Mario Alviano, Francesco Calimeri, Wolfgang Faber, Simona Perri, and Nicola Leone.
  Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
  Journal of Artificial Intelligence Research. AI Access Foundation, 42:487-527, 2011.
  Download: Full paper (PDF)
  DOI: doi:10.1613/jair.3432
• Mario Alviano and Wolfgang Faber.
  Dynamic Magic Sets and Super-Coherent Answer Set Programs.
  AI Communications. IOS Press, 24(2):125-145 2011.
• Mario Alviano, Wolfgang Faber, and Nicola Leone.
  Disjunctive ASP with Functions: Decidable Queries and Effective Computation.
  Theory and Practice of Logic Programming. Cambridge University Press, 10(4–6):497–512, July 2010.
  Download: Full paper (PDF)
  DOI: doi:10.1017/S1471068410000244
• Francesco Ricca, Mario Alviano, Antonella Dimasi, Giovanni Grasso, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna and Nicola Leone.
  A Logic-Based System for e-Tourism.
  Fundamenta Informaticae. IOS Press, 105(1-2):35-55, 2010.
  Download: Full paper (PDF), Errata
• Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, and Nicola Leone.
  Team-building with Answer Set Programming in the Gioia-Tauro Seaport.
  Theory and Practice of Logic Programming. Cambridge University Press, 2011.
  To appear.
• Marco Manna, Massimo Ruffolo, Ermelinda Oro, Mario Alviano, and Nicola Leone.
  The HiLeX System for Semantic Information Extraction.
  Transactions on Large-Scale Data and Knowledge-Centered Systems. Springer Berlin/Heidelberg, 2011.
  To appear.

Book Chapters

• Mario Alviano, Francesco Calimeri, Giovambattista Ianni , Wolfgang Faber, and Nicola Leone.
  Function Symbols in ASP: Overview and Perspectives.
  In Gerd Brewka, Victor Marek, and Mirek Truszczynski, editors, Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary, pages 1-24. College Publications, 2011.
• Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, and Giorgio Terracina.
  The Disjunctive Datalog System DLV.
  In Georg Gottlob, editor, Datalog 2.0, volume 6702 of Lecture Notes in Computer Science, pages 282-301. Springer Berlin/Heidelberg, 2011.

Conference and Workshop Articles

2011

• Mario Alviano, Wolfgang Faber and Stefan Woltran.
  Complexity of Super-Coherence Problems in ASP.
  In Fabio Fioravanti, editor, 26th Italian Conference on Computational Logic (CILC 2011), volume 810 of CEUR Workshop Proceedings, pages 131-145. Sun SITE Central Europe, 2011.
  Download: Full paper (PDF)
• 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.
  In Fabio Fioravanti, editor, 26th Italian Conference on Computational Logic (CILC 2011), volume 810 of CEUR Workshop Proceedings, pages 99-113. Sun SITE Central Europe, 2011.
  Download: Full paper (PDF)
• Mario Alviano, Wolfgang Faber and Stefan Woltran.
  Complexity of Super-Coherence Problems in ASP.
  In 4th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP11), 2011.
  Download: Full paper (PDF)
• Mario Alviano, Gianluigi Greco and Nicola Leone.
  Dynamic Magic Sets for Programs with Monotone Recursive Aggregates.
  In 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), volume 6645 of Lecture Notes in Computer Science, pages 148-160. Springer Berlin/Heidelberg, 2011.
  Download: Full paper (PDF)
• Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina and Pierfrancesco Veltri.
  The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
  In 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), volume 6645 of Lecture Notes in Computer Science, pages 388-403. Springer Berlin/Heidelberg, 2011.
  Download: Full paper (PDF)

2010

• Mario Alviano and Wolfgang Faber.
  Dynamic Magic Sets for Super-Consistent Answer Set Programs.
  In 3rd Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP10), 2010.
  Download: Full Paper (PDF).
• Mario Alviano.
  Dynamic Magic Sets for Disjunctive Datalog Programs.
  In Technical Communications of the 26th International Conference on Logic Programming, volume 7, pages 226-235, 2010.
  Download: Full paper (PDF)
  DOI: 10.4230/LIPIcs.ICLP.2010.226
  Thanks to Wolfgang Faber.
• Mario Alviano, Wolfgang Faber, and Nicola Leone.
  Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation.
  In 17th RCRA International Workshop (RCRA 2010).
  Download: Full Paper (PDF).

2009

• Mario Alviano.
  The Maze Generation Problem is NP-complete.
  In 11th Italian Conference on Theoretical Computer Science (ICTCS ’09).
  Download: Full Paper (PDF).
  Thanks to John van Bon and Wolfgang Faber.

2008

• Mario Alviano, Giovambattista Ianni, Marco Marano, Alessandra Martello.
  Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics.
  In 3rd Asian Semantic Web Conference (ASWC 2008): LNCS 5367, pp. 106-121, 2008.
  Download: Full Paper (from SpringerLink).
• Mario Alviano, Wolfgang Faber and Nicola Leone.
  Compiling Minimun and Maximum Aggregates into Standard ASP.
  In Convegno Italiano di Logica Computazionale di Perugia (CILC2008).
  Download: Full Paper (PDF), Slides (PDF).

2007

• Mario Alviano, Wolfgang Faber and Nicola Leone.
  Using Unfounded Sets for Computing Answer Sets of Programs with Recursive Aggregates.
  In Convegno Italiano di Logica Computazionale di Messina (CILC2007).
  Download: Full Paper (PDF), Slides (PDF).
• Mario Alviano, Francesco Calimeri, Giovambattista Ianni and Alessandra Martello.
  Frame Logic under Answer Set Semantics.
  In Convegno Italiano di Logica Computazionale di Messina (CILC2007).
  Download: Full Paper (PDF).

Technical Reports

2009

• Mario Alviano, Wolfgang Faber, Gianluigi Greco and Nicola Leone.
  Magic Sets for Disjunctive Datalog Programs.
  Technical Report 09/2009, Dipartimento di Matematica, Università della Calabria, Italy.
  Download: Full Paper (PDF).

Theses

PhD Thesis

• Dynamic Magic Sets.
  Supervisors: prof. Wolfgang Faber, prof. Nicola Leone.
  Downloads: Thesis (PDF).

Master’s Thesis

• Valutazione efficiente di aggregati ricorsivi in programmazione logica.
  Supervisors: prof. Nicola Leone, prof. Wolfgang Faber.
  Links: Sommario/Abstract, Premio AI*IA per la miglior tesi di laurea in Intelligenza Artificiale.
  Downloads: Thesis (PDF), Synthesis (PDF).

Bachelor’s Thesis

• Progettazione e implementazione di un linguaggio logico con costrutti frame e higher-order.
  Supervisors: prof. Giovambattista Ianni, prof. Thomas Eiter.