www.uhasselt.be
DSpace

Document Server@UHasselt >
Research >
Research publications >

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,
Citation: 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.
URI: http://hdl.handle.net/1942/26130
DOI: 10.1007/978-3-319-90050-6_11
ISBN: 9783319900490
ISSN: 0302-9743
Category: C1
Type: Proceedings Paper
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
Published version465.85 kBAdobe PDF
Non peer-reviewed author version513.35 kBAdobe PDF

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.