fabio.patrizi@uniroma1.it's picture

A.A. 2021/2022



Algoritmi e Strutture Dati (sede di Latina): Consulta la pagina del corso


Please check the following webpage, section "teaching": www.diag.uniroma1.it/patrizi/

Fabio Patrizi is Associate Professor at DIAG - Sapienza University of Rome.

His research activity concerns theoretical, methodological, and practical aspects in different areas of Computer Science and Artificial Intelligence, including Formal Methods, Knowledge Representation, Reasoning about Action, non-standard forms of Planning in Artificial Intelligence, Service-oriented Computing, and Business Processes.

Fabio Patrizi regularly publishes the results of his research in top-level international journals and conferences. He has co-authored over 50 scientific papers, published in international journals or proceedings of international conferences and has been invited to present the results of his research at various institutions.

He was the (co-)recipient of a Best Paper Award, a Test of Time Award, and an RMIT Melbourne Visiting Researcher's Award.

He is regularly invited as PC or SPC member of various top-level conferences in the areas of his interest, and as a reviewer or guest editor for several international journals. In 2015, he has been selected as a tutorial lecturer at the prestigious International Joint Conference on Artificial Intelligence (IJCAI'15).

He has served as moderator for the selection of papers submitted to the Artificial Intelligence section of the Computing Research Repository (www.arxiv.org).

Since November 2020, Fabio Patrizi is the chairman of the Information Engineering Laurea Course at Sapienza University of Rome, in Latina.

Course Code Year Course - Attendance
training AAF1050 2021/2022 Information Engineering
ALGORYTHMS AND DATA STRUCTURE 1022760 2021/2022 Information Engineering
Artificial Intelligence and Machine Learning 10599898 2021/2022 Engineering in Computer Science
Artificial Intelligence 10600392 2021/2022 Management Engineering
training AAF1050 2020/2021 Information Engineering
Programming techniques 1056025 2020/2021 Computer and System Engineering
MACHINE LEARNING 1022858 2020/2021 Engineering in Computer Science
ALGORYTHMS AND DATA STRUCTURE 1022760 2020/2021 Information Engineering
MACHINE LEARNING 1022858 2020/2021 Biomedical Engineering
training AAF1050 2019/2020 Information Engineering
Programming techniques 1056025 2019/2020 Computer and System Engineering
MACHINE LEARNING 1022858 2019/2020 Engineering in Computer Science
ALGORYTHMS AND DATA STRUCTURE 1022760 2019/2020 Information Engineering
training AAF1050 2018/2019 Information Engineering
Programming techniques 1056025 2018/2019 Computer and System Engineering
ALGORYTHMS AND DATA STRUCTURE 1022760 2018/2019 Information Engineering
SMART OBJECT 10589538 2018/2019 Product design
training AAF1050 2017/2018 Information Technology Engineering
ALGORYTHMS AND DATA STRUCTURE 1022760 2017/2018 Information Technology Engineering
SMART OBJECT 1047780 2017/2018 Product design
Internship AAF1053 2016/2017 Information Technology Engineering
APPLIED INFORMATICS 1041865 2016/2017 Archive and Library Theory and Management
SMART OBJECT 1047780 2016/2017 Product design
ALGORYTHMS AND DATA STRUCTURE 1022760 2016/2017 Information Technology Engineering
Title Journal Year
Imitation Learning over Heterogeneous Agents with Restraining Bolts 2020
Restraining Bolts for Reinforcement Learning Agents 2020
Temporal Logic Monitoring Rewards via Transducers 2020
High-level Programming via Generalized Planning and LTL Synthesis 2020
Modeling and In-Database Management of Relational, Data-Aware Processes 2019
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications 2019
First-order μ-calculus over generic transition systems and applications to the situation calculus INFORMATION AND COMPUTATION 2018
LTLf/LDLf Non-Markovian Rewards 2018
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment 2017
Progression and Verification of Situation Calculus Agents with Bounded Beliefs STUDIA LOGICA 2016
Agent planning programs ARTIFICIAL INTELLIGENCE 2016
Bounded situation calculus action theories ARTIFICIAL INTELLIGENCE 2016
On First-Order μ-Calculus over Situation Calculus Action Theories 2016
Plan Synthesis for Knowledge and Action Bases IJCAI 2016
Guest editorial: special issue on data and artifact-centric business processes COMPUTING 2016
Verifying congolog programs on bounded situation calculus theories 2016
Synthesizing and executing plans in Knowledge and Action Bases 2016
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis 2015
Service Composition with PDDL Representations and Visualization over Videogame Engines 2015
Leveraging relational technology for data-centric dynamic systems 2015