Giuseppe De Giacomo

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 143

Top Venues

CoRR

IJCAI

AAAI

Publications

Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Goal Specifications. FoIKS (2024)
Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi
The Trembling-Hand Problem for LTLf Planning. CoRR (2024)
Ronen I. Brafman, Giuseppe De Giacomo
Regular decision processes. Artif. Intell. 331 (2024)
Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan
Abstraction of Situation Calculus Concurrent Game Structures. AAAI (2024)
Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo
Temporally extended goal recognition in fully observable non-deterministic domain models. Appl. Intell. 54 (1) (2024)
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Mimicking Behaviors in Separated Domains (Abstract Reprint). AAAI (2024)
Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
Pure-Past Action Masking. AAAI (2024)
Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin
Planning with Object Creation. ICAPS (2024)
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Best-Effort Synthesis. EUMAS (2023)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Abstraction of Nondeterministic Situation Calculus Action Theories. IJCAI (2023)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Reactive Synthesis of Dominant Strategies. AAAI (2023)
Shufang Zhu, Giuseppe De Giacomo
Act for Your Duties but Maintain Your Rights. CoRR (2023)
Elena Umili, Roberto Capobianco, Giuseppe De Giacomo
Grounding LTLf Specifications in Image Sequences. KR (2023)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. CoRR (2023)
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
Synthesis Under Environment Specifications for Reachability and Safety Properties. EUMAS (2023)
Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber
AI-augmented Business Process Management Systems: A Research Manifesto. ACM Trans. Manag. Inf. Syst. 14 (1) (2023)
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Mimicking Behaviors in Separated Domains. J. Artif. Intell. Res. 77 (2023)
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Symbolic LTLf Best-Effort Synthesis. CoRR (2023)
Giuseppe De Giacomo, Francesco Fuggitti, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
A tool for declarative Trace Alignment via automated planning. Softw. Impacts 16 (2023)
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
Digital twin composition in smart manufacturing via Markov decision processes. Comput. Ind. 149 (2023)
Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
Towards ILP-Based LTL f Passive Learning. ILP (2023)
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. CoRR (2023)
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
FOND Planning for Pure-Past Linear Temporal Logic Goals. ECAI (2023)
Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. AAAI (2023)
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Flavia Monti, Luciana Silo
AIDA: A Tool for Resiliency in Smart Manufacturing. CAiSE Forum (2023)
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. ICAPS (2023)
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Composition of Nondeterministic Services for LTLf Task Specification. OVERLAY@AI*IA (2023)
Giuseppe De Giacomo, Giuseppe Perelli
Behavioral QLTL. EUMAS (2023)
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. CoRR (2023)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
Stochastic Best-Effort Strategies for Borel Goals. LICS (2023)
Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. CoRR (2023)
Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo
Automata Cascades: Expressivity and Sample Complexity. AAAI (2023)
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Best-Effort Synthesis in Nondeterministic Planning Domains. ECAI (2023)
Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi
Clock Specifications for Temporal Tasks in Planning and Learning. OVERLAY@AI*IA (2023)
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications. CoRR (2023)
Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo
Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models. CoRR (2023)
Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR (2022)
Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling
Measuring the interestingness of temporal logic behavioral specifications in process mining. Inf. Syst. 107 (2022)
Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo, Giuseppe De Giacomo
Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2. Future Internet 14 (3) (2022)
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes. PMAI@IJCAI (2022)
Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artif. Intell. 302 (2022)
Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo
Iterative Depth-First Search for FOND Planning. ICAPS (2022)
Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Verification of Generic, Relational Transition Systems. PMAI@IJCAI (2022)
Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). IJCAI (2022)
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Mimicking Behaviors in Separated Domains. CoRR (2022)
Shufang Zhu, Giuseppe De Giacomo
Act for Your Duties but Maintain Your Rights. KR (2022)
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
Compositional Safety LTL Synthesis. VSTTE (2022)
Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. IJCAI (2022)
Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo
Iterative Depth-First Search for Fully Observable Non-Deterministic Planning. CoRR (2022)
Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning. CoRR (2022)
Elena Umili, Roberto Capobianco, Giuseppe De Giacomo
Grounding LTLf Specifications in Images. NeSy (2022)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. IJCAI (2022)
Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. CoRR (2022)
Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI (2022)
Shufang Zhu, Giuseppe De Giacomo
Synthesis of Maximally Permissive Strategies for LTLf Specifications. IJCAI (2022)
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods Syst. Des. 61 (2) (2022)
Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber
Augmented Business Process Management Systems: A Research Manifesto. CoRR (2022)
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI (2022)
Alessandro Ronca, Nadezda A. Knorozova, Giuseppe De Giacomo
Sample Complexity of Automata Cascades. CoRR (2022)
Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli
Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR (2021)
Alessandro Ronca, Giuseppe De Giacomo
Efficient PAC Reinforcement Learning in Regular Decision Processes. IJCAI (2021)
Alessandro Ronca, Giuseppe De Giacomo
Efficient PAC Reinforcement Learning in Regular Decision Processes. CoRR (2021)
Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
Embedding reactive behavior into artifact-centric business process models. Future Gener. Comput. Syst. 117 (2021)
Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI (2021)
Giuseppe De Giacomo, Giuseppe Perelli
Behavioral QLTL. CoRR (2021)
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. IJCAI (2021)
Giuseppe De Giacomo, Yves Lespérance
The Nondeterministic Situation Calculus. KR (2021)
Giuseppe De Giacomo, Marco Favorito
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. ICAPS (2021)
Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu
Synthesis with Mandatory Stop Actions. KR (2021)
Giuseppe De Giacomo, Maurizio Lenzerini, Francesco Leotta, Massimo Mecella
From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems. Next-Gen Digital Services (2021)
Marco Console, Giuseppe De Giacomo, Maurizio Lenzerini, Manuel Namici
Intensional and Extensional Views in DL-Lite Ontologies. IJCAI (2021)
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
Digital Twins Composition via Markov Decision Processes. ITBPM@BPM (2021)
Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR (2021)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. IJCAI (2021)
Ramon Fraga Pereira, Francesco Fuggitti, Giuseppe De Giacomo
Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models. CoRR (2021)
Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting. J. Artif. Intell. Res. 70 (2021)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains. ICAPS (2020)
Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Imitation Learning over Heterogeneous Agents with Restraining Bolts. ICAPS (2020)
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
LTLƒ Synthesis with Fairness and Stability Assumptions. AAAI (2020)
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin
High-level Programming via Generalized Planning and LTL Synthesis. KR (2020)
Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Synthesizing strategies under expected and exceptional environment behaviors. IJCAI (2020)
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
Restraining Bolts for Reinforcement Learning Agents. AAAI (2020)
Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska
ElGolog: A High-Level Programming Language with Memory of the Execution History. AAAI (2020)
Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. KR (2020)
Giuseppe De Giacomo, Bastien Maubert, Aniello Murano
Nondeterministic Strategies and their Refinement in Strategy Logic. KR (2020)
Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca
Temporal Logic Monitoring Rewards via Transducers. KR (2020)
Manuel Namici, Giuseppe De Giacomo, Maurizio Lenzerini
Extending DL-LiteR TBoxes with View Definitions. Description Logics (2020)
Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter
Non-terminating processes in the situation calculus. Ann. Math. Artif. Intell. 88 (5-6) (2020)
Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. IJCAI (2020)
Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling
A Temporal Logic-Based Measurement Framework for Process Mining. ICPM (2020)
Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. CoRR (2020)
Giuseppe De Giacomo, Yves Lespérance
Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science. AAMAS (2020)
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. ICAPS (2019)
Ronen I. Brafman, Giuseppe De Giacomo
Regular Decision Processes: A Model for Non-Markovian Domains. IJCAI (2019)
Ronen I. Brafman, Giuseppe De Giacomo
Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains. IJCAI (2019)
Giuseppe De Giacomo
WhiteMech: White-Box Self-Programming Mechanisms. ICCI*CC (2019)
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
Hybrid temporal situation calculus. SAC (2019)
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That (2019)
Ronen I. Brafman, Giuseppe De Giacomo
Regular Decision Processes: Modelling Dynamic Systems without Using Hidden Variables. AAMAS (2019)

Giuseppe De Giacomo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Giuseppe De Giacomo