research
∙
07/28/2023
A Semantic Approach to Decidability in Epistemic Planning (Extended Version)
The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led...
share
research
∙
07/23/2023
Non-Normal Modal Description Logics (Extended Version)
Modal logics are widely used in multi-agent systems to reason about acti...
research
∙
07/20/2022
Careful Autonomous Agents in Environments With Multiple Common Resources
Careful rational synthesis was defined in (Condurache et al. 2021) as a ...
research
∙
04/30/2021
Tracking and managing deemed abilities
Information about the powers and abilities of acting entities is used to...
research
∙
04/30/2021
Resource separation in dynamic logic of propositional assignments
We extend dynamic logic of propositional assignments by adding an operat...
research
∙
02/08/2019
Learning Ontologies with Epistemic Reasoning: The EL Case
We investigate the problem of learning description logic ontologies from...
research
∙
02/01/2018
Individual Resource Games and Resource Redistributions
Research in multiagent systems is advancing and one can predict its futu...
research
∙
11/09/2017
Repairing Ontologies via Axiom Weakening
Ontology engineering is a hard and error-prone task, in which small chan...
research
∙
03/13/2015