Giuseppe De Giacomo


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

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