Publications

Journal articles

  • Mario Alviano, Carmine Dodaro, and Francesco Ricca.
    Anytime computation of cautious consequences in answer set programming.
    Theory and Practice of Logic Programming. Cambridge University Press, 14(4-5):755-770, 2014.
    Full paper (PDF), Preprint (PDF), DOI:10.1017/S1471068414000325
  • Mario Alviano, Wolfgang Faber, and Stefan Woltran.
    Complexity of super-coherence problems in ASP.
    Theory and Practice of Logic Programming. Cambridge University Press, 14(3):339-361, 2013.
    Full paper (PDF), Preprint (PDF), DOI:10.1017/S147106841300001X
  • Mario Alviano, and Rafael Penaloza.
    Fuzzy answer sets approximations.
    Theory and Practice of Logic Programming. Cambridge University Press, 13(4–5):753–767, 2013.
    Full paper (PDF), DOI:10.1017/S1471068413000471
  • Mario Alviano, Wolfgang Faber, Nicola Leone, and Marco Manna.
    Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.
    Theory and Practice of Logic Programming. Cambridge University Press, 12(4-5):701-718, 2012.
    Full paper (PDF), Preprint (PDF), DOI:10.1017/S1471068412000257
  • Mario Alviano, Wolfgang Faber, Gianluigi Greco and Nicola Leone.
    Magic Sets for Disjunctive Datalog Programs.
    Artificial Intelligence. Elsevier, 187-188:156-192, 2012.
    Full paper (PDF), Preprint (PDF), DOI:10.1016/j.artint.2012.04.008
  • 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, 12:361-381, 2012.
    Full paper (PDF), DOI:10.1007/978-3-642-28148-8_5
  • 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 V. Springer Berlin/Heidelberg. Lecture Notes in Computer Science 7100:91-125, 2012.
    Full paper (PDF), DOI:10.1007/978-3-642-28148-8_5
  • Mario Alviano.
    Efficient Recursive Aggregate Evaluation in Logic Programming.
    Intelligenza Artificiale. IOS Press, 5(2):207-215, 2011.
    Full paper (PDF), 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.
    Full paper (PDF), 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.
    Full paper (PDF), DOI:10.3233/AIC-2011-0492
  • 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.
    Full paper (PDF), 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.
    Full paper (PDF), Errata

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

2014

  • Mario Alviano, Carmine Dodaro, Joao Marques-Silva, and Francesco Ricca.
    On the implementation of weak constraints in WASP.
    In Daniela Inclezan and Marco Maratea, editors, Seventh International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2014), 2014.
  • Mario Alviano, Bernardo Cuteri, and Francesco Ricca.
    Declarative specification of benchmark sessions via ASP.
    In Toni Mancini, Marco Maratea, and Francesco Ricca, editors, 21th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2014), 2014.
  • Mario Alviano and Wolfgang Faber.
    Semantics and Compilation of Answer Set Programming with Generalized Atoms.
    In Sebastien Konieczny and Hans Tompits, editors, Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Vienna, Austria, July 2014.
  • Mario Alviano, Carmine Dodaro, and Francesco Ricca.
    Preliminary Report on WASP 2.0.
    In Sebastien Konieczny and Hans Tompits, editors, Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Vienna, Austria, July 2014.

2013

  • Mario Alviano, Carmine Dodaro, and Francesco Ricca.
    Comparing alternative solutions for unfounded set propagation in ASP.
    In Matteo Baldoni, Cristina Baroglio, Guido Boella, and Roberto Micalizio, editors, AI*IA
    2013: Advances in Artificial Intelligence – XIIIth International Conference of the Italian
    Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings, vol-
    ume 8249 of Lecture Notes in Computer Science, pages 1–12. Springer, 2013.
    Full paper (PDF)
  • Mario Alviano and Francesco Calimeri and Gunther Charwat and Minh Dao-Tran and Carmine Dodaro and Giovambattista Ianni and Thomas Krennwallner and Martin Kronegger and Johannes Oetsch and Andreas Pfandler and Jorg Puhrer and Christoph Redl and Francesco Ricca and Patrik Schneider and Martin Schwengerer and Lara Katharina Spendier and Johannes Peter Wallner and Guohui Xiao.
    The fourth answer set programming competition: Preliminary report.
    In Pedro Cabalar and Tran Cao Son, editors, 12th International Conference on Logic Pro-
    gramming and Nonmonotonic Reasoning (LPNMR 2013), volume 8148 of Lecture Notes in
    Computer Science, pages 42–53. Springer Berlin/Heidelberg, 2013.
    Full paper (PDF)
  • Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, and Francesco Ricca.
    WASP: A native ASP solver based on constraint learning.
    In Pedro Cabalar and Tran Cao Son, editors, 12th International Conference on Logic Pro-
    gramming and Nonmonotonic Reasoning (LPNMR 2013), volume 8148 of Lecture Notes in
    Computer Science, pages 54–66. Springer Berlin/Heidelberg, 2013.
    Full paper (PDF)
  • Mario Alviano, and Wolfgang Faber.
    The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics.
    In Pedro Cabalar and Tran Cao Son, editors, 12th International Conference on Logic Pro-
    gramming and Nonmonotonic Reasoning (LPNMR 2013), volume 8148 of Lecture Notes in
    Computer Science, pages 67–72. Springer Berlin/Heidelberg, 2013.
    Full paper (PDF)
  • Mario Alviano, and Wolfgang Faber.
    Properties of Answer Set Programming with Convex Generalized Atoms.
    In Michael Fink and Yuliya Lierler, editors, Sixth International Workshop on Answer Set
    Programming and Other Computing Paradigms (ASPOCP 2013), pages 3–16, 2013.
    Full proceedings (PDF)
  • Mario Alviano, Wolfgang Faber, Nicola Leone, and Marco Manna.
    Query answering over disjunctive datalog with existential quantifiers.
    In Domenico Ursino, editor, 21st Italian Symposium on Advanced Database Systems (SEBD 2013), 2013.
    Full paper (PDF)
  • Mario Alviano, and Wolfgang Faber.
    Solving NP-SPEC Domains Using ASP.
    In Toni Mancini, Marco Maratea, and Francesco Ricca, editors, 20th RCRA workshop on
    Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
    (RCRA 2013), 2013.
    Full paper (PDF)

2012

  • Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, and Pierfrancesco Veltri.
    Magic-sets for datalog with existential quantifiers.
    In Pablo Barcelo’ and Reinhard Pichler, editors, Datalog in Academia and Industry, Second International Workshop, Datalog 2.0, volume 7494 of Lecture Notes in Computer Science, pages 31-43. Springer Berlin/Heidelberg, 2012.
    Full paper (PDF)
  • Mario Alviano and Wolfgang Faber.
    Translating NP-SPEC into ASP.
    In Michael Fink and Yuliya Lierler, editor, 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), pages 3-18, 2012.
    Full proceedings (PDF)

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.
    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.
    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.
    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.
    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.
    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.
    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.
    Full paper (PDF), DOI:10.4230/LIPIcs.ICLP.2010.226
  • 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).
    Full Paper (PDF)

Theses

PhD Thesis

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

My dissertation received an honourable mention from the Selection Committee of the 2011 Artificial Intelligence Dissertation Award sponsored by ECCAI, the European Coordinating Committee for Artificial Intelligence [see the news]

Master’s Thesis

Efficient Recursive Aggregates Evaluation in Logic Programming.
Supervisors: prof. Nicola Leone, prof. Wolfgang Faber.
Thesis (PDF), Synthesis (PDF), Slides (PDF)

My Master’s thesis won the Italian best thesis in Artificial Intelligence award, a prize awarded by AI*IA, the Italian Association for Artificial Intelligence [see the news]

Bachelor’s Thesis

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