Chiara Ghidini

Full Professor, Faculty of Engineering, Free University of Bozen

Joined

July 2019

Names

Chiara Ghidini (Preferred)

Emails

****@unibz.it (Confirmed)

Personal Links

Career & Education History

Full Professor

Faculty of Engineering, Free University of Bozen (unibz.it)

2024 – Present

Researcher

Fondazione Bruno Kessler (fbk.eu)

2003 – 2023

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

T-ILR: a Neurosymbolic Integration for LTLf
Riccardo Andreoni, Andrei Buliga, Alessandro Daniele, Chiara Ghidini, Marco Montali, Massimiliano Ronzani
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris
- 2017 (modified: 02 Mar 2020)
- AAAI 2017
- Readers: Everyone
Model-Checking Memory Requirements of Resource-Bounded Reasoners
Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini
- 2006 (modified: 16 Jul 2019)
- AAAI 2006
- Readers: Everyone
Programming Resource-Bounded Deliberative Agents
Michael Fisher, Chiara Ghidini
- 1999 (modified: 16 Jul 2019)
- IJCAI 1999
- Readers: Everyone

Co-Authors