Giuseppe De Giacomo | Ricerc@Sapienza

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