Fabio Patrizi | Ricerc@Sapienza

Pubblicazioni

Titolo	Pubblicato in	Anno
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
Imitation Learning over Heterogeneous Agents with Restraining Bolts	Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS)	2020

ERC

PE6_4
PE6_7

Keywords

Computer Science - Artificial Intelligence

Knowledge Representation and Reasoning

Reinforcement Learning

Automated Planning in AI

Progetti di Ricerca

DRAPE: Data-awaRe Automatic Process Execution