.home .research .teaching .biosketch .cv

>ls research

groups : interests : publications : software : talks : projects : organization : activity
I am a member of the following research groups: of the Department of Computer, Control and Management Engineering (DIAG) - Sapienza top
My research interests include: top
Here is an updated list of my publications (find me also on DBLP and Google Scholar)

International Journals

  1. Maggi, F.M., Marrella, A., Patrizi, F., Skydanienko, V.:
    Data-Aware Declarative Process Mining with SAT.
    ACM Transactions on Intelligent Systems and Technology. To Appear (2023).
  2. De Giacomo, G., Fried, D., Patrizi, F., Zhu, S.:
    Mimicking Behaviors in Separated Domains.
    Journal of Artificial Intelligence Research (JAIR). To Appear (2023).
  3. Agostinelli, S., Chiariello, F., Maggi, F.M., Marrella, A., Patrizi, F.:
    Process Mining Meets Model Learning: Discovering Deterministic Finite State Automata from Event Logs for Business Process Analysis.
    Inf. Syst. 114: 102180 (2023)
  4. Alman, A., Maggi, F.M., Montali, M., Patrizi, F., Rivkin, A.:
    Monitoring Hybrid Process Specifications with Conflict Management: An Automata-theoretic Approach.
    Artif. Intell. Medicine 139: 102512 (2023)
  5. De Giacomo, G., Fuggitti, F., Maggi, F.M., Marrella, A., Patrizi, F.:
    A Tool for Declarative Trace Alignment via Automated Planning.
    Softw. Impacts 16: 100505 (2023)
  6. De Giacomo, G., Felli, P., Logan, B., Patrizi, F., Sardina, S.,
    Situation Calculus for Controller Synthesis in Manufacturing Systems with First-order State Representations.
    Artif. Intell. 302: 103598 (2022)
  7. Chiariello, F., Maggi, F.M., Patrizi, F.:
    A Tool for Compiling Declarative Process Mining Problems in ASP.
    Softw. Impacts 14: 100435 (2022)
  8. Calvanese, D., De Giacomo, G., Montali, M., Patrizi, F.,
    First-order mu-calculus over Generic Transition Systems and Applications to the Situation Calculus.
    Inf. Comput. 259(3): 328-347 (2018).
  9. De Giacomo, G., Lespérance, Y., Patrizi, F.,
    Bounded Situation Calculus Action Theories.
    Artificial Intelligence 237: 172-203 (2016).
  10. De Giacomo, G., Gerevini, A., Patrizi, F., Saetti, A., Sardina, S.,
    Agent Planning Programs.
    Artificial Intelligence. 231: 64-106 (2016).
  11. Dumas, M., Hull, R., Patrizi, F.,
    Guest Editorial: Special Issue on Data and Artifact-centric Business Processes..
    Computing 98(4): 343-344 (2016)
  12. De Giacomo, G., Lespérance, Y., Patrizi, F., Vassos, S.,
    Progression and Verification of Situation Calculus Agents with Bounded Beliefs.
    Studia Logica. 104(4): 705-739 (2016)
  13. Belardinelli, F., Lomuscio A., Patrizi, F.,
    Verification of Agent-Based Artifact Systems.
    J. Artif. Intell. Res. (JAIR) 51: 333-376 (2014)
  14. De Giacomo, G., Patrizi, F., Sardina, S.,
    Automatic Behavior Composition Synthesis.
    Artificial Intelligence 196:106-142 (2013)
  15. Cadoli, M., Patrizi, F.,
    On the separability of subproblems in Benders decompositions.
    Annals of Operations Research 171:27-43 (2009)
  16. Berardi, D., Cheikh, F., De Giacomo, G., Patrizi, F.,
    Automatic Service Composition Via Simulation.
    Int. J. Found. Comput. Sci. 19(2): 429-451 (2008)
  17. Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M., Patrizi, F.,
    Automatic Service Composition and Synthesis: the Roman Model.
    IEEE Data Eng. Bull. 31(3): 18-22 (2008)
  18. Mancini, T., Micaletto, D., Patrizi, F., Cadoli, M.,
    Evaluating ASP and Commercial Solvers on the CSPLib.
    Constraints 13(4):407-436 (2008)

International Conferences

  1. Anni-Yasmin Turhan, Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli:
    Optimal Alignment of Temporal Knowledge Bases.
    In Proc. of ECAI 2023. To appear.
  2. Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli:
    Strategy Repair in Reachability Games.
    In Proc. of ECAI 2023. To appear.
  3. Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler:
    Monitoring Arithmetic Temporal Properties on Finite Traces.
    In Proc. of AAAI 2023. To appear.
  4. Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi:
    Exploiting Multiple Abstractions in Episodic RL via Reward Shaping.
    In Proc. of AAAI 2023. To appear.
  5. Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi:
    ASP-Based Declarative Process Mining.
    In Proc. of AAAI 2022: 5539-5547.
  6. Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin:
    Multi-model Monitoring Framework for Hybrid Process Specifications.
    In Proc. of CAiSE 2022: 319-335.
  7. Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
    Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces.
    In Proc. of IJCAI 2022: 2553-2560
  8. Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardina:
    Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract).
    In Proc. of IJCAI 2022: 5722-5726.
  9. Simone Agostinelli, Giacomo Bergami, Alessio Fiorenza, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi:
    Discovering Declarative Process Model Behavior from Event Logs via Model Learning.
    In Proc. of ICPM 2021: 48-55.
  10. Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli:
    Timed Trace Alignment with Metric Temporal Logic over Finite Traces.
    In Proc. of KR 2021: 227-236.
  11. De Giacomo, G., Iocchi, L., Favorito, M., Patrizi, F.,
    Restraining Bolts for Reinforcement Learning Agents.
    In Proc. of AAAI 2020. New York (NY), USA. February 2020.
  12. De Giacomo, G., Favorito, M., Iocchi, L., Patrizi, F.,
    Imitation Learning over Heterogeneous Agents with Restraining Bolts.
    In Proc. of ICAPS 2020. Nancy, France. October 2020.
  13. Bonet, B., De Giacomo, G., Geffner, H., Patrizi, F., Rubin, S.,
    High-level Programming via Generalized Planning and LTL Synthesis.
    In Proc. of KR 2020. Rhodes, Greece. September 2020.
  14. De Giacomo, G., Favorito, M., Iocchi, L., Patrizi, F., Ronca, A.,
    Temporal Logic Monitoring Rewards via Transducers.
    In Proc. of KR 2020. Rhodes, Greece. September 2020.
  15. Calvanese, D., Montali, M., Patrizi, F., Rivkin, A.,
    Modeling and In-Database Management of Relational, Data-Aware Processes.
    In Proc. of CAiSE 2019. Rome, Italy. June 2019.
  16. De Giacomo, G., Favorito, M., Iocchi, L., Patrizi, F.,
    Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications.
    In Proc. of ICAPS 2019. Berkeley (CA), USA. July 2019.
  17. Brafman, R.I., De Giacomo, G., Patrizi, F.,
    LTLf/LDLf Non-Markovian Rewards.
    In Proc. of AAAI 2018. New Orleans (LA), USA. February 2018.
  18. De Giacomo, G., Maggi, F.M., Marrella, A., Patrizi, F.,
    On the Disruptive Effectiveness of Automated Planning for LTLf-based Trace Alignment.
    In Proc. of AAAI 2017. San Francisco (CA), USA. February 2017.
  19. Calvanese, D., De Giacomo, G., Montali, M., Patrizi, F.,
    On First-Order mu-Calculus over Situation Calculus Action Theories.
    In Proc. of KR 2016. Cape Town, South Africa. April 2016.
  20. Calvanese, D., Montali, M., Patrizi, F., Stawowy, M.,
    Plan Synthesis for Knowledge and Action Bases.
    In Proc. of IJCAI 2016. New York (NY), USA. July 2016.
  21. Calvanese, D., De Giacomo, G., Montali, M., Patrizi, F.,
    Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.
    In Proc. of IJCAI 2015. Buenos Aires, Argentina. Jul 2015.
  22. De Giacomo, G., Ntouskos, V., Patrizi, F., Vassos, S., Aversa, D.,
    Service Composition with PDDL Representations and Visualization over Videogame Engines.
    In Proc. of SOCA 2015. Rome, Italy. Oct 2015.
  23. De Giacomo, G., Lespérance, Y., Patrizi, F., Vassos, S.,
    Progression and Verification of Situation Calculus Agents with Bounded Beliefs.
    In Proc. of AAMAS 2014. Paris, France. May 2014.
  24. De Giacomo, G., Lespérance, Y., Patrizi, F., Vassos, S.,
    LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.
    In Proc. of ECAI 2014. Prague, Czech Republic. Aug 2014.
  25. De Giacomo, G., Patrizi, F., Sardina, S.,
    Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments.
    In Proc. of ICAPS 2014. Portsmouth (NH), USA. Jun 2014.
  26. Patrizi, F., Vassos, S.,
    Action Theories over Generalized Databases with Equality Constraints.
    In Proc. of JELIA 2014. Madeira, Portugal. Sep 2014.
  27. Patrizi, F., Vassos, S.,
    Action Theories over Generalized Databases with Equality Constraints (Short Paper).
    In Proc. of KR 2014. Vienna, Austria. Jun 2014.
  28. De Giacomo, G., Lespérance, Y., Patrizi, F.,
    Bounded Epistemic Situation Calculus Theories.
    In Proc. of IJCAI 2013. Beijing, China. Aug 2013.
  29. Vassos, S., Patrizi, F.,
    A Classification of First-Order Progressable Action Theories in Situation Calculus.
    In Proc. of IJCAI 2013. Beijing, China. Aug 2013.
  30. Patrizi, F., Lipovetzky, N., Geffner, H.,
    Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners.
    In Proc. of IJCAI 2013. Beijing, China. Aug 2013.
  31. Calvanese, D., De Giacomo, G., Montali, M., Patrizi, F.,
    Verification and Synthesis in Description Logic Based Dynamic Systems.
    In Proc. of RR 2013. Mannheim, Germany. Jul 2013. (Best Paper Award)
  32. Leonetti, M., Iocchi, L., Patrizi, F.,
    Automatic Generation and Learning of Finite-State Controllers.
    In Proc. of AIMSA 2012. Varna, Bulgaria. Sep 2012.
  33. Belardinelli, F., Lomuscio, A., Patrizi, F.,
    Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction.
    In Proc. of ICSOC 2012. Shanghai, China. Nov 2012.
  34. De Giacomo, G., Lespérance, Y., Patrizi, F.,
    Bounded Situation Calculus Action Theories and Decidable Verification.
    In Proc. of KR'12. Rome, Italy. Jun 2012.
  35. Belardinelli, F., Lomuscio, A., Patrizi, F.,
    An Abstraction Technique for the Verification of Artifact-Centric Systems.
    In Proc. of KR'12. Rome, Italy. Jun 2012.
  36. Belardinelli, F., Lomuscio, A., Patrizi, F.,
    Verification of Deployed Artifact Systems via Data Abstraction.
    In Proc. of ICSOC'11. Paphos, Cyprus. Dec 2011.
  37. Gerevini, A., Patrizi, F., Saetti, A.,
    An Effective Approach to Realizing Planning Programs (Short Paper).
    In Proc. of ICAPS'11. Freiburg, Germany. Jun 2011.
  38. Patrizi, F., Lipovetzky, N., De Giacomo, G., Geffner, H.,
    Computing Infinite Plans for LTL Goals Using a Classical Planner.
    In Proc. of IJCAI'11. Barcelona, Spain. Jul 2011.
  39. Belardinelli, F., Lomuscio, A., Patrizi, F.,
    A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results.
    In Proc. of IJCAI'11. Barcelona, Spain. Jul 2011.
  40. De Masellis, R., Di Ciccio, C., Mecella, M., Patrizi, F.,
    Smart Home Planning Programs.
    In Proc. of ICSSSM'10. Tokyo, Japan. Jun-Jul 2010.
  41. De Giacomo, G., Felli, P., Patrizi, F., Sardiña, S.,
    Two-Player Game Structures for Generalized Planning and Agent Composition.
    In Proc. of AAAI'10. Atlanta (Georgia), Usa. Jul 2010.
  42. De Giacomo, G., Patrizi, F., Sardiña, S.,
    Generalized Planning with Loops under Strong Fairness Constraints.
    In Proc. of KR'10. Toronto, Canada. May 2010.
  43. De Giacomo, G., Patrizi, F., Sardiña, S.,
    Agent Programming via Planning Programs.
    In Proc. of AAMAS'10. Toronto, Canada. May 2010.
  44. De Giacomo, G., De Masellis, R., Patrizi, F.,
    Composition of Partially Observable Services Exporting their Behaviour.
    In Proc. of ICAPS'09. Thessaloniki, Greece. Sep 2009.
  45. Deutsch, A. Hull, R., Patrizi, F. Vianu, V.,
    Automatic Verification of Data-Centric Business Processes.
    In Proc. of ICDT '09. Saint-Petersburg, Russia. Mar 2009.
  46. Sardiña, S., Patrizi, F., De Giacomo, G.,
    Behavior Composition in the Presence of Failure.
    In Proc. of KR '08. Sydney, NSW, Australia. 2008.
  47. De Giacomo, G., Patrizi, F., Sardiña, S.,
    Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors.
    In Proc. of AAAI '07. Vancouver, CA., Aug 2007.
  48. De Giacomo, G., De Leoni, M., Mecella, M., Patrizi, F.,
    Automatic Workflows Composition of Mobile Services.
    In Proc. of ICWS '07. Salt Lake City (UT), USA. Jul 2007.
  49. Cadoli, M., Mancini, T., Patrizi, F.,
    SAT as an Effective Solving Technology for Constraint Problems.
    In Proc. of ISMIS '06. Bari, Italy. 2006.
  50. Cadoli, M., Mancini, T., Micaletto D. and Patrizi, F.,
    Evaluating ASP and commercial solvers on the CSPLib.
    In Proc. of ECAI '06. Riva del Garda, Italy. 2006.
  51. Cadoli, M. and Patrizi, F.,
    On the Separability of subproblems in Benders Decompositions.
    In Proc. of CP-AI-OR '06. Cork, Ireland. 2006.

International Workshops

  1. Calvanese, D., Montali, M., Patrizi, F., Stawowy, M.,
    Synthesizing and Executing Plans in Knowledge and Action Bases.
    In Proc. of DL 2016. Cape Town, South Africa. April 2016.
  2. De Giacomo, G., Patrizi, F.,
    Automated Composition of Nondeterministic Stateful Services.
    Proc. of WS-FM'09. Bologna, Italy. 2009.
  3. De Giacomo, G., Patrizi, F., Sardiña, S.,
    Solving High-Level Planning Programs (Extended Abstract).
    Proc. of GenPlan'09 (ICAPS'09 Workshop). Thessaloniki, Greece. Sep 2009.
  4. Patrizi, F.,
    An Introduction to Simulation-Based Techniques for Automated Service Composition.
    Electronic Proceedings in Theoretical Computer Science (EPCTS) 2: 37-49.
  5. Patrizi, F. and De Giacomo, G.,
    Composition of Services that Share an Infinite-State Blackboard (Extended Abstract).
    In Proc. of IIWEB'09. Pasadena, CA. USA. Jul 2009.
  6. Bonomi, S., Colaianni, V., Patrizi, F., Pozzi, D., Russo, R., Mecella, M.,
    SWSCE - An Automatic Semantic Web Service Composition Engine.
    In Proc. of ESTEEM '08. Rome, Italy. Jul 2008.
  7. Cadoli, M., Mancini, T., Micaletto, D., Patrizi, F.,
    Evaluating ASP and commercial solvers on the CSPLib (Preliminary work).
    In Proc. of WLP '06. Vienna-Austria. Feb 2006.
  8. Farinelli, A., Iocchi, L., Nardi, D., Patrizi, F.,
    Task Assignment with Dynamic Token Generation.
    In Proc. of MSRAS '04. 2005.
  9. Biagetti, A., Farinelli, A., Iocchi, L., Nardi, D., Patrizi, F.,
    Experiments with the RoboCup Rescue Simulator in a Post Earthquake Emergency Italian Scenario.
    In Proc. of SSRR '04. Bonn, Germany. May 2004.

Edited Works

  1. Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B., Brandic, I.,
    Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium. Revised Selected Papers.
    Lecture Notes in Computer Science 8377. 2016.

Book Chapters

  1. De Giacomo, G., Mecella, M., Patrizi, F.,
    Automated Service Composition Based on Behaviors: The Roman Model. .
    Web Services Foundations 2014: 189-214. 2014.

National Journals

  1. Farinelli, A., Iocchi, L., Nardi, D., Patrizi, F.,
    A Multi Agent System Approach for Emergency Intervention: Experimental Analisys and Evaluation.
    Intelligenza Artificiale 2(1): 47-53 (2005)

National Conferences

  1. Cadoli, M., Mancini, T., Patrizi, F.,
    SAT as an effective solving technology for constraint problems.
    In Proc. of CILC '05. Rome, Italy. 2005.

National Workshops

  1. Cadoli, M., Mancini, T., Patrizi, F.,
    SAT as an effective solving technology for constraint problems.
    In Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale. Technical Report, Dipartimento di Ingegneria, Università di Ferrara, Italy, June 10 2005.
top
As part of my research activity, I have produced some software: top
I have also given some invited talks: top
  • I participate or have participated in the following research projects:
  • top
    I served as: top
    I regularly serve as a PC member for top-tier international conferences and contribute to the editorial activity of various top-level international journals:
    top

    >_