research
∙
04/03/2023
Uncertainty-Based Knowing How Logic
We introduce a novel semantics for a multi-agent epistemic operator of k...
share
research
∙
06/22/2021
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics
We introduce a new semantics for a multi-agent epistemic operator of kno...
research
∙
07/16/2020
Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material)
We investigate the expressivity and computational complexity of two moda...
research
∙
03/31/2020
Axiomatizing Hybrid XPath with Data
In this paper we introduce sound and strongly complete axiomatizations f...
research
∙
07/22/2019
An Algebraic Approach for Action Based Default Reasoning
Often, we assume that an action is permitted simply because it is not ex...
research
∙
05/15/2017
