Fabio Patrizi - RankMe

125 papers A* 33A 17B 3C 1Misc 2Journal 38Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Flexible event log generation using answer set programming. Inf. Syst. Ivan Donadello, Fabrizio Maria Maggi, Fabio Patrizi, Sergio Tessaris, Matteo Zorzi
2026	J	`jnl`	Incremental LTLf Synthesis. CoRR Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti, Fabio Patrizi, Moshe Y. Vardi
2025	A	`conf`	Aligning Metric Temporal Constraints and Event Logs via Numeric Planning. BPM Giacomo Acitelli, Elisa De Bellis, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
2025	J	`jnl`	Exploiting robot abstractions in episodic RL via reward shaping and heuristics. Robotics Auton. Syst. Roberto Cipollone, Marco Favorito, Flavio Maiorana, Giuseppe De Giacomo, Luca Iocchi, Fabio Patrizi
2025	—	`conf`	Human-AI Collaboration via Trust Factors: A Collaborative Game Use Case. HHAI Andrea Fanti, Francesco Frattolillo, Rosapia Laudati, Fabio Patrizi, Luca Iocchi
2025	A	`conf`	Managing an Agent's Changing Intentions Using ltl AAMAS Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti, Fabio Patrizi, Renzo Schram
2025	J	`jnl`	Model-Based Reinforcement Learning in Discrete-Action Non-Markovian Reward Decision Processes. CoRR Alessandro Trapasso, Luca Iocchi, Fabio Patrizi
2025	J	`jnl`	Neuro-Symbolic Predictive Process Monitoring. CoRR Axel Mezini, Elena Umili, Ivan Donadello, Fabrizio Maria Maggi, Matteo Mancanelli, Fabio Patrizi
2025	—	`ed.`	Proceedings of the 11th Italian Workshop on Artificial Intelligence and Robotics co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), Bozen, Italy, November 26, 2024. AIRO@AI*IA Gloria Beraldo, Alberto Castellini, Alberto Finzi, Fabio Patrizi
2025	—	`ed.`	Proceedings of the 1st Workshop on Adjustable Autonomy and Physical Embodied Intelligence (AAPEI 2024) co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 20, 2024. AAPEI@ECAI Fabio Patrizi, Raffaello Camoriano, Carlo Masone, Marco Roveri, Luigi Palopoli, Giuseppe Averta, Francesca Pistilli
2025	J	`jnl`	Unified Planning: Modeling, manipulating and solving AI planning problems in Python. SoftwareX Andrea Micheli, Arthur Bit-Monnot, Gabriele Röger, Enrico Scala, Alessandro Valentini, Luca Framba, Alberto Rovetta, Alessandro Trapasso, Luigi Bonassi, Alfonso Emilio Gerevini, Luca Iocchi, Félix Ingrand, Uwe Köckemann, Fabio Patrizi, Alessandro Saetti, Ivan Serina, Sebastian Stock
2024	—	`conf`	Enhancing Deep Sequence Generation with Logical Temporal Knowledge. PMAI@ECAI Elena Umili, Gabriel Paludo Licks, Fabio Patrizi
2024	A*	`conf`	Mimicking Behaviors in Separated Domains (Abstract Reprint). AAAI Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
2024	A	`conf`	Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes. ECAI Gabriel Paludo Licks, Fabio Patrizi, Giuseppe De Giacomo
2024	A	`conf`	On the Flexibility of Declarative Process Specifications. CAiSE Carl Corea, Paolo Felli, Marco Montali, Fabio Patrizi
2024	—	`conf`	Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). Description Logics Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
2024	—	`ed.`	Proceedings of the 10th Italian Workshop on Artificial Intelligence and Robotics co-located with the the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9, 2023. AIRO@AI*IA Salvatore Anzalone, Gloria Beraldo, Alberto Castellini, Alberto Finzi, Fabio Patrizi
2024	—	`conf`	Regular Clocks for Temporal Task Specifications in Reinforcement Learning. AI*IA Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi
2024	—	`conf`	Strategy Repair for Reachability Games (short paper). ICTCS Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli
2024	A	`conf`	Towards Learning the Optimal Sampling Strategy for Suffix Prediction in Predictive Monitoring. CAiSE Efrén Rama-Maneiro, Fabio Patrizi, Juan Carlos Vidal, Manuel Lama
2024	—	`conf`	Towards Multi-Agent Model-Based Reinforcement Learning in Discrete Non-Markovian Reward Decision Processes. AAPEI@ECAI Alessandro Trapasso, Francesco Amigoni, Luca Iocchi, Fabio Patrizi
2024	—	`conf`	Towards Strategy Repair for Adjustable Autonomy. AAPEI@ECAI Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli
2023	Misc	`conf`	A formalization of multi-agent planning with explicit agent representation. SAC Alessandro Trapasso, Sofia Santilli, Luca Iocchi, Fabio Patrizi
2023	J	`jnl`	A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. Inf. Syst. Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
2023	J	`jnl`	A tool for declarative Trace Alignment via automated planning. Softw. Impacts Giuseppe De Giacomo, Francesco Fuggitti, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
2023	—	`conf`	Clock Specifications for Temporal Tasks in Planning and Learning. OVERLAY@AI*IA Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi
2023	J	`jnl`	Data-Aware Declarative Process Mining with SAT. ACM Trans. Intell. Syst. Technol. Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi, Vasyl Skydanienko
2023	A*	`conf`	Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. AAAI Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
2023	J	`jnl`	Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. CoRR Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
2023	—	`conf`	From LTL on Process Traces to Finite-state Automata. BPM (Demos / Resources Forum) Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
2023	J	`jnl`	Mimicking Behaviors in Separated Domains. J. Artif. Intell. Res. Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
2023	A*	`conf`	Monitoring Arithmetic Temporal Properties on Finite Traces. AAAI Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
2023	J	`jnl`	Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. Artif. Intell. Medicine Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
2023	A	`conf`	Optimal Alignment of Temporal Knowledge Bases. ECAI Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
2023	J	`jnl`	Optimal Alignment of Temporal Knowledge Bases. CoRR Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
2023	J	`jnl`	Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis. Inf. Syst. Simone Agostinelli, Francesco Chiariello, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
2023	—	`conf`	Scaling up Parallel Robot Plans to Improve Plan Execution Time: an Industrial Use Case (short paper). AIRO@AI*IA Edoardo Giordani, Sofia Santilli, Luca Iocchi, Fabio Patrizi, Fabio Zonfrilli
2023	A	`conf`	Strategy Repair in Reachability Games. ECAI Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli
2022	J	`jnl`	A tool for compiling Declarative Process Mining problems in ASP. Softw. Impacts Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
2022	A*	`conf`	ASP-Based Declarative Process Mining. AAAI Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
2022	J	`jnl`	ASP-Based Declarative Process Mining. CoRR Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
2022	J	`jnl`	Mimicking Behaviors in Separated Domains. CoRR Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
2022	J	`jnl`	Monitoring Arithmetic Temporal Properties on Finite Traces. CoRR Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
2022	A	`conf`	Multi-model Monitoring Framework for Hybrid Process Specifications. CAiSE Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
2022	A*	`conf`	Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). IJCAI Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
2022	J	`jnl`	Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artif. Intell. Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
2022	A*	`conf`	Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2022	—	`conf`	Verification of Generic, Relational Transition Systems. PMAI@IJCAI Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2021	B	`conf`	Discovering Declarative Process Model Behavior from Event Logs via Model Learning. ICPM Simone Agostinelli, Giacomo Bergami, Alessio Fiorenza, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
2021	J	`jnl`	Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach. CoRR Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
2021	A*	`conf`	Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli
2020	A*	`conf`	High-level Programming via Generalized Planning and LTL Synthesis. KR Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin
2020	A*	`conf`	Imitation Learning over Heterogeneous Agents with Restraining Bolts. ICAPS Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
2020	A*	`conf`	Restraining Bolts for Reinforcement Learning Agents. AAAI Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
2020	A*	`conf`	Temporal Logic Monitoring Rewards via Transducers. KR Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca
2019	A*	`conf`	Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. ICAPS Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
2019	A	`conf`	Modeling and In-Database Management of Relational, Data-Aware Processes. CAiSE Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2018	J	`jnl`	First-order Inf. Comput. Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2018	A*	`conf`	LTLf/LDLf Non-Markovian Rewards. AAAI Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi
2018	J	`jnl`	Modelling and Enactment of Data-aware Processes. CoRR Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2018	J	`jnl`	Reinforcement Learning for LTLf/LDLf Goals. CoRR Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
2018	J	`jnl`	Situation Calculus for Synthesis of Manufacturing Controllers. CoRR Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
2017	A*	`conf`	On the Disruptive Effectiveness of Automated Planning for LTL AAAI Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
2017	J	`jnl`	Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version). CoRR Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi
2016	J	`jnl`	Agent planning programs. Artif. Intell. Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardiña
2016	J	`jnl`	Bounded situation calculus action theories. Artif. Intell. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2016	J	`jnl`	Guest editorial: special issue on data and artifact-centric business processes. Computing Marlon Dumas, Richard Hull, Fabio Patrizi
2016	A*	`conf`	On First-Order μ-Calculus over Situation Calculus Action Theories. KR Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2016	A*	`conf`	Plan Synthesis for Knowledge and Action Bases. IJCAI Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy
2016	J	`jnl`	Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Stud Logica Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
2016	—	`conf`	Synthesizing and Executing Plans in Knowledge and Action Bases. Description Logics Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy
2016	A*	`conf`	Verifying ConGolog Programs on Bounded Situation Calculus Theories. AAAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña
2015	J	`jnl`	Bounded Situation Calculus Action Theories. CoRR Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2015	A*	`conf`	Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. IJCAI Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo
2015	—	`conf`	Implementing Data-Centric Dynamic Systems over a Relational DBMS. AMW Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2015	—	`conf`	Leveraging Relational Technology for Data-Centric Dynamic Systems. SEBD Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2015	—	`conf`	Service Composition with PDDL Representations and Visualization over Videogame Engines (Short Paper). SOCA Giuseppe De Giacomo, Valsamis Ntouskos, Fabio Patrizi, Stavros Vassos, Davide Aversa
2014	A*	`conf`	Action Theories over Generalized Databases with Equality Constraints (Extended Abstract). KR Fabio Patrizi, Stavros Vassos
2014	B	`conf`	Action Theories over Generalized Databases with Equality Constraints. JELIA Fabio Patrizi, Stavros Vassos
2014	—	`ch.`	Automated Service Composition Based on Behaviors: The Roman Model. Web Services Foundations Giuseppe De Giacomo, Massimo Mecella, Fabio Patrizi
2014	A*	`conf`	Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. ICAPS Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
2014	A	`conf`	LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. ECAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
2014	A	`conf`	Progression and verification of situation calculus agents with bounded beliefs. AAMAS Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
2014	—	`ed.`	Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers ICSOC Workshops Alessio Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandic
2014	J	`jnl`	Verification of Agent-Based Artifact Systems. J. Artif. Intell. Res. Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2013	A*	`conf`	A Classification of First-Order Progressable Action Theories in Situation Calculus. IJCAI Stavros Vassos, Fabio Patrizi
2013	J	`jnl`	Automatic behavior composition synthesis. Artif. Intell. Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
2013	A*	`conf`	Bounded Epistemic Situation Calculus Theories. IJCAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2013	—	`conf`	Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. Description Logics Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2013	A*	`conf`	Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners. IJCAI Fabio Patrizi, Nir Lipovetzky, Hector Geffner
2013	—	`conf`	ICSOC PhD Symposium 2013. ICSOC Workshops Fabio Patrizi, Boualem Benatallah, Ivona Brandic
2013	—	`conf`	Implementing and Running Data-Centric Dynamic Systems. SOCA Alessandro Russo, Massimo Mecella, Fabio Patrizi, Marco Montali
2013	—	`conf`	Towards a Reference Implementation for Data Centric Dynamic Systems. Business Process Management Workshops Alessandro Russo, Massimo Mecella, Marco Montali, Fabio Patrizi
2013	—	`conf`	Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version). AIBP@AI*IA Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2013	—	`conf`	Verification and Synthesis in Description Logic Based Dynamic Systems. RR Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2013	J	`jnl`	Verification of Agent-Based Artifact Systems CoRR Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2012	A*	`conf`	An Abstraction Technique for the Verification of Artifact-Centric Systems. KR Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2012	Misc	`conf`	Automatic Generation and Learning of Finite-State Controllers. AIMSA Matteo Leonetti, Luca Iocchi, Fabio Patrizi
2012	—	`conf`	Bounded Situation Calculus Action Theories and Decidable Verification. CogRob@AAAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2012	A*	`conf`	Bounded Situation Calculus Action Theories and Decidable Verification. KR Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2012	A	`conf`	Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. ICSOC Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2011	A*	`conf`	A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. IJCAI Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2011	A*	`conf`	An Effective Approach to Realizing Planning Programs. ICAPS Alfonso Gerevini, Fabio Patrizi, Alessandro Saetti
2011	A*	`conf`	Computing Infinite Plans for LTL Goals Using a Classical Planner. IJCAI Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner
2011	A	`conf`	Verification of Deployed Artifact Systems via Data Abstraction. ICSOC Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2010	A	`conf`	Agent programming via planning programs. AAMAS Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
2010	A*	`conf`	Generalized Planning with Loops under Strong Fairness Constraints. KR Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
2010	A*	`conf`	Two-Player Game Structures for Generalized Planning and Agent Composition. AAAI Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
2009	—	`conf`	An Introduction to Simulation-Based Techniques for Automated Service Composition YR-SOC Fabio Patrizi
2009	—	`conf`	Automated Composition of Nondeterministic Stateful Services. WS-FM Giuseppe De Giacomo, Fabio Patrizi
2009	A	`conf`	Automatic verification of data-centric business processes. ICDT Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu
2009	A*	`conf`	Composition of Partially Observable Services Exporting their Behaviour. ICAPS Giuseppe De Giacomo, Riccardo De Masellis, Fabio Patrizi
2009	J	`jnl`	On the separability of subproblems in Benders decompositions. Ann. Oper. Res. Marco Cadoli, Fabio Patrizi
2008	J	`jnl`	Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Fabio Patrizi
2008	J	`jnl`	Automatic Service Composition via Simulation. Int. J. Found. Comput. Sci. Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi
2008	A*	`conf`	Behavior Composition in the Presence of Failure. KR Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo
2008	J	`jnl`	Evaluating ASP and Commercial Solvers on the CSPLib. Constraints An Int. J. Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli
2007	A*	`conf`	Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. AAAI Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo
2007	A	`conf`	AutomaticWorkflows Composition of Mobile Services. ICWS Giuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi
2006	A	`conf`	Evaluating ASP and Commercial Solvers on the CSPLib. ECAI Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
2006	—	`conf`	Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). WLP Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
2006	B	`conf`	On the Separability of Subproblems in Benders Decompositions. CPAIOR Marco Cadoli, Fabio Patrizi
2006	C	`conf`	SAT as an Effective Solving Technology for Constraint Problems. ISMIS Marco Cadoli, Toni Mancini, Fabio Patrizi
2005	J	`jnl`	A Multi Agent System approach for emergency intervention: experimental analysis and evaluation. Intelligenza Artificiale Alessandro Farinelli, Luca Iocchi, Daniele Nardi, Fabio Patrizi
2004	—	`conf`	Task Assignment with Dynamic Token Generation. MSRAS Alessandro Farinelli, Luca Iocchi, Daniele Nardi, Fabio Patrizi