Ritratto di fabio.patrizi@uniroma1.it

A.A. 2021/2022

 

CORSI DEL PRIMO SEMESTRE (FIRST SEMESTER COURSES)

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.

Insegnamento Codice Anno Corso - Frequentare
TIROCINIO AAF1050 2021/2022 Ingegneria dell'Informazione (sede di Latina)
ALGORITMI E STRUTTURE DATI 1022760 2021/2022 Ingegneria dell'Informazione (sede di Latina)
ARTIFICIAL INTELLIGENCE AND MACHINE LEARNING 10599898 2021/2022 Engineering in Computer Science - Ingegneria Informatica
ARTIFICIAL INTELLIGENCE 10600392 2021/2022 Ingegneria Gestionale - Management Engineering
TIROCINIO AAF1050 2020/2021 Ingegneria dell'Informazione (sede di Latina)
MACHINE LEARNING 1022858 2020/2021 Engineering in Computer Science - Ingegneria Informatica
TECNICHE DI PROGRAMMAZIONE 1056025 2020/2021 Ingegneria Informatica e Automatica
ALGORITMI E STRUTTURE DATI 1022760 2020/2021 Ingegneria dell'Informazione (sede di Latina)
MACHINE LEARNING 1022858 2020/2021 Ingegneria Biomedica
TIROCINIO AAF1050 2019/2020 Ingegneria dell'Informazione
TECNICHE DI PROGRAMMAZIONE 1056025 2019/2020 Ingegneria Informatica e Automatica
ALGORITMI E STRUTTURE DATI 1022760 2019/2020 Ingegneria dell'Informazione
MACHINE LEARNING 1022858 2019/2020 Engineering in Computer Science
TIROCINIO AAF1050 2018/2019 Ingegneria dell'Informazione
TECNICHE DI PROGRAMMAZIONE 1056025 2018/2019 Ingegneria Informatica e Automatica
ALGORITMI E STRUTTURE DATI 1022760 2018/2019 Ingegneria dell'Informazione
SMART OBJECTS 10589538 2018/2019 Product design
TIROCINIO AAF1050 2017/2018 Ingegneria dell'Informazione
SMART OBJECT 1047780 2017/2018 Design del prodotto
ALGORITMI E STRUTTURE DATI 1022760 2017/2018 Ingegneria dell'Informazione
TIROCINIO AAF1053 2016/2017 Ingegneria dell'Informazione
ALGORITMI E STRUTTURE DATI 1022760 2016/2017 Ingegneria dell'Informazione
INFORMATICA APPLICATA 1041865 2016/2017 Archivistica e biblioteconomia
SMART OBJECT 1047780 2016/2017 Design del prodotto
Titolo Rivista Anno
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
Dipartimento
INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE "ANTONIO RUBERTI"
SSD

ING-INF/05