Fabio Patrizi
Professore Associato
E-mail:
| 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 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma