Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/26130
Title: | Probabilistic Team Semantics | Authors: | Durand, Arnaud Hannula, Miika Kontinen, Juha Meier, Arne VIRTEMA, Jonni |
Issue Date: | 2018 | Publisher: | Springer International Publishing AG, | Source: | Ferrarotti, Flavio; Woltran, Stefan (Ed.). Foundations of Information and Knowledge Systems: 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings, Springer International Publishing AG,,p. 186-206 | Series/Report: | Lecture Notes in Computer Science | Series/Report no.: | 10833 | 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. | Document URI: | http://hdl.handle.net/1942/26130 | ISBN: | 9783319900490 | DOI: | 10.1007/978-3-319-90050-6_11 | ISI #: | 000546329500011 | Rights: | Springer International Publishing AG, part of Springer Nature 2018 | Category: | C1 | Type: | Proceedings Paper | Validations: | ecoom 2021 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
durand2018.pdf Restricted Access | Published version | 465.85 kB | Adobe PDF | View/Open Request a copy |
1803.02180.pdf Restricted Access | Non Peer-reviewed author version | 255.62 kB | Adobe PDF | View/Open Request a copy |
SCOPUSTM
Citations
7
checked on Sep 3, 2020
WEB OF SCIENCETM
Citations
19
checked on Apr 30, 2024
Page view(s)
62
checked on Sep 7, 2022
Download(s)
48
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.