20 citations · 22 across the 2 of their papers we have counts for
6 papers
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…
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…
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…