Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

DOI10.1007/978-3-030-75775-5_18MaRDI QIDQ5918401

Miika Hannula, Jonni Virtema

Publication date: 1 December 2021

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2012.12830

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence