Knowledge Representation and
Automated Reasoning Lab

logo_ai&is logo_cairne

People

Staff members
bistarelli Stefano
Bistarelli
Stefano Bistarelli is Full Professor of Computer Science at the Department of Mathematics and Computer Science at the University of Perugia. His research interests range from Artificial Intelligence to Programming Languages, with particular attention to constraint programming, constraint solution algorithms, and soft constraints. He also works on Computer Security and recently on Economics. Currently active research topics are Computational Argumentation, Blockchain, Distributed Ledgers, Cryptocurrencies and Cybersecurity.
Member of the Editorial Board of Intelligenza Artificiale, The international journal of the AIxIA, Associate editor of Frontiers in Blockachain, Smart Contracts and Frontiers in Blockachain, Non-Financial Blockchain

Website: bista.sites.dmi.unipg.it/
gentiliniRaffaella
Gentilini
cretarolaAlessandra
Cretarola
santiniFrancesco
Santini
calemiFrancesco
Federico
Calemi
talamancaGianna
Figà Talamanca
valigiPaolo
Valigi
gentili Pier Luigi
Gentili
Pier Luigi Gentili is an Associate Professor of Physical Chemistry at the University of Perugia (Italy). He received his PhD in Chemistry from the University of Perugia in 2004. His research and teaching activities are focused on Complex Systems. He is the author of the book titled “Untangling Complex Systems: A Grand Challenge for Science” (CRC Press, Taylor & Francis Group, 2018), which is an interdisciplinary investigation into Complex Systems. He works on Natural Computing to untangle Complexity from both an ontological and an epistemological point of view. Being aware that inanimate matter is driven by force fields, whereas the interactions between biological systems are also information-based, Gentili is driven by questions like the following ones. “When does a chemical system become intelligent?” Is it possible to develop a “Chemical Artificial Intelligence?” For the development of the Chemical Artificial Intelligence, Pier Luigi Gentili is tracing a new path in the field of Neuromorphic Engineering by using non-linear chemical systems and encoding information mainly through UV-visible signals. Furthermore, he is proposing methods to process Fuzzy logic by molecular, supramolecular, and systems chemistry. He is editor of the book titled "The Fuzziness in Molecular, Supramolecular, and Systems Chemistry" published by MDPI in 2020.

Website: http://www.dcbb.unipg.it/pierluigi
fanoLivio
Fanò
Researchers (PhD, fellows)
taticchi Carlo
Taticchi
Carlo Taticchi is a postdoc at the Department of Mathematics and Computer Science at the University of Perugia. He received his PhD in Computer Science from the Gran Sasso Science Institute in 2021. His research activities are mainly focused on Artificial Intelligence and, in particular, on Argumentation Theory, a discipline that studies and formalises the human way of reasoning. He is a member of the CINI Cyber Security Research Lab UniPG, and the Knowledge Representation and Automated Reasoning Lab.

Website: www.carlotaticchi.it
galtFrancesco
Faloci
davidVictor
David
cuccariniMarco
Cuccarini
Administrative / Technical staff
rossiFabio
Rossi
External collaborators
formisanoAndrea
Formisano
arisakaRyuta
Arisaka
mantadelisTheofrastos
Mantadelis
Alumni
sebastianiFrancesco
Sebastiani
procacciEmanuele
Procacci