Home » Users » Fabio Patrizi

Fabio Patrizi

Membro di


Ultime pubblicazioni

Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications on Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling 2019
ICDT Test of Time Award on Automatic verification of data-centric business processes. 2019
Modeling and In-Database Management of Relational, Data-Aware Processes on Advanced Information Systems Engineering 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

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