Home » Users » Fabio Patrizi

Fabio Patrizi

Membro di

Awards

Ultime pubblicazioni

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