Följ
Fabio Patrizi
Fabio Patrizi
Associate Professor, DIAG - Sapienza University of Rome
Verifierad e-postadress på dis.uniroma1.it - Startsida
Titel
Citeras av
Citeras av
År
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
3202009
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
1482019
LTLf/LDLf non-markovian rewards
R Brafman, G De Giacomo, F Patrizi
Proceedings of the AAAI conference on artificial intelligence 32 (1), 2018
1212018
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
1122008
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
1092008
Automatic behavior composition synthesis
G De Giacomo, F Patrizi, S Sardina
Artificial Intelligence 196, 106-142, 2013
892013
An Abstraction Technique for the Verification of Artifact-Centric Systems.
F Belardinelli, A Lomuscio, F Patrizi
KR, 2012
842012
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
692017
Computing infinite plans for LTL goals using a classical planner
F Patrizi, N Lipovetzky, G De Giacomo, H Geffner
IJCAI, 2003-2008, 2011
672011
Verification of agent-based artifact systems
F Belardinelli, A Lomuscio, F Patrizi
Journal of Artificial Intelligence Research 51, 333-376, 2014
652014
Verification of GSM-based artifact-centric systems through finite abstraction
F Belardinelli, A Lomuscio, F Patrizi
Service-Oriented Computing: 10th International Conference, ICSOC 2012 …, 2012
622012
Bounded Situation Calculus Action Theories and Decidable Verification.
G De Giacomo, Y Lespérance, F Patrizi
KR 12, 467-477, 2012
602012
Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners.
F Patrizi, N Lipovetzky, H Geffner
IJCAI, 2343-2349, 2013
552013
Verification of deployed artifact systems via data abstraction
F Belardinelli, A Lomuscio, F Patrizi
Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011
552011
Bounded situation calculus action theories
G De Giacomo, Y Lespérance, F Patrizi
Artificial Intelligence 237, 172-203, 2016
522016
First-order μ-calculus over generic transition systems and applications to the situation calculus
D Calvanese, G De Giacomo, M Montali, F Patrizi
Information and Computation 259, 328-347, 2018
492018
Behavior Composition in the Presence of Failure.
S Sardina, F Patrizi, G De Giacomo
KR, 640-650, 2008
452008
SAT as an effective solving technology for constraint problems
M Cadoli, T Mancini, F Patrizi
Foundations of Intelligent Systems: 16th International Symposium, ISMIS 2006 …, 2006
432006
Evaluating ASP and commercial solvers on the CSPLib
T Mancini, D Micaletto, F Patrizi, M Cadoli
Constraints 13, 407-436, 2008
402008
Automated service composition based on behaviors: The roman model
G De Giacomo, M Mecella, F Patrizi
Web services foundations, 189-214, 2013
342013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20