Giuseppe De Giacomo | Ricerc@Sapienza

Publications

Title	Published on	Year
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work	IJCAI	2022
Iterative Depth-First Search for FOND Planning	Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling	2022
Act for Your Duties but Maintain Your Rights	Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. Main Track	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
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata	Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021	2021
Synthesis with Mandatory Stop Actions	KR 2021	2021
Timed Trace Alignment with Metric Temporal Logic over Finite Traces	KR 2021	2021
The Nondeterministic Situation Calculus	Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021	2021
Synthesizing Best-effort Strategies under Multiple Environment Specifications	Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021	2021
Embedding reactive behavior into artifact-centric business process models	FUTURE GENERATION COMPUTER SYSTEMS	2021
Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models		2021
Non-terminating processes in the situation calculus	ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE	2020
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces	IJCAI	2020