Giuseppe De Giacomo

Pubblicazioni

Titolo Pubblicato in Anno
AI-Augmented Business Process Management Systems: A Research Manifesto ACM TRANSACTIONS ON MANAGEMENT INFORMATION SYSTEMS 2023
Digital twins composition in smart manufacturing via Markov decision processes COMPUTERS IN INDUSTRY 2023
Measuring the interestingness of temporal logic behavioral specifications in process mining INFORMATION SYSTEMS 2022
Situation calculus for controller synthesis in manufacturing systems with first-order state representation ARTIFICIAL INTELLIGENCE 2022
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning 2022
Grounding LTLf specifications in images Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning 2022
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems KR 2022 2022
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes PMAI 2022 - Process Management in the AI Era 2022 2022
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022 2022
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes arXiv preprint 2022
Compositional Safety LTL Synthesis Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 2022
Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2. FUTURE INTERNET 2022
From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future 2021
Intensional and Extensional Views in DL-Lite Ontologies IJCAI 2021
Digital Twins Composition via Markov Decision Processes CEUR Workshop Proceedings 2021
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs IJCAI 2021 2021
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis IJCAI 2021
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2021
Efficient PAC Reinforcement Learning in Regular Decision Processes Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 2021
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 2021

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