Fabio Patrizi
Professore Associato
E-mail:
| Titolo | Pubblicato in | Anno |
|---|---|---|
| Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis | INFORMATION SYSTEMS | 2023 |
| Situation calculus for controller synthesis in manufacturing systems with first-order state representation | ARTIFICIAL INTELLIGENCE | 2022 |
| ASP-Based Declarative Process Mining | Proceedings of the 36th AAAI Conference on Artificial Intelligence | 2022 |
| A tool for compiling Declarative Process Mining problems in ASP | SOFTWARE IMPACTS | 2022 |
| ASP-Based Declarative Process Mining (Extended Abstract) | Electronic Proceedings in Theoretical Computer Science | 2022 |
| Timed Trace Alignment with Metric Temporal Logic over Finite Traces | KR 2021 | 2021 |
| Discovering Declarative Process Model Behavior from Event Logs via Model Learning | Proceedings - 2021 3rd International Conference on Process Mining, ICPM 2021 | 2021 |
| Imitation Learning over Heterogeneous Agents with Restraining Bolts | Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS) | 2020 |
| Restraining Bolts for Reinforcement Learning Agents | Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence | 2020 |
| Temporal Logic Monitoring Rewards via Transducers | Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning | 2020 |
| High-level Programming via Generalized Planning and LTL Synthesis | Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) | 2020 |
| Modeling and In-Database Management of Relational, Data-Aware Processes | Advanced Information Systems Engineering | 2019 |
| Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications | Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling | 2019 |
| First-order μ-calculus over generic transition systems and applications to the situation calculus | INFORMATION AND COMPUTATION | 2018 |
| LTLf/LDLf Non-Markovian Rewards | Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) | 2018 |
| On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment | Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, Twenty-Ninth Innovative Applications of Artificial Intelligence Conference, Seventh Symposium on Educational Advances in Artificial Intelligence : 4-9 February 2017, San Francisco, California, USA | 2017 |
| Progression and Verification of Situation Calculus Agents with Bounded Beliefs | STUDIA LOGICA | 2016 |
| Agent planning programs | ARTIFICIAL INTELLIGENCE | 2016 |
| Bounded situation calculus action theories | ARTIFICIAL INTELLIGENCE | 2016 |
| On First-Order μ-Calculus over Situation Calculus Action Theories | Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016 | 2016 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma