Ghidini, Chiara

6 publications

AAAI 2025 Generating Counterfactual Explanations Under Temporal Constraints Andrei Buliga, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Massimiliano Ronzani

IJCAI 2025 Proactive Data-Driven Scheduling of Business Processes Francesca Meneghello, Arik Senderovich, Massimiliano Ronzani, Chiara Di Francescomarino, Chiara Ghidini

JAIR 2024 Computing Unsatisfiable Cores for LTLf Specifications Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini

AAAI 2017 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

AAAI 2006 Model-Checking Memory Requirements of Resource-Bounded Reasoners Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini

IJCAI 1999 Programming Resource-Bounded Deliberative Agents Michael Fisher, Chiara Ghidini