Home » Users » Fabio Patrizi

Fabio Patrizi

Membro di

Ultime pubblicazioni

ICDT Test of Time Award on Automatic verification of data-centric business processes. 2019
First-order μ-calculus over generic transition systems and applications to the situation calculus on INFORMATION AND COMPUTATION 2018
LTLf/LDLf Non-Markovian Rewards on 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 on 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 Franci... 2017
Agent planning programs on ARTIFICIAL INTELLIGENCE 2016
Bounded situation calculus action theories on ARTIFICIAL INTELLIGENCE 2016
Guest editorial: special issue on data and artifact-centric business processes on COMPUTING 2016

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma