Fabio Patrizi

ORCID

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 54

Top Venues

CoRR

AAAI

IJCAI

Publications

Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli
Strategy Repair in Reachability Games. ECAI (2023)
Alessandro Trapasso, Sofia Santilli, Luca Iocchi, Fabio Patrizi
A formalization of multi-agent planning with explicit agent representation. SAC (2023)
Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi, Vasyl Skydanienko
Data-Aware Declarative Process Mining with SAT. ACM Trans. Intell. Syst. Technol. 14 (4) (2023)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. Artif. Intell. Medicine 139 (2023)
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Mimicking Behaviors in Separated Domains. J. Artif. Intell. Res. 77 (2023)
Giuseppe De Giacomo, Francesco Fuggitti, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
A tool for declarative Trace Alignment via automated planning. Softw. Impacts 16 (2023)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. Inf. Syst. 119 (2023)
Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Optimal Alignment of Temporal Knowledge Bases. ECAI (2023)
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
Monitoring Arithmetic Temporal Properties on Finite Traces. AAAI (2023)
Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Optimal Alignment of Temporal Knowledge Bases. CoRR (2023)
Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. AAAI (2023)
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
From LTL on Process Traces to Finite-state Automata. BPM (Demos / Resources Forum) (2023)
Simone Agostinelli, Francesco Chiariello, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis. Inf. Syst. 114 (2023)
Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. CoRR (2023)
Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi
Clock Specifications for Temporal Tasks in Planning and Learning. OVERLAY@AI*IA (2023)
Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artif. Intell. 302 (2022)
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
ASP-Based Declarative Process Mining. AAAI (2022)
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Verification of Generic, Relational Transition Systems. PMAI@IJCAI (2022)
Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). IJCAI (2022)
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
ASP-Based Declarative Process Mining. CoRR (2022)
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Mimicking Behaviors in Separated Domains. CoRR (2022)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
Multi-model Monitoring Framework for Hybrid Process Specifications. CAiSE (2022)
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
Monitoring Arithmetic Temporal Properties on Finite Traces. CoRR (2022)
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. IJCAI (2022)
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
A tool for compiling Declarative Process Mining problems in ASP. Softw. Impacts 14 (2022)
Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli
Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR (2021)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach. CoRR (2021)
Simone Agostinelli, Giacomo Bergami, Alessio Fiorenza, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
Discovering Declarative Process Model Behavior from Event Logs via Model Learning. ICPM (2021)
Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Imitation Learning over Heterogeneous Agents with Restraining Bolts. ICAPS (2020)
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin
High-level Programming via Generalized Planning and LTL Synthesis. KR (2020)
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
Restraining Bolts for Reinforcement Learning Agents. AAAI (2020)
Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca
Temporal Logic Monitoring Rewards via Transducers. KR (2020)
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
Modeling and In-Database Management of Relational, Data-Aware Processes. CAiSE (2019)
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. ICAPS (2019)
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
Modelling and Enactment of Data-aware Processes. CoRR (2018)
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
Reinforcement Learning for LTLf/LDLf Goals. CoRR (2018)
Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi
LTLf/LDLf Non-Markovian Rewards. AAAI (2018)
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
-calculus over generic transition systems and applications to the situation calculus. Inf. Comput. 259 (3) (2018)
Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
Situation Calculus for Synthesis of Manufacturing Controllers. CoRR (2018)
Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi
Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version). CoRR (2017)
Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
-Based Trace Alignment. AAAI (2017)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña
Verifying ConGolog Programs on Bounded Situation Calculus Theories. AAAI (2016)
Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy
Synthesizing and Executing Plans in Knowledge and Action Bases. Description Logics (2016)
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
On First-Order μ-Calculus over Situation Calculus Action Theories. KR (2016)
Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy
Plan Synthesis for Knowledge and Action Bases. IJCAI (2016)
Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardiña
Agent planning programs. Artif. Intell. 231 (2016)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Bounded situation calculus action theories. Artif. Intell. 237 (2016)
Marlon Dumas, Richard Hull, Fabio Patrizi
Guest editorial: special issue on data and artifact-centric business processes. Computing 98 (4) (2016)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Stud Logica 104 (4) (2016)
Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. IJCAI (2015)
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
Leveraging Relational Technology for Data-Centric Dynamic Systems. SEBD (2015)
Giuseppe De Giacomo, Valsamis Ntouskos, Fabio Patrizi, Stavros Vassos, Davide Aversa
Service Composition with PDDL Representations and Visualization over Videogame Engines (Short Paper). SOCA (2015)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Bounded Situation Calculus Action Theories. CoRR (2015)
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
Implementing Data-Centric Dynamic Systems over a Relational DBMS. AMW (2015)
Fabio Patrizi, Stavros Vassos
Action Theories over Generalized Databases with Equality Constraints. JELIA (2014)
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. ICAPS (2014)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
Progression and verification of situation calculus agents with bounded beliefs. AAMAS (2014)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. ECAI (2014)
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
Verification of Agent-Based Artifact Systems. J. Artif. Intell. Res. 51 (2014)
Fabio Patrizi, Stavros Vassos
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract). KR (2014)
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Verification and Synthesis in Description Logic Based Dynamic Systems. RR (2013)
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
Verification of Agent-Based Artifact Systems CoRR (2013)
Alessandro Russo, Massimo Mecella, Fabio Patrizi, Marco Montali
Implementing and Running Data-Centric Dynamic Systems. SOCA (2013)
Fabio Patrizi, Nir Lipovetzky, Hector Geffner
Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners. IJCAI (2013)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Bounded Epistemic Situation Calculus Theories. IJCAI (2013)
Fabio Patrizi, Boualem Benatallah, Ivona Brandic
ICSOC PhD Symposium 2013. ICSOC Workshops (2013)
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. Description Logics (2013)
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
Automatic behavior composition synthesis. Artif. Intell. 196 (2013)
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version). AIBP@AI*IA (2013)
Alessandro Russo, Massimo Mecella, Marco Montali, Fabio Patrizi
Towards a Reference Implementation for Data Centric Dynamic Systems. Business Process Management Workshops (2013)
Stavros Vassos, Fabio Patrizi
A Classification of First-Order Progressable Action Theories in Situation Calculus. IJCAI (2013)
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. ICSOC (2012)
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
An Abstraction Technique for the Verification of Artifact-Centric Systems. KR (2012)
Matteo Leonetti, Luca Iocchi, Fabio Patrizi
Automatic Generation and Learning of Finite-State Controllers. AIMSA (2012)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Bounded Situation Calculus Action Theories and Decidable Verification. KR (2012)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Bounded Situation Calculus Action Theories and Decidable Verification. CogRob@AAAI (2012)
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. IJCAI (2011)
Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner
Computing Infinite Plans for LTL Goals Using a Classical Planner. IJCAI (2011)
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
Verification of Deployed Artifact Systems via Data Abstraction. ICSOC (2011)
Alfonso Gerevini, Fabio Patrizi, Alessandro Saetti
An Effective Approach to Realizing Planning Programs. ICAPS (2011)
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
Agent programming via planning programs. AAMAS (2010)
Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
Two-Player Game Structures for Generalized Planning and Agent Composition. AAAI (2010)
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
Generalized Planning with Loops under Strong Fairness Constraints. KR (2010)
Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu
Automatic verification of data-centric business processes. ICDT (2009)
Marco Cadoli, Fabio Patrizi
On the separability of subproblems in Benders decompositions. Ann. Oper. Res. 171 (1) (2009)
Fabio Patrizi
An Introduction to Simulation-Based Techniques for Automated Service Composition YR-SOC (2009)
Giuseppe De Giacomo, Riccardo De Masellis, Fabio Patrizi
Composition of Partially Observable Services Exporting their Behaviour. ICAPS (2009)
Giuseppe De Giacomo, Fabio Patrizi
Automated Composition of Nondeterministic Stateful Services. WS-FM (2009)
Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo
Behavior Composition in the Presence of Failure. KR (2008)
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Fabio Patrizi
Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. 31 (3) (2008)
Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi
Automatic Service Composition via Simulation. Int. J. Found. Comput. Sci. 19 (2) (2008)
Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli
Evaluating ASP and Commercial Solvers on the CSPLib. Constraints An Int. J. 13 (4) (2008)
Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. AAAI (2007)
Giuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi
AutomaticWorkflows Composition of Mobile Services. ICWS (2007)
Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
Evaluating ASP and Commercial Solvers on the CSPLib. ECAI (2006)
Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). WLP (2006)
Marco Cadoli, Toni Mancini, Fabio Patrizi
SAT as an Effective Solving Technology for Constraint Problems. ISMIS (2006)
Marco Cadoli, Fabio Patrizi
On the Separability of Subproblems in Benders Decompositions. CPAIOR (2006)
Alessandro Farinelli, Luca Iocchi, Daniele Nardi, Fabio Patrizi
A Multi Agent System approach for emergency intervention: experimental analysis and evaluation. Intelligenza Artificiale 2 (1) (2005)
Alessandro Farinelli, Luca Iocchi, Daniele Nardi, Fabio Patrizi
Task Assignment with Dynamic Token Generation. MSRAS (2004)

Fabio Patrizi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fabio Patrizi