Patrizi, Fabio

21 publications

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

AAAI 2023 Exploiting Multiple Abstractions in Episodic RL via Reward Shaping Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi

JAIR 2023 Mimicking Behaviors in Separated Domains Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu

AAAI 2023 Monitoring Arithmetic Temporal Properties on Finite Traces Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler

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

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

IJCAI 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

AAAI 2020 Restraining Bolts for Reinforcement Learning Agents Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi

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

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

IJCAI 2016 Plan Synthesis for Knowledge and Action Bases Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy

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

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

JAIR 2014 Verification of Agent-Based Artifact Systems Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

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

IJCAI 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 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

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

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