Fabio Patrizi
Fabio Patrizi
Associate Professor, DIAG - Sapienza University of Rome
Email verificata su dis.uniroma1.it - Home page
Titolo
Citata da
Citata da
Anno
Automatic verification of data-centric business processes
A Deutsch, R Hull, F Patrizi, V Vianu
Proceedings of the 12th international Conference on Database Theory, 252-267, 2009
2902009
Automatic service composition via simulation
D Berardi, F Cheikh, G De Giacomo, F Patrizi
International Journal of Foundations of Computer Science 19 (02), 429-451, 2008
1062008
Automatic Service Composition and Synthesis: the Roman Model.
D Calvanese, G De Giacomo, M Lenzerini, M Mecella, F Patrizi
IEEE Data Eng. Bull. 31 (3), 18-22, 2008
992008
An Abstraction Technique for the Verification of Artifact-Centric Systems.
F Belardinelli, A Lomuscio, F Patrizi
KR, 2012
752012
Automatic behavior composition synthesis
G De Giacomo, F Patrizi, S Sardina
Artificial Intelligence 196, 106-142, 2013
712013
Verification of GSM-based artifact-centric systems through finite abstraction
F Belardinelli, A Lomuscio, F Patrizi
International Conference on Service-Oriented Computing, 17-31, 2012
572012
Verification of agent-based artifact systems
F Belardinelli, A Lomuscio, F Patrizi
Journal of Artificial Intelligence Research 51, 333-376, 2014
552014
Bounded Situation Calculus Action Theories and Decidable Verification.
G De Giacomo, Y LespÚrance, F Patrizi
CogRob@ AAAI, 2012
522012
Verification of deployed artifact systems via data abstraction
F Belardinelli, A Lomuscio, F Patrizi
International Conference on Service-Oriented Computing, 142-156, 2011
512011
Computing infinite plans for LTL goals using a classical planner
F Patrizini, N Lipovetzky, G Giacomo, H Geffner
Proceedings of the Twenty-Second International Joint Conference oná…, 2011
442011
Fair LTL synthesis for non-deterministic systems using strong cyclic planners
F Patrizi, N Lipovetzky, H Geffner
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
422013
Behavior Composition in the Presence of Failure.
S Sardina, F Patrizi, G De Giacomo
KR, 640-650, 2008
422008
LTLf/LDLf non-markovian rewards
R Brafman, G De Giacomo, F Patrizi
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
362018
SAT as an effective solving technology for constraint problems
M Cadoli, T Mancini, F Patrizi
International Symposium on Methodologies for Intelligent Systems, 540-549, 2006
312006
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment
G De Giacomo, FM Maggi, A Marrella, F Patrizi
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
302017
Evaluating ASP and commercial solvers on the CSPLib
T Mancini, D Micaletto, F Patrizi, M Cadoli
Constraints 13 (4), 407-436, 2008
302008
Two-player game structures for generalized planning and agent composition
G De Giacomo, P Felli, F Patrizi, S Sardina
Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 2010
292010
Foundations for restraining bolts: Reinforcement learning with LTLf/LDLf restraining specifications
G De Giacomo, L Iocchi, M Favorito, F Patrizi
Proceedings of the International Conference on Automated Planning andá…, 2019
27*2019
Automatic synthesis of a global behavior from multiple distributed behaviors
S Sardina, F Patrizi, G De Giacomo
AAAI, 1063-1069, 2007
272007
Agent planning programs
G De Giacomo, AE Gerevini, F Patrizi, A Saetti, S Sardina
Artificial Intelligence 231, 64-106, 2016
212016
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20