Skip to main content

White-Box Self-Programming Mechanisms

Publications

High-level Programming via Generalized Planning and LTL Synthesis

Author(s): Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin
Published in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020, Page(s) 152-161
DOI: 10.24963/kr.2020/16

An LP-Based Approach for Goal Recognition as Planning

Author(s): Luısa R. de A. Santos, Felipe Meneguzzi, Ramon Fraga Pereira, Andre G. Pereira
Published in: Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI), 2021

Equilibrium Design for Concurrent Games

Author(s): Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Published in: 8th International Workshop on Strategic Reasoning, 2020

Imitation Learning over Heterogeneous Agents with Restraining Bolts.

Author(s): Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Published in: Proceedings of the International Conference on Automated Planning and Scheduling, Issue Vol. 30(1), 2020, Page(s) 517-521

Intensional and Extensional Views in DL-Lite Ontologies

Author(s): Marco Console, Giuseppe De Giacomo, Maurizio Lenzerini, Manuel Namici
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021

Synthesizing strategies under expected and exceptional environment behaviors

Author(s): Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Published in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Page(s) 1674-1680
DOI: 10.24963/ijcai.2020/232

Enforcing Equilibria in Multi-Agent Systems

Author(s): Giuseppe Perelli
Published in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2020, Page(s) 188–196

Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata

Author(s): Giuseppe De Giacomo, Marco Favorito
Published in: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), Issue vol. 14, 2021

Combining LSTMs and Symbolic Approaches for Robust Plan Recognition

Author(s): Leonardo Rosa Amado, Ramon Fraga Pereira, Felipe Meneguzzi
Published in: Proceedings of the Twentieth International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Issue 1634–1636, 2021

A Survey on Goal Recognition as Planning

Author(s): Felipe Meneguzzi, Ramon Fraga Pereira
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021

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

Author(s): Giuseppe De Giacomo, Yves Lespérance
Published in: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems, Issue May 2020, 2020, Page(s) 294–302

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

Author(s): Domenico Lembo, Yunyao Li, Lucian Popa, Federico Maria Scafoglieri
Published in: Proceedings of the 6th Int. Workshop on Data Science for Macro-Modeling (DSMM 2020), 2020

Temporal Logic Monitoring Rewards via Transducers

Author(s): Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca
Published in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020, Page(s) 860-870
DOI: 10.24963/kr.2020/89

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions

Author(s): Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu
Published in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020, Page(s) 304-314
DOI: 10.24963/kr.2020/31

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

Author(s): Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces

Author(s): Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin
Published in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Page(s) 4959-4965
DOI: 10.24963/ijcai.2020/690

On-the-fly Synthesis for LTL over Finite Traces

Author(s): Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu and Moshe Vardi
Published in: Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI), 2021, 2021

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

Author(s): Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis

Author(s): Giuseppe De Giacomo, Antonio Di Stasio, L. M. Tabajara, Moshe Vardi, Shufang Zhu
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021

Nondeterministic Strategies and their Refinement in Strategy Logic

Author(s): Giuseppe De Giacomo, Bastien Maubert, Aniello Murano
Published in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020, Page(s) 294-303
DOI: 10.24963/kr.2020/30

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

Author(s): Elena Umili, Marco Tognon, Dario Sanalitro, Giuseppe Oriolo, Antonio Franchi
Published in: 2020 International Conference on Unmanned Aircraft Systems (ICUAS), 2020, Page(s) 279-288
DOI: 10.1109/icuas48674.2020.9214044

Efficient PAC Reinforcement Learning in Regular Decision Processes

Author(s): Alessandro Ronca, Giuseppe De Giacomo
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021

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

Author(s): Giuseppe De Giacomo, Maurizio Lenzerini, Francesco Leotta, Massimo Mecella
Published 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, Issue 12521, 2021, Page(s) 3-15
DOI: 10.1007/978-3-030-73203-5_1

Embedding reactive behavior into artifact-centric business process models

Author(s): Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
Published in: Future Generation Computer Systems, Issue 117, 2021, Page(s) 97-110, ISSN 0167-739X
DOI: 10.1016/j.future.2020.11.018

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

Author(s): Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
Published in: Journal of Artificial Intelligence Research, Issue 70, 2021, Page(s) 1335-1371, ISSN 1076-9757
DOI: 10.1613/jair.1.12414

LTLƒ Synthesis with Fairness and Stability Assumptions

Author(s): Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 34/03, 2020, Page(s) 3088-3095, ISSN 2374-3468
DOI: 10.1609/aaai.v34i03.5704

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

Author(s): Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 34/03, 2020, Page(s) 2806-2813, ISSN 2374-3468
DOI: 10.1609/aaai.v34i03.5669

Restraining Bolts for Reinforcement Learning Agents

Author(s): Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 34/09, 2020, Page(s) 13659-13662, ISSN 2374-3468
DOI: 10.1609/aaai.v34i09.7114

Acquiring Ontology Axioms through Mappings to Data Sources

Author(s): Floriana Di Pinto, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Published in: Future Internet, Issue 11/12, 2019, Page(s) 260, ISSN 1999-5903
DOI: 10.3390/fi11120260

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

Author(s): Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Published in: Artificial Intelligence, Issue 287, 2020, Page(s) 103353, ISSN 0004-3702
DOI: 10.1016/j.artint.2020.103353

Software

FOND4LTLf

Author(s): Fuggitti, Francesco
DOI: oai:zenodo.org:4876281; 10.5281/zenodo.4876281
Publisher: Zenodo