Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Persone
giuseppe.degiacomo@uniroma1.it
Giuseppe De Giacomo
Professore Ordinario
Struttura:
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
E-mail:
giuseppe.degiacomo@uniroma1.it
Pagina istituzionale corsi di laurea
Curriculum 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
1
2
3
4
5
seguente ›
ultima »
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma