Academic Staff
Giovanni Amendola
Email: amendola@mat.unical.it
Web: Personal site
Expertise: Artificial Intelligence, Logic Programming, Nonmonotonic reasoning, Answer Set Programming, Ontological Reasoning, Game Theory, Random Satisfiability, Quantified Boolean Formulas, Argumentation
Research: Giovanni Amendola's research interests are in Knowledge Representation and Reasoning, mainly in Logic Programming (focusing on Answer Set Programming - ASP). His main topics of research are the development of logic programming paradigms to extend ASP in various directions: resolution of situations in logical inconsistency (paracoherent ASP); solving problems in the entire polynomial hierarchy (ASP with quantifiers); problem solving in game theory (ASP for NTU games). In 2017, he was a co-author of the paper "Finite model reasoning over existential rules", awarded as the best paper of the International Conference on Logic Programming (ICLP). In 2018, he received the civic award "La Città del Sole" by the Rotary Club International for scientific merits. In 2019, he was a co-author of the paper "Abstract solvers for computing cautious consequences in ASP programs", awarded as the best paper of the International Conference on Logic Programming (ICLP). He has served in the program committees of major conferences and he served as a reviewer for journals and conferences of his research areas. He is also involved in interdisciplinary research on artificial intelligence, where scientific research is placed in dialogue with philosophical reflection. In this context, the book "Antropo-Logos, Studium, Rome 2021" was recently published.
Publications:
Teaching - Academic Year 2021/2022:
- ELEMENTI DI INFORMATICA TEORICA (CdS in Informatica)
- TECNICHE INFORMATICHE PER L'ANALISI DI DATI BIOLOGICI (CdS in Scienze e Tecnologie Biologiche)