no code implementations • 28 Jul 2023 • Oliver Fernandez-Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Answering temporal CQs over temporalized Description Logic knowledge bases (TKB) is a main technique to realize ontology-based situation recognition.
no code implementations • 6 Jul 2022 • Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
To this end, we consider both utilitarian and egalitarian social welfare and show that computing such outcomes is either PSPACE-complete or NP-complete.
no code implementations • 18 Jun 2021 • Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
In particular, we consider system specifications given by LTL and GR(1) formulae, and show that implementing a mechanism to ensure that a given temporal logic property is satisfied on some/every Nash equilibrium of the game, whenever such a mechanism exists, can be done in PSPACE for LTL properties and in NP/$\Sigma^{P}_{2}$ for GR(1) specifications.
no code implementations • 22 Feb 2021 • Giuseppe De Giacomo, Giuseppe Perelli
Behavioral QLTL is characterized by the fact that the functions that assign the truth value of the quantified propositions along the trace can only depend on the past.
Logic in Computer Science
1 code implementation • 13 Aug 2020 • Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
In the context of multi-agent systems, the rational verification problem is concerned with checking which temporal logic properties will hold in a system when its constituent agents are assumed to behave rationally and strategically in pursuit of individual objectives.
no code implementations • 13 Aug 2020 • Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael Wooldridge
The overall aim of our research is to develop techniques to reason about the equilibrium properties of multi-agent systems.
no code implementations • 13 Aug 2020 • Julian Gutierrez, Giuseppe Perelli, Michael Wooldridge
Linear Dynamic Logic on finite traces LDLf is a powerful logic for reasoning about the behaviour of concurrent and multi-agent systems.
no code implementations • 26 Jun 2019 • Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
We propose a formalism to model and reason about multi-agent systems.