-
Tracking and managing deemed abilities
Information about the powers and abilities of acting entities is used to...
04/30/2021 ∙ by Nicolas Troquard, et al. ∙
0
∙
share
read it
-
Resource separation in dynamic logic of propositional assignments
We extend dynamic logic of propositional assignments by adding an operat...
04/30/2021 ∙ by Joseph Boudou, et al. ∙
0
∙
share
read it
-
Learning Ontologies with Epistemic Reasoning: The EL Case
We investigate the problem of learning description logic ontologies from...
02/08/2019 ∙ by Ana Ozaki, et al. ∙
0
∙
share
read it
-
Individual Resource Games and Resource Redistributions
Research in multiagent systems is advancing and one can predict its futu...
02/01/2018 ∙ by Nicolas Troquard, et al. ∙
0
∙
share
read it
-
Repairing Ontologies via Axiom Weakening
Ontology engineering is a hard and error-prone task, in which small chan...
11/09/2017 ∙ by Nicolas Troquard, et al. ∙
0
∙
share
read it
-
Non-normal modalities in variants of Linear Logic
This article presents modal versions of resource-conscious logics. We co...
03/13/2015 ∙ by Daniele Porello, et al. ∙
0
∙
share
read it
