White-Box Self-Programming Mechanisms

High-level Programming via Generalized Planning and LTL Synthesis

Autoren: Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin
Veröffentlicht in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020, Seite(n) 152-161, ISBN 978-0-9992411-7-2
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2020/16

Mixed Human-UAV Reinforcement Learning: Literature Review and Open Challenges

Autoren: Nicolò Brandizzi, Damiano Brunori, Alessandro Trapasso, Francesco Frattolillo, Luca Iocchi
Veröffentlicht in: The International Conference on Cognitive Aircraft Systems, 2022
Herausgeber: IEEE

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces

Autoren: Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Veröffentlicht in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Herausgeber: IJCAI

An LP-Based Approach for Goal Recognition as Planning

Autoren: Luısa R. de A. Santos, Felipe Meneguzzi, Ramon Fraga Pereira, Andre G. Pereira
Veröffentlicht in: Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI), 2021
Herausgeber: AAAI Press

Timed Trace Alignment with Metric Temporal Logic over Finite Traces

Autoren: Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli
Veröffentlicht in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Seite(n) 227–236
Herausgeber: IJCAI
DOI: 10.24963/kr.2021/22

Ontology-based explanation of classifiers

Autoren: Federico Croce, Gianluca Cima, Maurizio Lenzerini, Tiziana Catarci
Veröffentlicht in: EDBT/ICDT Workshops, 2020
Herausgeber: CEUR

Verification of Generic, Relational Transition Systems

Autoren: Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Veröffentlicht in: Proceedings of the Workshop on Process Management in the AI Era (PMAI2022), 2022, Seite(n) 93-96
Herausgeber: CEUR-WS.org

Lifted Planning: Recent Advances in Planning Using First-Order Representations

Autoren: Augusto B. Correa, Giuseppe De Giacomo
Veröffentlicht in: Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024
Herausgeber: IJCAI.org

Synthesis with Mandatory Stop Actions

Autoren: Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu
Veröffentlicht in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Seite(n) 237–246
Herausgeber: IJCAI
DOI: 10.24963/kr.2021/23

Equilibrium Design for Concurrent Games

Autoren: Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Veröffentlicht in: 8th International Workshop on Strategic Reasoning, 2020
Herausgeber: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains

Autoren: Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Veröffentlicht in: 26th European Conference on Artificial Intelligence (ECAI2023), 2023, Seite(n) 533-540
Herausgeber: IOS Press
DOI: 10.3233/faia230313

Pure-Past Action Masking

Autoren: Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
Veröffentlicht in: Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI2024), 2024, Seite(n) 21646-21655
Herausgeber: AAAI Press
DOI: 10.1609/aaai.v38i19.30163

Symbolic LTLf Best-Effort Synthesis

Autoren: Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Veröffentlicht in: 20th European Conference on Multi-Agent Systems (EUMAS2023), 2023, Seite(n) 228-243
Herausgeber: Springer
DOI: 10.1007/978-3-031-43264-4_15

ASP-Based Declarative Process Mining

Autoren: Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
Veröffentlicht in: Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Herausgeber: AAAI Press

Emerson-Lei and Manna-Pnueli Games for LTLf + and PPLTL+ Synthesis

Autoren: Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
Veröffentlicht in: Proceedings of the 22nd International Conference on Principles of Knowledge Representation (KR 2025), 2025
Herausgeber: IJCAI.org

Clock Specifications for Temporal Tasks in Planning and Learning

Autoren: Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi
Veröffentlicht in: Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, 2023, Seite(n) 93-98
Herausgeber: CEUR-WS.org

Towards ILP-Based LTLf Passive Learning

Autoren: Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
Veröffentlicht in: 32nd International Conference on Inductive Logic Programming (ILP2023), 2023, Seite(n) 30–45
Herausgeber: Springer
DOI: 10.1007/978-3-031-49299-0_3

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

Autoren: Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
Veröffentlicht in: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Herausgeber: IJCAI

Ontology Mediated Information Extraction with MASTRO SYSTEM-T

Autoren: Domenico Lembo, Yunyao Li, Lucian Popa, Kun Qian, Federico Maria Scafoglieri
Veröffentlicht in: Proceedings of the International Semantic Web Conference (ISWC) 2020, Ausgabe Demos and Industry Tracks: From Novel Ideas to Industrial Practice 2020: 256-261, 2020
Herausgeber: Springer

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work

Autoren: Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu
Veröffentlicht in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Herausgeber: IJCAI

Imitation Learning over Heterogeneous Agents with Restraining Bolts.

Autoren: Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Veröffentlicht in: Proceedings of the International Conference on Automated Planning and Scheduling, Ausgabe Vol. 30(1), 2020, Seite(n) 517-521
Herausgeber: AAAI

Controller Synthesis for Manufacturing Systems in the Situation Calculus

Autoren: Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardina
Veröffentlicht in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Herausgeber: IJCAI

Intensional and Extensional Views in DL-Lite Ontologies

Autoren: Marco Console, Giuseppe De Giacomo, Maurizio Lenzerini, Manuel Namici
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021
Herausgeber: IJCAI

The Trembling-Hand Problem for LTLf Planning

Autoren: Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi
Veröffentlicht in: Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024
Herausgeber: IJCAI.org

Synthesizing strategies under expected and exceptional environment behaviors

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Veröffentlicht in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Seite(n) 1674-1680, ISBN 978-0-9992411-6-5
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2020/232

Enforcing Equilibria in Multi-Agent Systems

Autoren: Giuseppe Perelli
Veröffentlicht in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2020, Seite(n) 188–196
Herausgeber: AAAI

Iterative Depth-First Search for Fully Observable Non-Deterministic Planning

Autoren: Ramon Fraga Pereira, Andre Grahl Pereira, Frederico Messa, Giuseppe De Giacomo
Veröffentlicht in: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Herausgeber: AAAI Press

Responsibility Anticipation and Attribution in LTLf

Autoren: Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti
Veröffentlicht in: Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025), 2025
Herausgeber: IJCAI.org

Abstraction of Situation Calculus Concurrent Game Structures

Autoren: Yves Lesperance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan
Veröffentlicht in: Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI2024), 2024, Seite(n) 10624-10634
Herausgeber: AAAI Press
DOI: 10.1609/aaai.v38i9.28933

Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata

Autoren: Giuseppe De Giacomo, Marco Favorito
Veröffentlicht in: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), Ausgabe vol. 14, 2021
Herausgeber: AAAI Press

Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes

Autoren: Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
Veröffentlicht in: Proceedings of the Workshop on Process Management in the AI Era (PMAI2022), 2022, Seite(n) 101-104
Herausgeber: CEUR-WS.org

Controlled Query Evaluation in Description Logics Through Instance Indistinguishability

Autoren: Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
Veröffentlicht in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Seite(n) 1791–1797
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2020/248

Synthesizing Best-Effort Strategies under Multiple Environment Specifications

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Veröffentlicht in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Seite(n) 42–51
Herausgeber: IJCAI
DOI: 10.24963/kr.2021/5

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin
Veröffentlicht in: Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024
Herausgeber: IJCAI.org

Synthesis of Maximally Permissive Strategies for LTLf Specifications

Autoren: Shufang Zhu, Giuseppe De Giacomo
Veröffentlicht in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Herausgeber: IJCAI

Exploiting Multiple Abstractions in Episodic RL via Reward Shaping

Autoren: Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Veröffentlicht in: Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI2023), 2023, Seite(n) 7227-7234
Herausgeber: AAAI Press
DOI: 10.1609/aaai.v37i6.25881

Act for Your Duties but Maintain Your Rights

Autoren: Shufang Zhu, Giuseppe De Giacomo
Veröffentlicht in: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Herausgeber: IJCAI

Combining LSTMs and Symbolic Approaches for Robust Plan Recognition

Autoren: Leonardo Rosa Amado, Ramon Fraga Pereira, Felipe Meneguzzi
Veröffentlicht in: Proceedings of the Twentieth International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Ausgabe 1634–1636, 2021
Herausgeber: ACM

From LTL on Process Traces to Finite-state Automata

Autoren: Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
Veröffentlicht in: BPM (Demos / Resources Forum) 2023, 2023, Seite(n) 127-131
Herausgeber: CEUR-WS.org

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi
Veröffentlicht in: Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025), 2025
Herausgeber: IJCAI.org

A Survey on Goal Recognition as Planning

Autoren: Felipe Meneguzzi, Ramon Fraga Pereira
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021
Herausgeber: IJCAI

Exploiting Different Levels of Abstractions for Sample Efficient Reinforcement Learning

Autoren: Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Veröffentlicht in: 20th International Conference of the Italian Association for Artificial Intelligence, 2021
Herausgeber: CEUR

Strategy Repair in Reachability Games

Autoren: Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli
Veröffentlicht in: 26th European Conference on Artificial Intelligence (ECAI2023), 2023, Seite(n) 780-787
Herausgeber: IOS Press
DOI: 10.3233/faia230344

Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science

Autoren: Giuseppe De Giacomo, Yves Lespérance
Veröffentlicht in: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems, Ausgabe May 2020, 2020, Seite(n) 294–302
Herausgeber: ACM

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
Veröffentlicht in: 20th European Conference on Multi-Agent Systems (EUMAS2023), 2023, Seite(n) 263-279
Herausgeber: Springer
DOI: 10.1007/978-3-031-43264-4_17

Composition of Stochastic Services for LTLf Goal Specifications

Autoren: Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Veröffentlicht in: Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, 2024
Herausgeber: Springer
DOI: 10.1007/978-3-031-56940-1_17

Ontology mediated information extraction in financial domain with Mastro System-T

Autoren: Domenico Lembo, Yunyao Li, Lucian Popa, Federico Maria Scafoglieri
Veröffentlicht in: Proceedings of the 6th Int. Workshop on Data Science for Macro-Modeling (DSMM 2020), 2020
Herausgeber: ACM

Provably Efficient Offline Reinforcement Learning in Regular Decision Processes

Autoren: Roberto Cipollone, Anders Jonsson, Alessandro Ronca, Mohammad Sadegh Talebi
Veröffentlicht in: Annual Conference on Neural Information Processing Systems (NeurIPS 2023), 2023
Herausgeber: NeurIPS

A Temporal Logic-Based Measurement Framework for Process Mining

Autoren: Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling
Veröffentlicht in: 2nd International Conference on Process Mining, 2020
Herausgeber: IEEE
DOI: 10.1109/icpm49681.2020.00026

A formalization of multi-agent planning with explicit agent representation

Autoren: Alessandro Trapasso, Sofia Santilli, Luca Iocchi, Fabio Patrizi
Veröffentlicht in: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing (SAC2023), 2023, Seite(n) 816-823
Herausgeber: ACM Press

Temporal Logic Monitoring Rewards via Transducers

Autoren: Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca
Veröffentlicht in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020, Seite(n) 860-870, ISBN 978-0-9992411-7-2
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2020/89

Multi-Model Monitoring Framework for Hybrid Process Specifications

Autoren: Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
Veröffentlicht in: Proceedings of the 34th International Conference on Advanced Information Systems Engineering, Ausgabe LNCS 13295, 2022
Herausgeber: Springer

LTLƒ Synthesis with Fairness and Stability Assumptions

Autoren: Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 34/03, 2020, Seite(n) 3088-3095, ISSN 2374-3468
Herausgeber: AAAI
DOI: 10.1609/aaai.v34i03.5704

Domain-Independent Reward Machines for Modular Integration of Planning and Learning

Autoren: Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Veröffentlicht in: Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning, 2021
Herausgeber: AAAI

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions

Autoren: Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu
Veröffentlicht in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020, Seite(n) 304-314, ISBN 978-0-9992411-7-2
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2020/31

Automata Cascades: Expressivity and Sample Complexity

Autoren: Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo
Veröffentlicht in: Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI2023), 2023, Seite(n) 9588-9595
Herausgeber: AAAI Press
DOI: 10.1609/aaai.v37i8.26147

Composition of Nondeterministic Services for LTLf Task Specification

Autoren: Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Veröffentlicht in: Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, 2023, Seite(n) 73--77
Herausgeber: CEUR-WS.org

ElGolog: A High-Level Programming Language with Memory of the Execution History

Autoren: Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 34/03, 2020, Seite(n) 2806-2813, ISSN 2374-3468
Herausgeber: AAAI
DOI: 10.1609/aaai.v34i03.5669

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs

Autoren: Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021
Herausgeber: IJCAI

Stochastic Best-Effort Strategies for Borel Goals

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
Veröffentlicht in: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS2023), 2023, Seite(n) 1-13
Herausgeber: IEEE
DOI: 10.1109/lics56636.2023.10175747

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
Veröffentlicht in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Herausgeber: IJCAI

Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
Veröffentlicht in: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024, Seite(n) 38-48
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2024/4

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic

Autoren: Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
Veröffentlicht in: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS2023), 2023, Seite(n) 61-69
Herausgeber: AAAI Press
DOI: 10.1609/icaps.v33i1.27179

Behavioral QLTL

Autoren: Giuseppe De Giacomo, Giuseppe Perelli
Veröffentlicht in: 20th European Conference on Multi-Agent Systems (EUMAS2023), 2023, Seite(n) 133-149
Herausgeber: Springer
DOI: 10.1007/978-3-031-43264-4_9

Restraining Bolts for Reinforcement Learning Agents

Autoren: Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 34/09, 2020, Seite(n) 13659-13662, ISSN 2374-3468
Herausgeber: AAAI
DOI: 10.1609/aaai.v34i09.7114

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives

Autoren: Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
Veröffentlicht in: Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025), 2025
Herausgeber: IJCAI.org

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces

Autoren: Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin
Veröffentlicht in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Seite(n) 4959-4965, ISBN 978-0-9992411-6-5
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2020/690

On-the-fly Synthesis for LTL over Finite Traces

Autoren: Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu and Moshe Vardi
Veröffentlicht in: Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI), 2021, 2021
Herausgeber: AAAI PRESS

A Delay-Aware DRL-Based Environment for Cooperative Multi-UAV Systems in Multi-Purpose Scenarios

Autoren: Damiano Brunori, Luca Iocchi
Veröffentlicht in: Proceedings of the 16th International Conference on Agents and Artificial Intelligence - (ICAART2024), 2024, Seite(n) 334-343
Herausgeber: SCITEPRESS
DOI: 10.5220/0012347900003636

Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021
Herausgeber: IJCAI

LTL Synthesis under Multi-Agent Environment Assumptions

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin
Veröffentlicht in: Proceedings of the 22nd International Conference on Principles of Knowledge Representation (KR 2025), 2025
Herausgeber: IJCAI.org

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis

Autoren: Giuseppe De Giacomo, Antonio Di Stasio, L. M. Tabajara, Moshe Vardi, Shufang Zhu
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021
Herausgeber: IJCAI

Inferring Agents Preferences as Priors for Probabilistic Goal Recognition

Autoren: Kin Max Gusmao˜, Ramon Fraga Pereira, Felipe Meneguzzi
Veröffentlicht in: Workshop on Scheduling and Planning Applications woRKshop, 2021
Herausgeber: AAAI Press

On Computational Tractability for Rational Verification

Autoren: Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Veröffentlicht in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Seite(n) 329-335, ISBN 978-0-9992411-4-1
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/47

Reactive Synthesis of Dominant Strategies

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Veröffentlicht in: Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI2023), 2023, Seite(n) 6228-6235
Herausgeber: AAAI Press
DOI: 10.1609/aaai.v37i5.25767

Do Your Best, but Don't Take Too Many Chances: LTLf Synthesis of Minimal Best-Effort Strategies in FOND Domains

Autoren: Giuseppe De Giacomo, Gianmarco Parretti, Elisa Santini
Veröffentlicht in: Proceedings of the 28th European Conference on Artificial Intelligence (ECAI 2025), 2025
Herausgeber: IOS Press

On the Power of Automata Minimization in Temporal Synthesis

Autoren: Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi
Veröffentlicht in: GandALF, 2021
Herausgeber: Electronic Proceedings in Theoretical Computer Science

Extending DL-LiteR TBoxes with View Definitions

Autoren: Manuel Namici, Giuseppe De Giacomo, Maurizio Lenzerini
Veröffentlicht in: Thirty-Third International Workshop on Description Logics, 2020
Herausgeber: CEUR

Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes

Autoren: Alessandro Ronca , Gabriel Paludo Licks, Giuseppe De Giacomo
Veröffentlicht in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Herausgeber: IJCAI

AIDA: A Tool for Resiliency in Smart Manufacturing

Autoren: Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Flavia Monti, Luciana Silo
Veröffentlicht in: Intelligent Information Systems - CAiSE Forum 2023, 2023, Seite(n) 112-120
Herausgeber: Springer
DOI: 10.1007/978-3-031-34674-3_14

The Nondeterministic Situation Calculus

Autoren: Giuseppe De Giacomo, Yves Lesperance
Veröffentlicht in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, Ausgabe 216–226, 2021
Herausgeber: IJCAI
DOI: 10.24963/kr.2021/21

LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains

Autoren: Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Veröffentlicht in: Proceedings of the 35th International Conference on Automated Planning and Scheduling (ICAPS 2025), 2025
Herausgeber: AAAI Press

Abstraction of Nondeterministic Situation Calculus Action Theories

Autoren: Bita Banihashemi, Giuseppe De Giacomo, Yves Lesperance
Veröffentlicht in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI2023), 2023, Seite(n) 3112-3122
Herausgeber: ijcai.org
DOI: 10.24963/ijcai.2023/347

Grounding LTLf Specifications in Image Sequences

Autoren: Elena Umili, Roberto Capobianco, Giuseppe De Giacomo
Veröffentlicht in: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), 2023, Seite(n) 668-678
Herausgeber: ijcai.org
DOI: 10.24963/kr.2023/65

Compositional Safety LTL Synthesis

Autoren: Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
Veröffentlicht in: 14th International Conference on Verified Software, Theories, Tools and Experiments (VSTTE2022) - Revised Selected Papers, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-25803-9_1

Nondeterministic Strategies and their Refinement in Strategy Logic

Autoren: Giuseppe De Giacomo, Bastien Maubert, Aniello Murano
Veröffentlicht in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020, Seite(n) 294-303, ISBN 978-0-9992411-7-2
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2020/30

Digital Twins Composition via Markov Decision Processes

Autoren: Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
Veröffentlicht in: 1st Italian Forum on Business Process Management, 2021
Herausgeber: CEUR

Optimal Alignment of Temporal Knowledge Bases

Autoren: Oliver Fernandez Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Veröffentlicht in: 26th European Conference on Artificial Intelligence (ECAI2023), 2023, Seite(n) 708--715
Herausgeber: IOS Press
DOI: 10.3233/faia230335

Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains.

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Veröffentlicht in: Proceedings of the International Conference on Automated Planning and Scheduling, Ausgabe Vol. 30(1), 2020, Seite(n) 20-28
Herausgeber: AAAI

Learning a Symbolic Planning Domain through the Interaction with Continuous Environments

Autoren: Elena Umili, Emanuele Antonioni, Francesco Riccio, Roberto Capobianco, Daniele Nardi, Giuseppe De Giacomo
Veröffentlicht in: Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning, 2021
Herausgeber: AAAI Press

Communication-based and Communication-less approaches for Robust Cooperative Planning in Construction with a Team of UAVs

Autoren: Elena Umili, Marco Tognon, Dario Sanalitro, Giuseppe Oriolo, Antonio Franchi
Veröffentlicht in: 2020 International Conference on Unmanned Aircraft Systems (ICUAS), 2020, Seite(n) 279-288, ISBN 978-1-7281-4278-4
Herausgeber: IEEE
DOI: 10.1109/icuas48674.2020.9214044

FOND Planning for Pure-Past Linear Temporal Logic Goals

Autoren: Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
Veröffentlicht in: 26th European Conference on Artificial Intelligence (ECAI2023), 2023
Herausgeber: IOS Press
DOI: 10.3233/faia230281

Efficient PAC Reinforcement Learning in Regular Decision Processes

Autoren: Alessandro Ronca, Giuseppe De Giacomo
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021
Herausgeber: IJCAI

Grounding LTLf Specifications in Images

Autoren: Elena Umili, Roberto Capobianco, Giuseppe De Giacomo
Veröffentlicht in: Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy2022), 2022, Seite(n) 45-63
Herausgeber: CEUR-WS.org

On the complexity of rational verification

Autoren: Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Veröffentlicht in: Annals of Mathematics and Artificial Intelligence, Ausgabe Volume 91, pages 409–430, (2023), 2023, ISSN 1012-2443
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10472-022-09804-3

Symbolic ltl$$_f$$ Synthesis: A Unified Approach for Synthesizing Winning, Dominant, and Best-Effort Strategies

Autoren: Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Veröffentlicht in: SN Computer Science, Ausgabe 6, 2025, ISSN 2661-8907
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/s42979-024-03337-8

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation

Autoren: Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Veröffentlicht in: Artificial Intelligence, 2022, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2021.103598

Mimicking Behaviors in Separated Domains

Autoren: Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Veröffentlicht in: Journal of Artificial Intelligence Research, Ausgabe 77(2023), 2023, Seite(n) 1087-1112, ISSN 1076-9757
Herausgeber: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.14591

ltl synthesis under environment specifications for reachability and safety properties

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
Veröffentlicht in: Information and Computation, Ausgabe 303, 2025, Seite(n) 105255, ISSN 0890-5401
Herausgeber: Academic Press
DOI: 10.1016/j.ic.2024.105255

A tool for declarative Trace Alignment via automated planning

Autoren: Giuseppe De Giacomo, Francesco Fuggitti, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
Veröffentlicht in: Software Impacts, Ausgabe Volume 16, May 2023, 100505, 2023, ISSN 2665-9638
Herausgeber: Elsevier
DOI: 10.1016/j.simpa.2023.100505

Delivering Resources for Augmented Reality by UAVs: a Reinforcement Learning Approach

Autoren: Damiano Brunori, Stefania Colonnese, Francesca Cuomo, Giovanna Flore, Luca Iocchi
Veröffentlicht in: Frontiers in Communications and Networks, 2021, ISSN 2673-530X
Herausgeber: Frontiers
DOI: 10.3389/frcmn.2021.709265

Expressiveness and Nash Equilibrium in Iterated Boolean Games

Autoren: Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael Wooldridge
Veröffentlicht in: ACM Transactions on Computational Logic, Ausgabe Volume 22, Ausgabe 2, 2021, Seite(n) 1-38, ISSN 1529-3785
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3439900

Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2

Autoren: Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo, Giuseppe De Giacomo
Veröffentlicht in: Future Internet, 2022, ISSN 1999-5903
Herausgeber: MDPI
DOI: 10.3390/fi14030078

Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models

Autoren: Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo
Veröffentlicht in: CoRR, Ausgabe abs/2306.08680, 2023, ISSN 2331-8422
Herausgeber: ArXiv.org
DOI: 10.48550/arxiv.2306.08680

Reasoning about Quality and Fuzziness of Strategic Behaviors.

Autoren: Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Veröffentlicht in: ACM Transactions on Computational Logic, Ausgabe Volume 24 Ausgabe 3 Article No.: 21, 2023, Seite(n) 1-38, ISSN 1529-3785
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3582498

Embedding reactive behavior into artifact-centric business process models

Autoren: Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
Veröffentlicht in: Future Generation Computer Systems, Ausgabe 117, 2021, Seite(n) 97-110, ISSN 0167-739X
Herausgeber: Elsevier BV
DOI: 10.1016/j.future.2020.11.018

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

Autoren: Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
Veröffentlicht in: CoRR, Ausgabe abs/2308.15184, 2023, ISSN 2331-8422
Herausgeber: ArXiv.org
DOI: 10.48550/arxiv.2308.15184

Measuring the interestingness of temporal logic behavioral specifications in process mining

Autoren: Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling
Veröffentlicht in: Information Systems, 2022, ISSN 0306-4379
Herausgeber: Elsevier Science & Technology
DOI: 10.1016/j.is.2021.101920

Service composition for ltl task specifications

Autoren: Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Veröffentlicht in: Information Systems, Ausgabe 133, 2025, Seite(n) 102571, ISSN 0306-4379
Herausgeber: Elsevier Science & Technology
DOI: 10.1016/j.is.2025.102571

Finite-trace and generalized-reactivity specifications in temporal synthesis

Autoren: Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
Veröffentlicht in: Formal Methods in System Design, Ausgabe Volume 61, pages 139–163, (2022), 2022, Seite(n) 139–163, ISSN 0925-9856
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10703-023-00413-2

Situation Calculus Temporally Lifted Abstractions for Generalized Planning

Autoren: Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 39, 2025, Seite(n) 14848-14857, ISSN 2374-3468
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v39i14.33628

Planning with Object Creation

Autoren: Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin
Veröffentlicht in: Proceedings of the International Conference on Automated Planning and Scheduling, Ausgabe 34, 2024, Seite(n) 104-113, ISSN 2334-0843
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/icaps.v34i1.31466

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

Autoren: Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
Veröffentlicht in: Journal of Artificial Intelligence Research, Ausgabe 70, 2021, Seite(n) 1335-1371, ISSN 1076-9757
Herausgeber: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12414

LTLf Synthesis Under Unreliable Input

Autoren: Christian Hagemeier, Giuseppe De Giacomo, Moshe Y. Vardi
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 39, 2025, Seite(n) 14958-14966, ISSN 2374-3468
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v39i14.33640

Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications

Autoren: Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Veröffentlicht in: CoRR, Ausgabe abs/2311.18114, 2023, ISSN 2331-8422
Herausgeber: ArXiv.org
DOI: 10.48550/arxiv.2311.18114

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains.

Autoren: Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Veröffentlicht in: CoRR, Ausgabe abs/2308.15188, 2023, ISSN 2331-8422
Herausgeber: ArXiv.org
DOI: 10.48550/arxiv.2308.15188

A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global–local memory

Autoren: Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
Veröffentlicht in: Information Systems, Ausgabe Volume 119, October 2023, 102271, 2023, ISSN 0306-4379
Herausgeber: Elsevier Science & Technology
DOI: 10.1016/j.is.2023.102271

A tool for compiling Declarative Process Mining problems in ASP

Autoren: Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
Veröffentlicht in: Software Impacts, Ausgabe VOLUME 14, 100435, DECEMBER 2022, 2022, ISSN 2665-9638
Herausgeber: Elsevier
DOI: 10.1016/j.simpa.2022.100435

The Delay and Window Size Problems in Rule-Based Stream Reasoning

Autoren: Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Veröffentlicht in: Artificial Intelligence, 2022, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2022.103668

Non-terminating processes in the situation calculus

Autoren: Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter
Veröffentlicht in: Annals of Mathematics and Artificial Intelligence, 2020, ISSN 1012-2443
Herausgeber: Kluwer Academic Publishers

Orchestration of Services in Smart Manufacturing Through Automated Synthesis

Autoren: Flavia Monti, Luciana Silo, Marco Favorito, Giuseppe De Giacomo, Francesco Leotta, Massimo Mecella
Veröffentlicht in: IEEE Transactions on Services Computing, Ausgabe 17, 2025, Seite(n) 4069-4082, ISSN 1939-1374
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tsc.2024.3495521

Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version

Autoren: Bita Banihashemi, Giuseppe De Giacomo, Yves Lesperance
Veröffentlicht in: CoRR, Ausgabe abs/2305.14222, 2023, ISSN 2331-8422
Herausgeber: ArXiv.org
DOI: 10.48550/arxiv.2305.14222

Rational Verification: A Progress Report

Autoren: Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael Wooldridge
Veröffentlicht in: Journal on Applied Intelligence, 2021, ISSN 0924-669X
Herausgeber: Kluwer Academic Publishers

Regular decision processes

Autoren: Ronen I. Brafman and Giuseppe De Giacomo
Veröffentlicht in: Artificial Intelligence, Ausgabe Volume 331, June 2024, 104113, 2024, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2024.104113

Behavioral QLTL

Autoren: Giuseppe De Giacomo, Giuseppe Perelli
Veröffentlicht in: Autonomous Agents and Multi-Agent Systems, Ausgabe 39, 2025, ISSN 1387-2532
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10458-025-09712-w

Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis

Autoren: Simone Agostinelli, Francesco Chiariello, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
Veröffentlicht in: Information Systems, Ausgabe Volume 114, March 2023, 102180, 2023, ISSN 0306-4379
Herausgeber: Elsevier Science & Technology
DOI: 10.1016/j.is.2023.102180

Acquiring Ontology Axioms through Mappings to Data Sources

Autoren: Floriana Di Pinto, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Veröffentlicht in: Future Internet, Ausgabe 11/12, 2019, Seite(n) 260, ISSN 1999-5903
Herausgeber: MDPI
DOI: 10.3390/fi11120260

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games

Autoren: Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Veröffentlicht in: Artificial Intelligence, Ausgabe 287, 2020, Seite(n) 103353, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2020.103353

Digital twin composition in smart manufacturing via Markov decision processes

Autoren: Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
Veröffentlicht in: Computer Industry, Ausgabe Volume 149, August 2023, 103916, 2023, ISSN 0166-3615
Herausgeber: Elsevier BV
DOI: 10.1016/j.compind.2023.103916

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

Autoren: Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
Veröffentlicht in: ACM Transactions on Software Engineering and Methodology, 2022, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3506799

Temporally extended goal recognition in fully observable non-deterministic domain models

Autoren: Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo
Veröffentlicht in: Applied Intelligence, Ausgabe Volume 54, pages 470–489, (2024), 2024, ISSN 0924-669X
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10489-023-05087-1

Act for Your Duties but Maintain Your Rights

Autoren: Shufang Zhu, Giuseppe De Giacomo
Veröffentlicht in: CoRR, Ausgabe abs/2302.03384, 2023, ISSN 2331-8422
Herausgeber: ArXiv.org
DOI: 10.48550/arxiv.2302.03384

Symbolic LTLf Best-Effort Synthesis

Autoren: Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Veröffentlicht in: CoRR, Ausgabe abs/2308.15178, 2023, ISSN 2331-8422
Herausgeber: ArXiv.org
DOI: 10.48550/arxiv.2308.15178

Behavioral QLTL

Autoren: Giuseppe Perelli, Giuseppe De Giacomo
Veröffentlicht in: ArXiv, 2021
Herausgeber: ArXiv

Augmented Business Process Management Systems: A Research Manifesto

Autoren: 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
Veröffentlicht in: ArXiv, 2022
Herausgeber: ArXiv

Mimicking Behaviors in Separated Domains

Autoren: Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Veröffentlicht in: ArXiv, 2022
Herausgeber: ArXiv

CQE in Description Logics Through Instance Indistinguishability

Autoren: Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
Veröffentlicht in: ArXiv, 2020
Herausgeber: ArXiv

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning

Autoren: Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti
Veröffentlicht in: ArXiv, 2022
Herausgeber: ArXiv

Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models

Autoren: Ramon Fraga Pereira, Francesco Fuggitti, Giuseppe De Giacomo
Veröffentlicht in: ArXiv, 2021
Herausgeber: ArXiv

A Reinforcement Learning Environment for Multi-Service UAV-enabled Wireless Systems

Autoren: Damiano Brunori, Stefania Colonnese, Francesca Cuomo, Luca Iocchi
Veröffentlicht in: ArXiv, 2021
Herausgeber: ArXiv

From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems

Autoren: Giuseppe De Giacomo, Maurizio Lenzerini, Francesco Leotta, Massimo Mecella
Veröffentlicht in: Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future - Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement, Ausgabe 12521, 2021, Seite(n) 3-15, ISBN 978-3-030-73202-8
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-73203-5_1

Regular Clocks for Temporal Task Specifications in Reinforcement Learning

Autoren: Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi
Veröffentlicht in: Lecture Notes in Computer Science, AIxIA 2024 – Advances in Artificial Intelligence, 2024, Seite(n) 147-160
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-80607-0_12

Controlled Query Evaluation in Ontology-Based Data Access

Autoren: Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
Veröffentlicht in: Lecture Notes in Computer Science, Ausgabe volume 12506, 2020
Herausgeber: Springer
DOI: 10.1007/978-3-030-62419-4_8

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic

Autoren: Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte
Veröffentlicht in: Lecture Notes in Computer Science, Formal Methods, 2024, Seite(n) 579-599
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71162-6_30

Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic

Autoren: Luigi Bonassi, Giuseppe De Giacomo, Alfonso Emilio Gerevini, Enrico Scala
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, ECAI 2024, 2024
Herausgeber: IOS Press
DOI: 10.3233/faia240623

Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes

Autoren: Gabriel Paludo Licks, Fabio Patrizi, Giuseppe De Giacomo
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, ECAI 2024, 2024
Herausgeber: IOS Press
DOI: 10.3233/faia240637

Veröffentlichungen

Diese Seite teilen Diese Seite in sozialen Netzwerken teilen

Herunterladen Den Inhalt der Seite herunterladen