Modular SAT-based techniques for reasoning tasks in team semantics
From MaRDI portal
Publication:6615313
DOI10.1016/J.JCSS.2024.103575MaRDI QIDQ6615313FDOQ6615313
Authors: Arnaud Durand, Juha Kontinen, Jouko Väänänen 
Publication date: 8 October 2024
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Cites Work
- Probabilistic team semantics
- Dependence and independence
- Dependence logic. A new approach to independence friendly logic
- Identifying independence in bayesian networks
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- On generating all solutions of generalized satisfiability problems
- Inquisitive logic
- Capturing complexity classes by fragments of second-order logic
- Hierarchies in independence logic
- Title not available (Why is that?)
- Model-checking games for logics of imperfect information
- Title not available (Why is that?)
- Questions and dependency in intuitionistic logic
- Coherence and computational complexity of quantifier-free dependence logic formulas
- An algorithm for horizontal decompositions
- Dependence and Independence in Social Choice: Arrow’s Theorem
- Enumeration complexity of poor man's propositional dependence logic
- Facets of distribution identities in probabilistic team semantics
- Counting in Team Semantics
- Enumerating teams in first-order team logics
- Counting of Teams in First-Order Team Logics
- Dependence Logic vs. Constraint Satisfaction
- Tractability Frontier of Data Complexity in Team Semantics
This page was built for publication: Modular SAT-based techniques for reasoning tasks in team semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6615313)
