no code implementations • 29 Nov 2023 • Giuseppe De Giacomo, Marco Favorito, Luciana Silo
In this paper, we study the composition of services so as to obtain runs satisfying a task specification in Linear Temporal Logic on finite traces (LTLf).
no code implementations • 20 Nov 2023 • Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
Recent years witnessed a rising interest towards Datalog-based ontological reasoning systems, both in academia and industry.
1 code implementation • 28 Feb 2023 • Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
One major limitation to the applicability of Reinforcement Learning (RL) to many practical domains is the large number of samples required to learn an optimal policy.
no code implementations • 27 Feb 2023 • Marco Favorito
This paper proposes a new AND-OR graph search framework for synthesis of Linear Temporal Logic on finite traces (\LTLf), that overcomes some limitations of previous approaches.
no code implementations • 23 Feb 2023 • Aldo Glielmo, Marco Favorito, Debmallya Chanda, Domenico Delli Gatti
In this work, we benchmark a number of search methods in the calibration of a well-known macroeconomic ABM on real data, and further assess the performance of "mixed strategies" made by combining different methods.
no code implementations • 21 Apr 2022 • Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti
We study temporally extended goals expressed in Pure-Past LTL (PPLTL).
no code implementations • 13 Feb 2022 • Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
Datalog^E is the extension of Datalog with existential quantification.
no code implementations • 17 Jul 2018 • Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
In this work we investigate on the concept of "restraining bolt", envisioned in Science Fiction.