Articles with public access mandates - Giuseppe De GiacomoLearn more
Not available anywhere: 1
Regular Clocks for Temporal Task Specifications in Reinforcement Learning
G De Giacomo, M Favorito, F Patrizi
International Conference of the Italian Association for Artificial …, 2024
Mandates: European Commission
Available somewhere: 105
Reasoning on LTL on finite traces: Insensitivity to infiniteness
G De Giacomo, R De Masellis, M Montali
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
Mandates: European Commission
Foundations for restraining bolts: Reinforcement learning with LTLf/LDLf restraining specifications
G De Giacomo, L Iocchi, M Favorito, F Patrizi
Proceedings of the international conference on automated planning and …, 2019
Mandates: European Commission
AI-augmented business process management systems: a research manifesto
M Dumas, F Fournier, L Limonad, A Marrella, M Montali, JR Rehse, ...
ACM Transactions on Management Information Systems 14 (1), 1-19, 2023
Mandates: European Commission
Skolemization for weighted first-order model counting
G Van den Broeck, W Meert, A Darwiche
Fourteenth International Conference on the Principles of Knowledge …, 2014
Mandates: Research Foundation (Flanders)
Automatic behavior composition synthesis
G De Giacomo, F Patrizi, S Sardina
Artificial Intelligence 196, 106-142, 2013
Mandates: Australian Research Council
Compositional approach to translate LTLf/LDLf into deterministic finite automata
G De Giacomo, M Favorito
Proceedings of the International Conference on Automated Planning and …, 2021
Mandates: European Commission
Pure-past linear temporal and dynamic logic on finite traces
G De Giacomo, A Di Stasio, F Fuggitti, S Rubin
IJCAI, 4959-4965, 2020
Mandates: European Commission
Bounded situation calculus action theories
G De Giacomo, Y Lespérance, F Patrizi
Artificial Intelligence 237, 172-203, 2016
Mandates: Natural Sciences and Engineering Research Council of Canada
Planning under LTL environment specifications
B Aminof, G De Giacomo, A Murano, S Rubin
Proceedings of the International Conference on Automated Planning and …, 2019
Mandates: Austrian Science Fund
Abstraction in situation calculus action theories
B Banihashemi, G De Giacomo, Y Lespérance
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
Mandates: Natural Sciences and Engineering Research Council of Canada
Linking data and BPMN processes to achieve executable models
G De Giacomo, X Oriol, M Estanol, E Teniente
Advanced Information Systems Engineering: 29th International Conference …, 2017
Mandates: Government of Spain
LTLf and LDLf synthesis under partial observability
G De Giacomo, V Moshe
Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016
Mandates: US National Science Foundation
Computing trace alignment against declarative process models through planning
G De Giacomo, FM Maggi, A Marrella, S Sardina
Proceedings of the International Conference on Automated Planning and …, 2016
Mandates: Australian Research Council
Digital twin composition in smart manufacturing via Markov decision processes
G De Giacomo, M Favorito, F Leotta, M Mecella, L Silo
Computers in Industry 149, 103916, 2023
Mandates: Government of Italy
Temporal logic monitoring rewards via transducers
G De Giacomo, M Favorito, L Iocchi, F Patrizi, A Ronca
Proceedings of the 17th International Conference on Principles of Knowledge …, 2020
Mandates: European Commission
Automated service composition based on behaviors: The roman model
G De Giacomo, M Mecella, F Patrizi
Web services foundations, 189-214, 2013
Mandates: Swedish Council for Health, Labor and Welfare
Monitoring constraints and metaconstraints with temporal logics on finite traces
G De Giacomo, R De Masellis, FM Maggi, M Montali
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-44, 2022
Mandates: European Commission, Government of Italy
Agent planning programs
G De Giacomo, AE Gerevini, F Patrizi, A Saetti, S Sardina
Artificial Intelligence 231, 64-106, 2016
Mandates: Australian Research Council, European Commission
Best-effort synthesis: Doing your best is not harder than giving up
B Aminof, G De Giacomo, S Rubin
IJCAI, 1766-1772, 2021
Mandates: Austrian Science Fund, European Commission
Publication and funding information is determined automatically by a computer program