.home .research .teaching(ita) .biosketch .cv

>ls research

groups : interests : publications : software : talks : projects : organization : activity
I am Assistant Professor at: and a member of the following research groups: 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. De Giacomo, G., Lespérance, Y., Patrizi, F., Bounded Situation Calculus Action Theories.
    Artificial Intelligence. Accepted for publication (2015).
  2. De Giacomo, G., Gerevini, A., Patrizi, F., Saetti, A., Sardina, S., Agent Planning Programs.
    Artificial Intelligence. Accepted for publication (2015).
  3. De Giacomo, G., Lespérance, Y., Patrizi, F., Vassos, S., Progression and Verification of Situation Calculus Agents with Bounded Beliefs.
    Studia Logica. To appear (2015)
  4. Belardinelli, F., Lomuscio A., Patrizi, F., Verification of Agent-Based Artifact Systems.
    J. Artif. Intell. Res. (JAIR) 51: 333-376 (2014)
  5. De Giacomo, G., Patrizi, F., Sardina, S., Automatic Behavior Composition Synthesis.
    Artificial Intelligence 196:106-142 (2013)
  6. Cadoli, M., Patrizi, F., On the separability of subproblems in Benders decompositions.
    Annals of Operations Research 171:27-43 (2009)
  7. Berardi, D., Cheikh, F., De Giacomo, G., Patrizi, F., Automatic Service Composition Via Simulation.
    Int. J. Found. Comput. Sci. 19(2): 429-451 (2008)
  8. 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)
  9. 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. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. Patrizi, F., Vassos, S., Action Theories over Generalized Databases with Equality Constraints.
    In Proc. of JELIA 2014. Madeira, Portugal. Sep 2014.
  10. Patrizi, F., Vassos, S., Action Theories over Generalized Databases with Equality Constraints (Short Paper).
    In Proc. of KR 2014. Vienna, Austria. Jun 2014.
  11. De Giacomo, G., Lespérance, Y., Patrizi, F., Bounded Epistemic Situation Calculus Theories.
    In Proc. of IJCAI 2013. Beijing, China. Aug 2013.
  12. Vassos, S., Patrizi, F., A Classification of First-Order Progressable Action Theories in Situation Calculus.
    In Proc. of IJCAI 2013. Beijing, China. Aug 2013.
  13. 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.
  14. 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)
  15. Leonetti, M., Iocchi, L., Patrizi, F., Automatic Generation and Learning of Finite-State Controllers.
    In Proc. of AIMSA 2012. Varna, Bulgaria. Sep 2012.
  16. 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.
  17. 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.
  18. 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.
  19. Belardinelli, F., Lomuscio, A., Patrizi, F., Verification of Deployed Artifact Systems via Data Abstraction.
    In Proc. of ICSOC'11. Paphos, Cyprus. Dec 2011.
  20. Gerevini, A., Patrizi, F., Saetti, A., An Effective Approach to Realizing Planning Programs (Short Paper).
    In Proc. of ICAPS'11. Freiburg, Germany. Jun 2011.
  21. 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.
  22. 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.
  23. De Masellis, R., Di Ciccio, C., Mecella, M., Patrizi, F., Smart Home Planning Programs.
    In Proc. of ICSSSM'10. Tokyo, Japan. Jun-Jul 2010.
  24. 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.
  25. 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.
  26. De Giacomo, G., Patrizi, F., Sardiña, S., Agent Programming via Planning Programs.
    In Proc. of AAMAS'10. Toronto, Canada. May 2010.
  27. 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.
  28. 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.
  29. Sardiña, S., Patrizi, F., De Giacomo, G., Behavior Composition in the Presence of Failure.
    In Proc. of KR '08. Sydney, NSW, Australia. 2008.
  30. 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.
  31. 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.
  32. Cadoli, M., Mancini, T., Patrizi, F., SAT as an Effective Solving Technology for Constraint Problems.
    In Proc. of ISMIS '06. Bari, Italy. 2006.
  33. 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.
  34. 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.

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 have participated in the following research projects:
  • top
    I served as: top
    I regularly serve as a reviewer for top-level international journals, conferences, and workshops in my research areas.
    top

    >_