Giuseppe De Giacomo | Ricerc@Sapienza

Pubblicazioni

Titolo	Pubblicato in	Anno
Temporally extended goal recognition in fully observable non-deterministic domain models	APPLIED INTELLIGENCE	2024
Pure-Past Action Masking	National Conference of the American Association for Artificial Intelligence	2024
Composition of Stochastic Services for LTLf Goal Specifications	Foundations of Information and Knowledge Systems	2024
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
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains	European Conference on Artificial Intelligence (ECAI)	2023
Composition of Nondeterministic Services for LTLf Task Specification		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