Artificial Intelligence, Logic Programming, Nonmonotonic reasoning, Answer Set Programming, Complexity analysis, Query optimization
Mario Alviano's research interests are in Logic Programming for nonmonotonic reasoning, especially in Answer Set Programming (ASP) under stable model semantics. His main topics of research are decidability in ASP with uninterpreted function symbols, algorithms for efficient evaluation of recursive aggregates, and query optimization techniques. He is one of the developer of DLV, a state-of-the-art system for ASP, has served as a reviewer for many journals and conferences on Artificial Intelligence, and is a reviewer of the Zentralblatt MATH Online Database.
Mario Alviano received an Honourable Mention by the European Coordinating Committee for Artificial Intelligence (ECCAI) for his outstanding doctoral dissertation: "Dynamic Magic Sets", an original technique for optimizing queries over disjunctive datalog programs with nonmonotonic negation. Previously, Mario Alviano received an award by the Italian Association for Artificial Intelligence (AI*IA) for the best Italian Master thesis in Artificial Intelligence: "Efficient recursive aggregate evaluation in Logic Programming".
Awards and Honors:
Premio NeoLaureati 2008 for the best Italian Master Thesis in Artificial Intelligence by AI*IA (Italian Association for Artificial Intelligence).
Honorable mention by ECCAI (European Coordinating Committee for Artificial Intelligence European Coordinating Committee for Artificial Intelligence) assigned to the best three European doctoral dissertation in Artificial Intelligence.