Fabio Patrizi


Titolo Pubblicato in Anno
Restraining Bolts for Reinforcement Learning Agents Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence 2020
Temporal Logic Monitoring Rewards via Transducers Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning 2020
High-level Programming via Generalized Planning and LTL Synthesis Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) 2020
Modeling and In-Database Management of Relational, Data-Aware Processes Advanced Information Systems Engineering 2019
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling 2019
First-order μ-calculus over generic transition systems and applications to the situation calculus INFORMATION AND COMPUTATION 2018
LTLf/LDLf Non-Markovian Rewards Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) 2018
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, Twenty-Ninth Innovative Applications of Artificial Intelligence Conference, Seventh Symposium on Educational Advances in Artificial Intelligence : 4-9 February 2017, San Francisco, California, USA 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 Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016 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 AAAI'16 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence 2016
Synthesizing and executing plans in Knowledge and Action Bases Proceedings of the 29th International Workshop on Description Logics. DL 2016 2016
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 2015
Service Composition with PDDL Representations and Visualization over Videogame Engines 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) 2015
Leveraging relational technology for data-centric dynamic systems 23rd Italian Symposium on Advanced Database Systems, SEBD 2015 2015
Implementing data-centric dynamic systems over a relational DBMS Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management. AMW 2015 2015


  • PE6_4
  • PE6_7


Computer Science - Artificial Intelligence
Knowledge Representation and Reasoning
Reinforcement Learning
Automated Planning in AI

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma