Giovanni Amendola

 

Ricercatore (rtdb) presso il Dipartimento di Matematica e Informatica dell'Università della Calabria.

 Biografia Contatti Didattica Ricerca Premi Pubblicazioni   

---

Biografia

Giovanni Amendola è nato a Paola (Cosenza) il 19 luglio 1983. Ha conseguito presso l’Università della Calabria la laurea triennale in matematica nel 2005 (con lode), la laurea magistrale in matematica nel 2013 (con lode e menzione di merito) e il dottorato di ricerca in matematica ed informatica nel 2017. Nel 2017 ha lavorato come research associate presso il Laboratory for Foundations of Computer Science dell’Università di Edimburgo. Attualmente è ricercatore presso il Dipartimento di Matematica e Informatica dell’Università della Calabria, dove è stato docente per gli insegnamenti di Fondamenti di informatica, Programmazione ad oggetti, Calcolo delle probabilità e statistica e Matematica per l’analisi dei dati. Attualmente è docente di Elementi di informatica teorica (primo anno del Cdl in Informatica) e di Tecniche informatiche per l’analisi di dati biologici (terzo anno del Cdl in Scienze e Tecnologie Biologiche). La sua ricerca verte principalmente sull’intelligenza artificiale basata sulla logica matematica e sui formalismi per la rappresentazione della conoscenza e del ragionamento. Due dei suoi articoli di ricerca sono stati premiati con il Best paper award (nel 2017 e nel 2019) alla International Conference on Logic Programming. È abilitato come professore di seconda fascia nei settori concorsuali 01/B1 di Informatica (dal 14 gennaio 2020) e 01/A1 di Logica matematica e matematiche complementari (dall'8 luglio 2020). Inoltre ha conseguito con lode il baccalaureato e la licenza in teologia presso l’Istituto Teologico Calabro e il dottorato in teologia presso la Pontificia Università Lateranense (summa cum laude), occupandosi di tematiche di teologia fondamentale e del rapporto tra scienze, filosofia e teologia. Per le Edizioni Studium ha pubblicato il volume interdisciplinare Antropo-Logos. La ragione al crocevia di intelligenza artificiale, razionalità scientifica, pensiero filosofico e teologia cristiana.

 

---

Contatti

• Email: giovanni.amendola@unical.it
• Indirizzo: Via P. Bucci, cube 31/B, Quarto Piano, 87036 - Arcavacata di Rende (CS), Italy.

 

---

Didattica

Anno Accademico 2023/2024

• Docente di Elementi di Informatica Teorica (II semestre, I anno, Laurea triennale in Informatica)
• Docente di Tecniche informatiche per l'analisi di dati biologici (II semestre, III anno, Laurea triennale in Scienze e Tecnologie Biologiche)

Anni passati

 

---

Ricerca

• Intelligenza Artificiale
  • Rappresentazione della Conoscenza e del Ragionamento
  • Programmazione Logica (Answer Set Programming)
  • Basi di Dati Relazionali
  • Teoria dei Giochi Algoritmica
  • Random Satisfiability
  • Nessi di Similarità in Basi di Conoscenza
• Scienze, Filosofia e Teologia
  • Rapporto tra Fede e Scienza
  • Rapporto tra Ragione e Fede
  • Fondamenti filosofico-teologici delle scienze
  • Filosofia e Teologia dell'Intelligenza Artificiale
• Teologia Fondamentale
  • Metodologia ed epistemologia teologica
  • Dialogo tra Teologia e Scienze
  • Teologia della Rivelazione
  • Cosmologia teologica
  • Antropologia teologica

 

---

Premi

• Premio nazionale di teologia (2021): Il libro Antropo-Logos. La ragione al crocevia tra intelligenza artificiale, razionalità scientifica, pensiero filosofico e teologia cristiana, è risultato vincitore della prima edizione del Concorso nazionale di teologia "mons. Giordano Frosini", premiato a Pistoia il 14 dicembre 2021.
  • Articolo sul settimanale toscano La Vita del 19 dicembre 2021.
• Best Paper Award (ICLP 2019): Un articolo sottomesso alla 35esima International Conference of Logic Programming (ICLP), intitolato Abstract Solvers for Computing Cautious Consequences of ASP programs, è risultato vincitore del Best Technical Paper Award. Si tratta di un lavoro svolto assieme a Carmine Dodaro e Marco Maratea, ed è stato presentato a Las Cruces (New Mexico) il 25 settembre 2019.
  • Gazzetta del Sud (1 ottobre 2019)
  • il Quotidiano (1 ottobre 2019)
• DISF award 2019: Il Futuro della Ragione Umana: tra Intelligenza Artificiale e Pensiero Sensibile. Articolo presentato a Roma il 19 maggio 2019 in occasione dell'XI Workshop della SISRI (Scuola Internazionale Superiore per la Ricerca Interdisciplinare) "Prove di futuro. Progresso scientifico e progresso umano a 50 anni dalla discesa dell'uomo sulla luna".
  • Gazzetta del Sud (22 maggio 2019)
• Best Solver of the “Hard Instances Track” at QBFEVAL 2018. Premio ricevuto in occasione della 11th QBF Solvers Evaluation (QBFEVAL’18), tenutasi ad Oxford (UK) il 12 luglio 2018, per il solver “ASPQ3” vincitore (primo classificato) della “Hard Instances Track”. Ulteriori informazioni.
• Civic Award “La Città del Sole” 2018. Premio ricevuto dal Rotary Club International in occasione della XXI edizione de “La Città del Sole”, tenutasi a Cosenza (Italia) il 16 giugno 2018, per meriti scientifici. Ulteriori informazioni.
• Best Student Paper Award ICLP 2017. Durante l’International Conference of Logic Programming (ICLP 2017) svoltasi a Melbourne dal 29 agosto al 2 settembre 2017, ho ricevuto il premio per il miglior articolo presentato alla conferenza avente come autore uno studente. L’articolo s’intitola “Finite model reasoning over existential rules”. Ulteriori informazioni.
• DISF award 2015: Logica matematica e teologia in dialogo. Dalla dimostrazione logica dell'esistenza di Dio alla logica di Dio. Articolo presentato a Roma il 30 maggio 2015 in occasione dell'VIII Workshop della SISRI (Scuola Internazionale Superiore per la Ricerca Interdisciplinare) "Visioni filosofiche del mondo e lavoro scientifico: il reciproco influsso fra osservazione scientifica e concezioni del mondo nel 400 della Lettera di Galileo a Maria Cristina di Lorena".

 

---

Pubblicazioni

Libri

1. Amendola G., Fiorini Morosini G. Una ragione agapica per realizzare la fede. L'esempio di S. Francesco di Paola, Artetetra Edizioni, Caserta 2023. ISBN: 979-12-80633-15-6.
2. Amendola G. Antropo-Logos. La ragione al crocevia di intelligenza artificiale, razionalità scientifica, pensiero filosofico e teologia cristiana, Collana Cultura 245, Edizioni Studium, Roma 2021. ISBN: 978-88-382-5093-4. ISSN: 2612-2774.

Articoli su riviste (selezione)

1. Amendola G. Dimensioni teologiche dell’approccio panpsichista quantistico-informazionale sulla natura: un confronto tra la visione di Federico Faggin e la teologia cristiana. In Scientia et Fides, 11, 2023, n. 2, pp. 107-130, ISSN 2300-7648 (Rivista Q1 in Scimago per l'area di Arts and Humanities: Religious Studies e Philosophy)
2. Amendola G. La comprensione dell’“intelligenza” tra intelligenza artificiale, filosofia e teologia. In Rivista Italiana di Filosofia del Linguaggio, 17, 2023, n. 1, pp. 163-177, ISSN 2036-6728 (rivista scientifica ANVUR classe A per Area 11)
3. Amendola G., Greco G., Veltri P. Answers set programs for non-transferable utility games: Expressiveness, complexity and applications. In Artificial Intelligence, 302, 2022 (Rivista Q1 in Scimago per le aree di Computer Science: Artificial Ingelligence e Social Sciences: Linguistics and Language).
4. Amendola G., Dodaro C., Faber W., Ricca F. Paracoherent Answer Set Computation. In Artificial Intelligence, 299, 2021 (Rivista Q1 in Scimago per le aree di Computer Science: Artificial Ingelligence e Social Sciences: Linguistics and Language).
5. Amendola G., Ricca F., Truszczynski M. New models for generating hard random boolean formulas and disjunctive logic programs. In Artificial Intelligence, 279, 2020 (Rivista Q1 in Scimago per le aree di Computer Science: Artificial Ingelligence e Social Sciences: Linguistics and Language). See here for the arXiv version.
6. Amendola G. Angoscia esistenziale, attese di salvezza e nostalgia di Dio nella cinematografia di Ingmar Bergman. In Teologia y vida, 60:395-420, 2019. ISSN: 0049-3449 (Rivista Q1 in Scimago per l'area di Arts and Humanities: Religious Studies).
7. Amendola G., Ricca F., Truszczynski M. Beyond NP: Quantifying over Answer Sets. In Theory and Practice of Logic Programming, 19:705-721, 2019 (Rivista Q1 in Scimago per l'area di Computer Science: Computational Theory and Mathematics). See here for the arXiv version.
8. Amendola G., Ricca F. Paracoherent Answer Set Semantics meets Argumentation Frameworks. In Theory and Practice of Logic Programming, 19:688-704, 2019 (Rivista Q1 in Scimago per l'area di Computer Science: Computational Theory and Mathematics). See here for the arXiv version.
9. Amendola G., Dodaro C., Maratea M. Abstract Solvers for Computing Cautious Consequences of ASP programs. In Theory and Practice of Logic Programming, 19:740-756, 2019 (Rivista Q1 in Scimago per l'area di Computer Science: Computational Theory and Mathematics). See here for the arXiv version.
10. Amendola G., Dodaro C., Ricca F. Better Paracoherent Answer Sets with Less Resources. In Theory and Practice of Logic Programming, 19:757-772, 2019 (Rivista Q1 in Scimago per l'area di Computer Science: Computational Theory and Mathematics). See here for the arXiv version.
    
11. Amendola G. Ripensare la morale sessuale in chiave personalistica: la proposta di Enrico Chiavacci. In Teologia y vida, 59:343-371, 2018. ISSN: 0049-3449 (Rivista Q2 in Scimago per l'area di Arts and Humanities: Religious Studies).
12. Amendola G., Leone N., Manna M. Finite Model Reasoning over Existential Rules. In Theory and Practice of Logic Programming, 17:726-743, 2017 (Rivista Q2 in Scimago per l'area di Computer Science: Computational Theory and Mathematics). See here for the arXiv version.
13. Amendola G., Eiter T., Fink M., Leone N., Moura J. Semi-equilibrium models for paracoherent answer set programs. In Artificial Intelligence, 234:219-271, 2016 (Rivista Q1 in Scimago per le aree di Computer Science: Artificial Ingelligence e Social Sciences: Linguistics and Language).

Contributi in Conferenze e Workshops

1. Amendola G., Cuteri B., Ricca F., Truszczynski M. Solving Problems in the Polynomial Hierarchy with ASP(Q). In Proceedings of Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, pages 373-386, 2022.
2. Amendola G., Cuteri B., Ricca F., Truszczynski M. Solving Problems in PH with ASP(Q): Preliminary Results. In Proceedings 38th International Conference on Logic Programming, ICLP 2022, Haifa, Israel, 31st July 2022 - 6th August 2022, EPTCS 364, pages 25-26, 2022. DOI: 10.4204/EPTCS.364. ISSN: 2075-2180.
3. Amendola G., Rotondaro G. Modeling Clique Coloring via ASP(Q). In Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021.
   
4. Amendola G., Ricca F., Truszczynski M. Extending ASP to model problems beyond NP (Extended Abstract) in Recent Published Research Track of 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021.
5. Amendola G., Berei T., Ricca F. Testing in ASP: Revisited Language and Programming Environment. In Proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, Virtual Event, May 17-20, 2021, pages 362-376, 2021.
   
6. Amendola G. Artificial Intelligence and Sensitive Thought (Abstract). In The “Good” Algorithm? Artificial Intelligence: Ethics, Law, Health. Proceedings of the XXVI General Assembly of Members, Vatican City, February 26-28, 2020, Rome 2021, p. 262. ISBN: 979-12-80365-00-2.
7. Amendola G., Dodaro C., Maratea M. A Formal Approach for Cautious Reasoning in Answer Set Programming. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pages 4716-4720, 2020.
8. Alviano M., Amendola G., Dodaro C., Leone N., Maratea M., Ricca F. Evaluation of disjunctive programs in WASP. In Proceedings of the 15th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2019, Philadelphia, USA June 3-7, 2019, pages 241-255, 2019.
9. Amendola G., Marte C. Extending Bell Numbers for Parsimonious Chase Estimation. In Proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, Cosenza, Italy, May 8-10, 2019, pages 490-497, 2019.
10. Amendola G., Dodaro C., Faber W., Pulina L., Ricca F. Algorithm Selection for Paracoherent Answer Set Computation. In Proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, Cosenza, Italy, May 8-10, 2019, pages 479-489, 2019.
11. Amendola G. Solving the Stable Roommates Problem using Incoherent Answer Set Programs. In Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018, volume 2272 of CEUR Workshop Proceeding, 2018.
12. Amendola G. Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming. In Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018, volume 2272 of CEUR Workshop Proceeding, 2018.
13. Amendola G. Towards Quantified Answer Set Programming. In Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018, volume 2271 of CEUR Workshop Proceeding, 2018.
14. Amendola G., Ricca F., Truszczynski M. A generator of hard 2QBF formulas and ASP programs. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018, Tempe, Arizona, 30 October-2 November, 2018, 2018.
15. Amendola G., Ricca F., Truszczynski M. Random Models of Very Hard 2QBF and Disjunctive Programs: An Overview. In Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, 18-20 September 2018, volume 2243, 2018.
16. Amendola G., Libkin L. Explainable Certain Answers. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, July 13-19, 2018, pages 1683-1690, 2018.
17. Amendola G., Leone N., Manna M., Veltri P. Enhancing Existential Rules by Closed-World Variables. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, July 13-19, 2018, pages 1676-1682, 2018.
18. Amendola G., Leone N., Manna M. Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, July 13-19, 2018, pages 5189-5192, 2018.
19. Amendola G., Dodaro C., Faber W., Ricca F. Externally supported models for efficient computation of paracoherent answer sets. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, AAAI 2018, New Orleans, Louisiana, USA, February 2-7, 2018.
20. Amendola G., Leone N., Manna M., Veltri P. Reasoning on anonymity in Datalog+/-. In Proceedings of the 33rd International Conference on Logic Programming, ICLP 2017, Melbourne, Australia, August 28-September 1, 2017, pages 3:1-3:5, 2017.
21. Adrian W., Manna M., Leone N., Amendola G., Adrian M. Entity set expansion from the Web via ASP. In Proceedings of the 33rd International Conference on Logic Programming, ICLP 2017, Melbourne, Australia, August 28-September 1, 2017, pages 1:1-1:5, 2017.
22. Amendola G., Ricca F., Truszczynski M. Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 532-538, 2017.
23. Amendola G., Leone N., Manna M. Querying finite or arbitrary models? No matter! Existential rules may rely on both once again. In Proceedings of the Twenty-Fifth Italian Symposium on Advanced Database Systems, SEBD 2017, Squillace Lido, Catanzaro, Italy, June 25-29, 2017.
24. Alviano M., Amendola G., Peñaloza R. Minimal undefinedness for fuzzy answer sets. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017, San Francisco, California, USA, February 4-9, 2017, pages 3694-3700, 2017.
25. Amendola G., Dodaro C., Faber W., Leone N., Ricca F. On the computation of paracoherent answer sets. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017, San Francisco, California, USA, February 4-9, 2017, pages 1034-1040, 2017.
26. Amendola G., Greco G., Leone N., and Veltri P. Modeling and reasoning about NTU games via answer set programming. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, July 9-15, 2016, pages 38–45, 2016.
27. Amendola G., Dodaro C., Ricca F. ASPQ: an ASP-based 2QBF solver. In Proceedings of the 4th International Workshop on Quantified Boolean Formulas, QBF 2016, Bordeaux, France, July 4, 2016, pages 49–54, 2016.
28. Amendola G., Dodaro C., Leone N., Ricca F. On the application of answer set programming to the conference paper assignment problem. In Proceedings of the Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2016, Genova, Italy, November 28-December 1, 2016, pages 164–178, 2016.
29. Amendola G. Dealing with incoherence in ASP: Split Semi-Equilibrium Semantics. In Proceeding of the Second Doctoral Workshop in Artificial Intelligence, DWAI@AI*IA 2014, Pisa, Italy, December 11, 2014, volume 1334 of CEUR Workshop Proceeding, pages 23–32, 2014.
30. Amendola G., Eiter T., Leone N. Modular paracoherent answer sets. In Proceedings of Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, pages 457–471, 2014.

Vedi anche DBLP (a computer science bibliography), Google Scholar, ORCID e Scopus.