2 citations · 3 across the 2 of their papers we have counts for
4 papers
The Dynamic Complexity of Acyclic Hypergraph Homomorphisms
Nils Vortmeier, Ioannis Kokkinis
Finding a homomorphism from some hypergraph (or some relational structure) to another hypergraph is a fundamental problem in computer science. We show t…
Dynamic Complexity Meets Parameterised Algorithms
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier +2
Dynamic Complexity studies the maintainability of queries with logical formulas in a setting where the underlying structure or database changes over time. Most often, these formula…
The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics
Ioannis Kokkinis
Let L be some extension of classical propositional logic. The non-iterated probabilistic logic over L, is the logic PL that is defined by adding non-nested probabilistic operators…
The Complexity of Probabilistic Justification Logic
Ioannis Kokkinis
Probabilistic justification logic is a modal logic with two kind of modalities: probability measures and explicit justification terms. We present a tableau procedure that can be us…