Fabio Patrizi

Fabio Patrizi

Università degli Studi di Roma La Sapienza - Rome / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1801765
Sapienza University of Rome
person_outline Fabio Patrizi's MOST POPULAR ARTICLES
1-) Automatic verification of data-centric business processesA Deutsch, R Hull, F Patrizi, V VianuProceedings of the 12th international Conference on Database Theory, 252-267, 20093042009
2-) Foundations for restraining bolts: Reinforcement learning with LTLf/LDLf restraining specificationsG De Giacomo, L Iocchi, M Favorito, F PatriziProceedings of the international conference on automated planning and …, 20191122019
3-) LTLf/LDLf non-markovian rewardsR Brafman, G De Giacomo, F PatriziProceedings of the AAAI conference on artificial intelligence 32 (1), 20181112018
4-) Automatic service composition via simulationD Berardi, F Cheikh, G De Giacomo, F PatriziInternational Journal of Foundations of Computer Science 19 (02), 429-451, 20081102008
5-) Automatic Service Composition and Synthesis: the Roman Model.D Calvanese, G De Giacomo, M Lenzerini, M Mecella, F PatriziIEEE Data Eng. Bull. 31 (3), 18-22, 20081062008