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
∙
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
∙
04/09/2019
The Complexity of Definability by Open First-Order Formulas
In this article we formally define and investigate the computational com...
research
∙
03/29/2013
