TY  - CONF

T1  - Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals

JO  - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PY  - 2021/01/01

AU  - Hannula M

AU  - Virtema J

ED  - 

DO  - DOI: 10.1007/978-3-030-75775-5_18

SN  - 9783030757748

VL  - 12678 LNAI

SP  - 262

EP  - 278

Y2  - 2024/12/22

ER  -