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

Miika Hannula, Jonni Virtema

Browse the full JELIA paper archive.