Titolo | Pubblicato in | Anno |
---|---|---|
Enhancing Deep Sequence Generation with Logical Temporal Knowledge | Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024 | 2024 |
Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis | INFORMATION SYSTEMS | 2023 |
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach | ARTIFICIAL INTELLIGENCE IN MEDICINE | 2023 |
A tool for declarative Trace Alignment via automated planning | SOFTWARE IMPACTS | 2023 |
Data-Aware Declarative Process Mining with SAT | ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY | 2023 |
A formalization of multi-agent planning with explicit agent representation | SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing | 2023 |
Mimicking Behaviors in Separated Domains | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | 2023 |
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping | Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 | 2023 |
Strategy Repair in Reachability Games | European Conference on Artificial Intelligence | 2023 |
Optimal Alignment of Temporal Knowledge Bases | European Conference on Artificial Intelligence | 2023 |
Monitoring Arithmetic Temporal Properties on Finite Traces | Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 | 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 |
Multi-model Monitoring Framework for Hybrid Process Specifications | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2022 |
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) | Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022 | 2022 |
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces | IJCAI International Joint Conference on Artificial Intelligence | 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 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma