Talks

  • Declarative Process Specifications: Reasoning and Mining Temporal Formulae. Wolfram Institute. November 2024. Online Seminar.

  • Learning Temporal Properties from Event Logs via Sequential Analysis. International Symposium on Temporal Representation and Reasoning (TIME). October 2024. Montpellier, France.

  • Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining. Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY@AIxIA). November 2023. Rome, Italy.

  • Automata-Theoretic Techniques for Declarative Process Mining. Invited Talk at the PhD Course in Data Science, University of Salerno. June 2023. Salerno, Italy.

  • Answer Set Programming. Invited Lecture for the Formal Methods for Strategic Reasoning course, University of Naples Federico II. May 2023. Naples, Italy.

  • Discovering Deterministic Finite State Automata from Event Logs for Business Process Analysis. AAAI Spring Symposium on the Effectiveness of Temporal Logics on Finite Traces in AI. March 2023. Burlingame, CA, USA.

  • Temporal Reasoning in ASP and its Application to Declarative Process Mining. AAAI Spring Symposium on the Effectiveness of Temporal Logics on Finite Traces in AI. March 2023. Burlingame, CA, USA.

  • Solving Declarative Process Mining Problems Using Declarative Problem Solving. AAAI Bridge Program on Artificial Intelligence and Business Process Management. February 2023. Washington, DC, USA.

  • ASP-Based Declarative Process Mining (Extended Abstract). International Conference on Logic Programming (ICLP). August 2022. Haifa, Israel.

  • ASP-Based Declarative Process Mining. Invited Talk at Knowledge Representation and Reasoning Group, University of Potsdam. February 2022. Potsdam, Germany.

  • ASP-Based Declarative Process Mining. AAAI Conference on Artificial Intelligence. February 2022 (Virtual).