activity
20222024
most citedA Semantic Approach to Decidability in Epistemic Planning (Extended Version)

1 citations · 1 across the 5 of their papers we have counts for

collaborators

5 papers

cs.HC2024

On Representing Humans' Soft-Ethics Preferences As Dispositions

Donatella Donati, Ziba Assadi, Simone Gozzano +2

The aim of this paper is to represent humans' soft-ethical preferences by means of dispositional properties. We begin by examining real-life situations, termed as scenarios, that i…

cs.GT2024

Existence and Verification of Nash Equilibria in Non-Cooperative Contribution Games with Resource Contention

Nicolas Troquard

In resource contribution games, a class of non-cooperative games, the players want to obtain a bundle of resources and are endowed with bags of bundles of resources that they can m…

cs.AI20231 cited

A Semantic Approach to Decidability in Epistemic Planning (Extended Version)

Alessandro Burigana, Paolo Felli, Marco Montali +1

The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led to a widely adopted action formalism that can handle nondeterminism, partial observability and arbitrary kn…

cs.LO2023

Non-Normal Modal Description Logics (Extended Version)

Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki +1

Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a power…

cs.LO2022

Careful Autonomous Agents in Environments With Multiple Common Resources

Rodica Condurache, Catalin Dima, Madalina Jitaru +2

Careful rational synthesis was defined in (Condurache et al. 2021) as a quantitative extension of Fisman et al.'s rational synthesis (Fisman et al. 2010), as a model of multi-agent…