Ioannis Kokkinis

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 15

Top Topics

Posterior Probability

Complexity Analysis

Probabilistic Logic

Top Venues

Ann. Math. Artif. Intell.

Publications

Nils Vortmeier, Ioannis Kokkinis
The Dynamic Complexity of Acyclic Hypergraph Homomorphisms. WG (2021)
Nils Vortmeier, Ioannis Kokkinis
The Dynamic Complexity of Acyclic Hypergraph Homomorphisms. CoRR (2021)
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
Dynamic Complexity Meets Parameterised Algorithms. CSL (2020)
Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer
Probabilistic justification logic. J. Log. Comput. 30 (1) (2020)
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
Dynamic Complexity Meets Parameterised Algorithms. CoRR (2019)
Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer
Reachability of Five Gossip Protocols. RP (2019)
Ioannis Kokkinis
The complexity of satisfiability in non-iterated and iterated probabilistic logics. Ann. Math. Artif. Intell. 83 (3-4) (2018)
Ioannis Kokkinis
The Complexity of Probabilistic Justification Logic. CoRR (2017)
Ioannis Kokkinis
The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics. CoRR (2017)
Hans van Ditmarsch, Ioannis Kokkinis, Anders Stockmarr
Reachability and Expectation in Gossiping. PRIMA (2017)
Hans van Ditmarsch, Ioannis Kokkinis
The Expected Duration of Sequential Gossiping. EUMAS/AT (2017)
Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer
Probabilistic Justification Logic. LFCS (2016)
Ioannis Kokkinis
The Complexity of Non-Iterated Probabilistic Justification Logic. FoIKS (2016)
Ioannis Kokkinis
On the complexity of probabilistic justification logic. CoRR (2015)
Ioannis Kokkinis, Petar Maksimovic, Zoran Ognjanovic, Thomas Studer
First steps towards probabilistic justification logic. Log. J. IGPL 23 (4) (2015)