P
PaperPicks
Conferences
Researchers
Sponsors ♥
Juha Kontinen
4 papers at tracked venues · 1 at CORE A* · active 2024–2026
DBLP profile ↗
ORCID search ↗
Venues
KR
×3
AAAI
×1
Frequent coauthors
Arne Meier
×3
Teemu Hankala
×2
Miika Hannula
×2
Kai Sauerwald
×2
Timon Barlag
×1
Nicolas Fröhlich
×1
Minna Hirvonen
×1
Vivian Holzapfel
×1
Laura Strieker
×1
Jonni Virtema
×1
Papers
Complexity of Logics with Semiring Semantics
BibTeX ⧉
KR 2026
·
Timon Barlag
,
Nicolas Fröhlich
,
Teemu Hankala
,
Miika Hannula
,
Minna Hirvonen
,
Vivian Holzapfel
,
Juha Kontinen
,
Arne Meier
,
Laura Strieker
Representation Theorems for Cumulative Propositional Dependence Logics
BibTeX ⧉
KR 2026
·
Juha Kontinen
,
Arne Meier
,
Kai Sauerwald
On the Complexity and Properties of Preferential Propositional Dependence Logic
BibTeX ⧉
KR 2025
·
Kai Sauerwald
,
Arne Meier
,
Juha Kontinen
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions
BibTeX ⧉
AAAI 2024
·
Teemu Hankala
,
Miika Hannula
,
Juha Kontinen
,
Jonni Virtema