Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
From MaRDI portal
Publication:5918401
DOI10.1007/978-3-030-75775-5_18MaRDI QIDQ5918401
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
68T27: Logic in artificial intelligence