57 citations · 93 across the 11 of their papers we have counts for
13 papers
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…
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…
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…
Resource separation in dynamic logic of propositional assignments
Joseph Boudou, Andreas Herzig, Nicolas Troquard
We extend dynamic logic of propositional assignments by adding an operator of parallel composition that is inspired by separation logics. We provide an axiomatisation via reduction…
Tracking and managing deemed abilities
Nicolas Troquard
Information about the powers and abilities of acting entities is used to coordinate their actions in societies, either physical or digital. Yet, the commonsensical meaning of an ac…
Learning Ontologies with Epistemic Reasoning: The EL Case
Ana Ozaki, Nicolas Troquard
We investigate the problem of learning description logic ontologies from entailments via queries, using epistemic reasoning. We introduce a new learning model consisting of epistem…
Individual Resource Games and Resource Redistributions
Nicolas Troquard
We introduce a class of resource games where resources and preferences are specified with the language of a resource-sensitive logic. The agents are endowed with a bag of resources…
Repairing Ontologies via Axiom Weakening
Nicolas Troquard, Roberto Confalonieri, Pietro Galliani +3
Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for a…
Rational Verification in Iterated Electric Boolean Games
Youssouf Oualhadj, Nicolas Troquard
Electric boolean games are compact representations of games where the players have qualitative objectives described by LTL formulae and have limited resources. We study the complex…
Non-normal modalities in variants of Linear Logic
Daniele Porello, Nicolas Troquard
This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of Linear Logic with one minimal non-normal modality. In earlier work, w…
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE
Philippe Balbiani, Andreas Herzig, François Schwarzentruber +1
We prove that the model checking and the satisfiability problem of both Dynamic Logic of Propositional Assignments DL-PA and Coalition Logic of Propositional Control and Delegation…
Reasoning about Social Choice Functions
Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge
We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture a…
Alternative axiomatics and complexity of deliberative STIT theories
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
We propose two alternatives to Xu's axiomatization of the Chellas STIT. The first one also provides an alternative axiomatization of the deliberative STIT. The second one starts fr…