Task Assignment with Dynamic Token Generation. - Alessandro Farinelli; Luca Iocchi; Daniele Nardi; Fabio Patrizi (MSRAS, 2004)

A Multi Agent System approach for emergency intervention: experimental analysis and evaluation. - Alessandro Farinelli; Luca Iocchi; Daniele Nardi; Fabio Patrizi (Intelligenza Artificiale, 2005)

SAT as an Effective Solving Technology for Constraint Problems. - Marco Cadoli; Toni Mancini; Fabio Patrizi (ISMIS, 2006)

Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). - Marco Cadoli; Toni Mancini; Davide Micaletto; Fabio Patrizi (WLP, 2006)

Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. - Sebastian Sardiña; Fabio Patrizi; Giuseppe De Giacomo (AAAI, 2007)

AutomaticWorkflows Composition of Mobile Services. - Giuseppe De Giacomo; Massimiliano de Leoni; Massimo Mecella; Fabio Patrizi (ICWS, 2007)

Behavior Composition in the Presence of Failure. - Sebastian Sardiña; Fabio Patrizi; Giuseppe De Giacomo (KR, 2008)

Evaluating ASP and Commercial Solvers on the CSPLib. - Toni Mancini; Davide Micaletto; Fabio Patrizi; Marco Cadoli (Constraints An Int. J., 2008)

Automatic Service Composition and Synthesis: the Roman Model. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella; Fabio Patrizi (IEEE Data Eng. Bull., 2008)

Automatic Service Composition via Simulation. - Daniela Berardi; Fahima Cheikh; Giuseppe De Giacomo; Fabio Patrizi (Int. J. Found. Comput. Sci., 2008)

Composition of Partially Observable Services Exporting their Behaviour. - Giuseppe De Giacomo; Riccardo De Masellis; Fabio Patrizi (ICAPS, 2009)

Automatic verification of data-centric business processes. - Alin Deutsch; Richard Hull 001; Fabio Patrizi; Victor Vianu (ICDT, 2009)

Automated Composition of Nondeterministic Stateful Services. - Giuseppe De Giacomo; Fabio Patrizi (WS-FM, 2009)

On the separability of subproblems in Benders decompositions. - Marco Cadoli; Fabio Patrizi (Ann. Oper. Res., 2009)

An Introduction to Simulation-Based Techniques for Automated Service Composition - Fabio Patrizi (YR-SOC, 2009)

Two-Player Game Structures for Generalized Planning and Agent Composition. - Giuseppe De Giacomo; Paolo Felli; Fabio Patrizi; Sebastian Sardiña (AAAI, 2010)

Agent programming via planning programs. - Giuseppe De Giacomo; Fabio Patrizi; Sebastian Sardiña (AAMAS, 2010)

Generalized Planning with Loops under Strong Fairness Constraints. - Giuseppe De Giacomo; Fabio Patrizi; Sebastian Sardiña (KR, 2010)

An Effective Approach to Realizing Planning Programs. - Alfonso Gerevini; Fabio Patrizi; Alessandro Saetti (ICAPS, 2011)

Verification of Deployed Artifact Systems via Data Abstraction. - Francesco Belardinelli; Alessio Lomuscio; Fabio Patrizi (ICSOC, 2011)

A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. - Francesco Belardinelli; Alessio Lomuscio; Fabio Patrizi (IJCAI, 2011)

Computing Infinite Plans for LTL Goals Using a Classical Planner. - Fabio Patrizi; Nir Lipovetzky; Giuseppe De Giacomo; Hector Geffner (IJCAI, 2011)

Bounded Situation Calculus Action Theories and Decidable Verification. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi (CogRob@AAAI, 2012)

Automatic Generation and Learning of Finite-State Controllers. - Matteo Leonetti; Luca Iocchi; Fabio Patrizi (AIMSA, 2012)

Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. - Francesco Belardinelli; Alessio Lomuscio; Fabio Patrizi (ICSOC, 2012)

An Abstraction Technique for the Verification of Artifact-Centric Systems. - Francesco Belardinelli; Alessio Lomuscio; Fabio Patrizi (KR, 2012)

Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version). - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (AIBP@AI*IA, 2013)

Towards a Reference Implementation for Data Centric Dynamic Systems. - Alessandro Russo 001; Massimo Mecella; Marco Montali; Fabio Patrizi (Business Process Management Workshops, 2013)

Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (Description Logics, 2013)

ICSOC PhD Symposium 2013. - Fabio Patrizi; Boualem Benatallah; Ivona Brandic (ICSOC Workshops, 2013)

Bounded Epistemic Situation Calculus Theories. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi (IJCAI, 2013)

Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners. - Fabio Patrizi; Nir Lipovetzky; Hector Geffner (IJCAI, 2013)

A Classification of First-Order Progressable Action Theories in Situation Calculus. - Stavros Vassos; Fabio Patrizi (IJCAI, 2013)

Verification and Synthesis in Description Logic Based Dynamic Systems. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (RR, 2013)

Implementing and Running Data-Centric Dynamic Systems. - Alessandro Russo 001; Massimo Mecella; Fabio Patrizi; Marco Montali (SOCA, 2013)

Automatic behavior composition synthesis. - Giuseppe De Giacomo; Fabio Patrizi; Sebastian Sardiña (Artif. Intell., 2013)

Automated Service Composition Based on Behaviors: The Roman Model. - Giuseppe De Giacomo; Massimo Mecella; Fabio Patrizi (Web Services Foundations, 2014)

Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. - Giuseppe De Giacomo; Fabio Patrizi; Sebastian Sardiña (ICAPS, 2014)

LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi; Stavros Vassos (ECAI, 2014)

Action Theories over Generalized Databases with Equality Constraints. - Fabio Patrizi; Stavros Vassos (JELIA, 2014)

Action Theories over Generalized Databases with Equality Constraints (Extended Abstract). - Fabio Patrizi; Stavros Vassos (KR, 2014)

Verification of Agent-Based Artifact Systems. - Francesco Belardinelli; Alessio Lomuscio; Fabio Patrizi (J. Artif. Intell. Res., 2014)

Implementing Data-Centric Dynamic Systems over a Relational DBMS. - Diego Calvanese; Marco Montali; Fabio Patrizi; Andrey Rivkin (AMW, 2015)

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. - Diego Calvanese; Marco Montali; Fabio Patrizi; Giuseppe De Giacomo (IJCAI, 2015)

Leveraging Relational Technology for Data-Centric Dynamic Systems. - Diego Calvanese; Marco Montali; Fabio Patrizi; Andrey Rivkin (SEBD, 2015)

Service Composition with PDDL Representations and Visualization over Videogame Engines (Short Paper). - Giuseppe De Giacomo; Valsamis Ntouskos; Fabio Patrizi; Stavros Vassos; Davide Aversa (SOCA, 2015)

Verifying ConGolog Programs on Bounded Situation Calculus Theories. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi; Sebastian Sardiña (AAAI, 2016)

Synthesizing and Executing Plans in Knowledge and Action Bases. - Diego Calvanese; Marco Montali; Fabio Patrizi; Michele Stawowy (Description Logics, 2016)

Plan Synthesis for Knowledge and Action Bases. - Diego Calvanese; Marco Montali; Fabio Patrizi; Michele Stawowy (IJCAI, 2016)

On First-Order μ-Calculus over Situation Calculus Action Theories. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (KR, 2016)

Agent planning programs. - Giuseppe De Giacomo; Alfonso Emilio Gerevini; Fabio Patrizi; Alessandro Saetti; Sebastian Sardiña (Artif. Intell., 2016)

Bounded situation calculus action theories. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi (Artif. Intell., 2016)

Guest editorial: special issue on data and artifact-centric business processes. - Marlon Dumas; Richard Hull 001; Fabio Patrizi (Computing, 2016)

Progression and Verification of Situation Calculus Agents with Bounded Beliefs. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi; Stavros Vassos (Stud Logica, 2016)

On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment. - Giuseppe De Giacomo; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (AAAI, 2017)

Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version). - Ronen I. Brafman; Giuseppe De Giacomo; Fabio Patrizi (CoRR, 2017)

LTLf/LDLf Non-Markovian Rewards. - Ronen I. Brafman; Giuseppe De Giacomo; Fabio Patrizi (AAAI, 2018)

Situation Calculus for Synthesis of Manufacturing Controllers. - Giuseppe De Giacomo; Brian Logan 001; Paolo Felli; Fabio Patrizi; Sebastian Sardiña (CoRR, 2018)

Reinforcement Learning for LTLf/LDLf Goals. - Giuseppe De Giacomo; Luca Iocchi; Marco Favorito; Fabio Patrizi (CoRR, 2018)

Modelling and Enactment of Data-aware Processes. - Diego Calvanese; Marco Montali; Fabio Patrizi; Andrey Rivkin (CoRR, 2018)

First-order μ-calculus over generic transition systems and applications to the situation calculus. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (Inf. Comput., 2018)

Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. - Giuseppe De Giacomo; Luca Iocchi; Marco Favorito; Fabio Patrizi (ICAPS, 2019)

Modeling and In-Database Management of Relational, Data-Aware Processes. - Diego Calvanese; Marco Montali; Fabio Patrizi; Andrey Rivkin (CAiSE, 2019)

Restraining Bolts for Reinforcement Learning Agents. - Giuseppe De Giacomo; Luca Iocchi; Marco Favorito; Fabio Patrizi (AAAI, 2020)

Imitation Learning over Heterogeneous Agents with Restraining Bolts. - Giuseppe De Giacomo; Marco Favorito; Luca Iocchi; Fabio Patrizi (ICAPS, 2020)

High-level Programming via Generalized Planning and LTL Synthesis. - Blai Bonet; Giuseppe De Giacomo; Hector Geffner; Fabio Patrizi; Sasha Rubin (KR, 2020)

Temporal Logic Monitoring Rewards via Transducers. - Giuseppe De Giacomo; Marco Favorito; Luca Iocchi; Fabio Patrizi; Alessandro Ronca (KR, 2020)

Discovering Declarative Process Model Behavior from Event Logs via Model Learning. - Simone Agostinelli; Giacomo Bergami; Alessio Fiorenza; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (ICPM, 2021)

Timed Trace Alignment with Metric Temporal Logic over Finite Traces. - Giuseppe De Giacomo; Aniello Murano; Fabio Patrizi; Giuseppe Perelli (KR, 2021)

Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin (CoRR, 2021)

ASP-Based Declarative Process Mining. - Francesco Chiariello; Fabrizio Maria Maggi; Fabio Patrizi (AAAI, 2022)

Multi-model Monitoring Framework for Hybrid Process Specifications. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin (CAiSE, 2022)

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (IJCAI, 2022)

Verification of Generic, Relational Transition Systems. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (PMAI@IJCAI, 2022)

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). - Giuseppe De Giacomo; Paolo Felli; Brian Logan 001; Fabio Patrizi; Sebastian Sardiña (IJCAI, 2022)

Situation calculus for controller synthesis in manufacturing systems with first-order state representation. - Giuseppe De Giacomo; Paolo Felli; Brian Logan 001; Fabio Patrizi; Sebastian Sardiña (Artif. Intell., 2022)

A tool for compiling Declarative Process Mining problems in ASP. - Francesco Chiariello; Fabrizio Maria Maggi; Fabio Patrizi (Softw. Impacts, 2022)

Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. - Roberto Cipollone 002; Giuseppe De Giacomo; Marco Favorito; Luca Iocchi; Fabio Patrizi (AAAI, 2023)

Monitoring Arithmetic Temporal Properties on Finite Traces. - Paolo Felli; Marco Montali; Fabio Patrizi; Sarah Winkler (AAAI, 2023)

Scaling up Parallel Robot Plans to Improve Plan Execution Time: an Industrial Use Case (short paper). - Edoardo Giordani; Sofia Santilli; Luca Iocchi; Fabio Patrizi; Fabio Zonfrilli (AIRO@AI*IA, 2023)

From LTL on Process Traces to Finite-state Automata. - Francesco Chiariello; Fabrizio Maria Maggi; Fabio Patrizi (BPM (Demos / Resources Forum), 2023)

Strategy Repair in Reachability Games. - Pierre Gaillard; Fabio Patrizi; Giuseppe Perelli (ECAI, 2023)

Optimal Alignment of Temporal Knowledge Bases. - Oliver Fernández Gil; Fabio Patrizi; Giuseppe Perelli; Anni-Yasmin Turhan (ECAI, 2023)

Clock Specifications for Temporal Tasks in Planning and Learning. - Giuseppe De Giacomo; Marco Favorito; Fabio Patrizi (OVERLAY@AI*IA, 2023)

A formalization of multi-agent planning with explicit agent representation. - Alessandro Trapasso; Sofia Santilli; Luca Iocchi; Fabio Patrizi (SAC, 2023)

Mimicking Behaviors in Separated Domains. - Giuseppe De Giacomo; Dror Fried; Fabio Patrizi; Shufang Zhu 001 (J. Artif. Intell. Res., 2023)

Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis. - Simone Agostinelli; Francesco Chiariello; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (Inf. Syst., 2023)

Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin (Artif. Intell. Medicine, 2023)

A tool for declarative Trace Alignment via automated planning. - Giuseppe De Giacomo; Francesco Fuggitti; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (Softw. Impacts, 2023)

Data-Aware Declarative Process Mining with SAT. - Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi; Vasyl Skydanienko (ACM Trans. Intell. Syst. Technol., 2023)

A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin (Inf. Syst., 2023)

Mimicking Behaviors in Separated Domains (Abstract Reprint). - Giuseppe De Giacomo; Dror Fried; Fabio Patrizi; Shufang Zhu 001 (AAAI, 2024)

Towards Strategy Repair for Adjustable Autonomy. - Pierre Gaillard; Fabio Patrizi; Giuseppe Perelli (AAPEI@ECAI, 2024)

Towards Multi-Agent Model-Based Reinforcement Learning in Discrete Non-Markovian Reward Decision Processes. - Alessandro Trapasso; Francesco Amigoni; Luca Iocchi; Fabio Patrizi (AAPEI@ECAI, 2024)

Regular Clocks for Temporal Task Specifications in Reinforcement Learning. - Giuseppe De Giacomo; Marco Favorito; Fabio Patrizi (AI*IA, 2024)

On the Flexibility of Declarative Process Specifications. - Carl Corea; Paolo Felli; Marco Montali; Fabio Patrizi (CAiSE, 2024)

Towards Learning the Optimal Sampling Strategy for Suffix Prediction in Predictive Monitoring. - Efrén Rama-Maneiro; Fabio Patrizi; Juan Carlos Vidal; Manuel Lama (CAiSE, 2024)

Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). - Oliver Fernández Gil; Fabio Patrizi; Giuseppe Perelli; Anni-Yasmin Turhan (Description Logics, 2024)

Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes. - Gabriel Paludo Licks; Fabio Patrizi; Giuseppe De Giacomo (ECAI, 2024)

Strategy Repair for Reachability Games (short paper). - Pierre Gaillard; Fabio Patrizi; Giuseppe Perelli (ICTCS, 2024)

Enhancing Deep Sequence Generation with Logical Temporal Knowledge. - Elena Umili; Gabriel Paludo Licks; Fabio Patrizi (PMAI@ECAI, 2024)

Aligning Metric Temporal Constraints and Event Logs via Numeric Planning. - Giacomo Acitelli; Elisa De Bellis; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (BPM, 2025)

Managing an Agent's Changing Intentions Using ltlf Synthesis. - Giuseppe De Giacomo; Yves Lespérance; Gianmarco Parretti; Fabio Patrizi; Renzo Schram (AAMAS, 2025)

Exploiting robot abstractions in episodic RL via reward shaping and heuristics. - Roberto Cipollone 002; Marco Favorito; Flavio Maiorana; Giuseppe De Giacomo; Luca Iocchi; Fabio Patrizi (Robotics Auton. Syst., 2025)

Unified Planning: Modeling, manipulating and solving AI planning problems in Python. - Andrea Micheli; Arthur Bit-Monnot; Gabriele Röger; Enrico Scala; Alessandro Valentini 001; Luca Framba; Alberto Rovetta; Alessandro Trapasso; Luigi Bonassi; Alfonso Emilio Gerevini; Luca Iocchi; Félix Ingrand; et al. (SoftwareX, 2025)