Francesco Chiariello
Researcher in Trustworthy AI
RWTH Aachen University
Biography
I am a Research Scientist and Engineer passionate about developing Safe and Trustworthy AI systems by integrating symbolic and quantitative approaches. My work lies at the intersection of Automated Reasoning, Formal Methods, and Machine Learning. Currently, I am a member of the Chair of Machine Learning and Reasoning at RWTH Aachen University, working under the supervision of Hector Geffner.
Interests
- Artificial Intelligence
- Computational Logic
- Formal Epistemology
- Discrete Optimization
- Information Systems
Education
PhD in Artificial Intelligence & Knowledge Representation, 2023
Sapienza University of Rome
MSc in Artificial Intelligence & Robotics, 2019
Sapienza University of Rome
BSc in Mathematics, 2016
University of Naples Federico II
Recent Publications
Quickly discover relevant content by filtering publications.
(2025).
Formal Explanations of Black-Box Ranking Functions.
JELIA.
(2025).
Direct Encoding of Declare Constraints in ASP.
Theory and Practice of Logic Programming.
(2024).
An ILASP-Based Approach to Repair Petri Nets.
LPNMR.
(2024).
A Direct ASP Encoding for Declare.
PADL.