Johannes Marti | DeepAI

DeepAI AI Chat

Featured Co-authors

Carsten Lutz
41 publications
Frank Wolter
31 publications
Clemens Kupke
13 publications
Yde Venema
11 publications
Sebastian Enqvist
6 publications
Helle Hvid Hansen
5 publications
Leif Sabellek
4 publications
Anneke Haga
3 publications
Johannes Kloibhofer
2 publications
Maurice Dekker
1 publication

∙ 07/13/2023

Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata

Automata operating on infinite objects feature prominently in the theory...

0 Maurice Dekker, et al. ∙

∙ 09/17/2021

On the size of disjunctive formulas in the μ-calculus

A key result in the theory of the modal mu-calculus is the disjunctive n...

0 Clemens Kupke, et al. ∙

∙ 03/02/2021

Focus-style proof systems and interpolation for the alternation-free μ-calculus

In this paper we introduce a cut-free sequent calculus for the alternati...

0 Johannes Marti, et al. ∙

∙ 11/18/2020

Query Expressibility and Verification in Ontology-Based Data Access

In ontology-based data access, multiple data sources are integrated usin...

0 Carsten Lutz, et al. ∙

∙ 10/27/2020

Size matters in the modal μ-calculus

We discuss and compare complexity measures for the modal μ-calculus, foc...

0 Clemens Kupke, et al. ∙

∙ 05/31/2020

Conditional Logic is Complete for Convexity in the Plane

We prove completeness of preferential conditional logic with respect to ...

0 Johannes Marti, et al. ∙

∙ 01/21/2020

A Journey into Ontology Approximation: From Non-Horn to Horn

We study complete approximations of an ontology formulated in a non-Horn...

0 Anneke Haga, et al. ∙

∙ 01/21/2020

A Journey into Ontology Approximation: From Non-Horn to Hon

We study complete approximations of an ontology formulated in a non-Horn...

0 Anneke Haga, et al. ∙

∙ 04/16/2019

Completeness for Game Logic

Game logic was introduced by Rohit Parikh in the 1980s as a generalisati...

0 Sebastian Enqvist, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world