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_18OpenAlexW3165408802MaRDI 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
Related Items (4)
On elementary logics for quantitative dependencies ⋮ Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ The implication problem for functional dependencies and variants of marginal distribution equivalences
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fixed points, Nash equilibria, and the existential theory of the reals
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- On definability in dependence logic
- Computing over the reals with addition and order
- Metafinite model theory
- Reachability and connectivity queries in constraint databases
- Counting problems over the reals
- Probabilistic team semantics
- Approximation and dependence via multiteam semantics
- Facets of distribution identities in probabilistic team semantics
- A logic for arguing about probabilities in measure teams
- Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets
- Two logical hierarchies of optimization problems over the real numbers
- Logics which capture complexity classes over the reals
- Compositional semantics for a language of imperfect information
- On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
- Descriptive complexity of real computation and probabilistic independence logic
- Team Logic and Second-Order Logic
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
This page was built for publication: Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
