Mario Alviano
  • Home
  • Blog
  • Research
  • Software
  • Teaching
Mario Alviano Mario Alviano's website
Below is a self-hosted list of my publications, mainly obtained from DBLP and other external data sources, such as Google Scholar and Scopus.

Journal Articles

Book Chapters

Conference and Workshop Papers

Theses

  • .
    .
    ,In ,,():,,,. [bibtex entry]
  • Knowledge Representation and Reasoning
  • Logic Programming
  • Nonmonotoning Reasoning
  • Recursive aggregation of data
  • Optimization problems
  • Algorithms for efficient query answering
  • Preferences
    ...
  • and others that I will not list here!

Chair

  • Program Chair of AIIA 2019, 18th International Conference of the Italian Association for Artificial Intelligence
  • Program Chair of Datalog 2.0 2019, 3rd International Workshop on the Resurgence of Datalog in Academia and Industry
  • Workshops Chair of LPNMR 2019, 15th International Conference on Logic Programming and Nonmonotonic Reasoning

Program Committees

  • AAAI, AAAI Conference on Artificial Intelligence, 2017, 2018, 2019
  • IJCAI, International Joint Conference on Artificial Intelligence, 2011, 2015, 2016, 2017, 2018
  • KR, International Conference on Principles of Knowledge Representation and Reasoning, 2018
  • ICLP, International Conference on Logic Programming, 2017, 2018, 2019
  • JELIA, European Conference on Logics in Artificial Intelligence, 2019
  • RuleML, International Joint Conference on Rules and Reasoning, 2015, 2017
  • PADL, International Symposium on Practical Aspects of Declarative Languages, 2016, 2019
  • LNMR, International Workshop on Learning and Nonmonotonic Reasoning, 2015
  • RCRA, Experimental evaluation of algorithms for solving problems with combinatorial explosion, 2014, 2015, 2016, 2017
  • PoS, Pragmatics of SAT, 2018
  • CILC, Italian Conference on Computational Logic, 2018
  • SAFA, International Workshop on Systems and Algorithms for Formal Argumentation, 2018
  • EPIA, EPIA Conference on Artificial Intelligence, 2019
  • ASPOCP, Workshop on Answer Set Programming and Other Computing Paradigms, 2019

Organization Committees

  • ASP Competition 2011, 3-th Answer Set Programming Competition
  • CILC 2010, 25-esimo Convegno Italiano di Logica Computazionale
Copyright © 2007-2020 Mario Alviano