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
A tool for declarative Trace Alignment via automated planning	SOFTWARE IMPACTS	2023
AIDA: A Tool for Resiliency in Smart Manufacturing	Intelligent Information Systems CAiSE 2023	2023
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic	Vol. 33 No. 1: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling	2023
Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models		2023
Mimicking Behaviors in Separated Domains	THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH	2023
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping	Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023	2023
Grounding LTLf Specifications in Image Sequences	Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning	2023
Symbolic LTLf Best-Effort Synthesis	Symbolic LTLf Best-Effort Synthesis	2023
Behavioral QLTL	EUMAS 2023	2023
FOND Planning for Pure-Past Linear Temporal Logic Goals	26th European Conference on Artificial Intelligence	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