Mario Alviano

Papers

Total Citations

H-Index

About

Mario Alviano is a leading researcher in artificial intelligence, with a primary focus on answer set programming (ASP), knowledge representation, and qualitative reasoning. His work bridges the gap between human-like reasoning and computational logic, enabling AI systems to derive knowledge from qualitative terms—such as natural language expressions—rather than rigid mathematical quantities. Alviano’s major contribution includes developing a generalised framework for encoding and reasoning with qualitative theories in ASP, a breakthrough that allows over 40 spatial and temporal calculi to be integrated into a unified logical system. This work, published in 2020, has garnered 7 citations and is foundational for advancing commonsense reasoning in AI. He also co-edited the proceedings of AI*IA 2019, a premier Italian conference on artificial intelligence, which received 6 citations and highlights his role in shaping the field’s discourse. Alviano’s research has significant implications for robotics, natural language processing, and automated planning, making him a key figure in making AI more interpretable and aligned with human cognition.