Home » Users » Fabio Patrizi

Fabio Patrizi

Membro di

Awards

Ultime pubblicazioni

A formalization of multi-agent planning with explicit agent representation on SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing 2023
A tool for declarative Trace Alignment via automated planning on SOFTWARE IMPACTS 2023
Data-Aware Declarative Process Mining with SAT on ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY 2023
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping on Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 2023
Mimicking Behaviors in Separated Domains on THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2023
Monitoring Arithmetic Temporal Properties on Finite Traces on Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 2023
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach on ARTIFICIAL INTELLIGENCE IN MEDICINE 2023
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma