Details
| Original language | English |
|---|---|
| Title of host publication | Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Proceedings |
| Editors | Stefan Woltran, Flavio Ferrarotti |
| Publisher | Springer Verlag |
| Pages | 186-206 |
| Number of pages | 21 |
| ISBN (print) | 9783319900490 |
| Publication status | Published - 2018 |
| Event | 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018 - Budapest, Hungary Duration: 14 May 2018 → 18 May 2018 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 10833 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |
Abstract
Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team semantics has been generalised to accommodate also multisets and probabilistic dependencies. In this article we study a variant of probabilistic team semantics and relate this framework to a Tarskian two-sorted logic. We also show that very simple quantifier-free formulae of our logic give rise to NP -hard model checking problems.
ASJC Scopus subject areas
- Mathematics(all)
- Theoretical Computer Science
- Computer Science(all)
- General Computer Science
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Proceedings. ed. / Stefan Woltran; Flavio Ferrarotti. Springer Verlag, 2018. p. 186-206 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10833 LNCS).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Probabilistic team semantics
AU - Durand, Arnaud
AU - Hannula, Miika
AU - Kontinen, Juha
AU - Meier, Arne
AU - Virtema, Jonni
N1 - Funding information: The second author was supported by grant 3711702 of the Marsden Fund. The third author was supported by grant 308712 of the Academy of Finland. This work was supported in part by the joint grant by the DAAD (57348395) and the Academy of Finland (308099). We also thank the anonymous referees for their helpful suggestions. Acknowledgements. The second author was supported by grant 3711702 of the Marsden Fund. The third author was supported by grant 308712 of the Academy of Finland. This work was supported in part by the joint grant by the DAAD (57348395) and the Academy of Finland (308099). We also thank the anonymous referees for their helpful suggestions.
PY - 2018
Y1 - 2018
N2 - Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team semantics has been generalised to accommodate also multisets and probabilistic dependencies. In this article we study a variant of probabilistic team semantics and relate this framework to a Tarskian two-sorted logic. We also show that very simple quantifier-free formulae of our logic give rise to NP -hard model checking problems.
AB - Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team semantics has been generalised to accommodate also multisets and probabilistic dependencies. In this article we study a variant of probabilistic team semantics and relate this framework to a Tarskian two-sorted logic. We also show that very simple quantifier-free formulae of our logic give rise to NP -hard model checking problems.
UR - http://www.scopus.com/inward/record.url?scp=85046896904&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-90050-6_11
DO - 10.1007/978-3-319-90050-6_11
M3 - Conference contribution
AN - SCOPUS:85046896904
SN - 9783319900490
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 186
EP - 206
BT - Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Proceedings
A2 - Woltran, Stefan
A2 - Ferrarotti, Flavio
PB - Springer Verlag
T2 - 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018
Y2 - 14 May 2018 through 18 May 2018
ER -