Johannes Marti

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 24

Top Topics

Graph Representations

Top Venues

J. Comput. Syst. Sci.

Publications

Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja
Monotone Rewritability and the Analysis of Queries, Views, and Rules. CoRR (2024)
Maximilian Pflueger, Johannes Marti, Egor V. Kostylev
A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures. LICS (2024)
Johannes Marti
Conditional Logic is Complete for convexity in the plane. Rev. Symb. Log. 16 (2) (2023)
Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. CoRR (2023)
Paolo Galeazzi, Johannes Marti
Choice structures in games. Games Econ. Behav. 140 (2023)
Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. TABLEAUX (2023)
Clemens Kupke, Johannes Marti, Yde Venema
Succinct Graph Representations of μ-Calculus Formulas. CSL (2022)
Clemens Kupke, Johannes Marti, Yde Venema
Size measures and alphabetic equivalence in the μ-calculus. LICS (2022)
Clemens Kupke, Johannes Marti, Yde Venema
On the size of disjunctive formulas in the μ-calculus. GandALF (2021)
Johannes Marti, Yde Venema
Focus-style proof systems and interpolation for the alternation-free μ-calculus. CoRR (2021)
Johannes Marti, Yde Venema
A Focus System for the Alternation-Free μ-Calculus. TABLEAUX (2021)
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). Description Logics (2020)
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
A Journey into Ontology Approximation: From Non-Horn to Horn. IJCAI (2020)
Carsten Lutz, Johannes Marti, Leif Sabellek
Query Expressibility and Verification in Ontology-Based Data Access. CoRR (2020)
Johannes Marti, Riccardo Pinosio
A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries. Order 37 (1) (2020)
Clemens Kupke, Johannes Marti, Yde Venema
Size matters in the modal μ-calculus. CoRR (2020)
Johannes Marti
Conditional Logic is Complete for Convexity in the Plane. CoRR (2020)
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
A Journey into Ontology Approximation: From Non-Horn to Horn. CoRR (2020)
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Completeness for Game Logic. CoRR (2019)
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Completeness for Game Logic. LICS (2019)
Carsten Lutz, Johannes Marti, Leif Sabellek
Query Expressibility and Verification in Ontology-Based Data Access. KR (2018)
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Parity Games and Automata for Game Logic. DALI@TABLEAUX (2017)
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Parity Games and Automata for Game Logic (Extended Version). CoRR (2017)
Johannes Marti, Riccardo Pinosio
A Game Semantics for System P. Stud Logica 104 (6) (2016)
Johannes Marti, Yde Venema
Lax extensions of coalgebra functors and their logic. J. Comput. Syst. Sci. 81 (5) (2015)
Johannes Marti, Fatemeh Seifan, Yde Venema
Uniform Interpolation for Coalgebraic Fixpoint Logic. CoRR (2015)
Johannes Marti, Fatemeh Seifan, Yde Venema
Uniform Interpolation for Coalgebraic Fixpoint Logic. CALCO (2015)
Johannes Marti, Riccardo Pinosio
Similarity Orders from Causal Equations. JELIA (2014)
Johannes Marti, Yde Venema
Lax Extensions of Coalgebra Functors. CMCS (2012)