Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/26130
Full metadata record
DC FieldValueLanguage
dc.contributor.authorDurand, Arnaud-
dc.contributor.authorHannula, Miika-
dc.contributor.authorKontinen, Juha-
dc.contributor.authorMeier, Arne-
dc.contributor.authorVIRTEMA, Jonni-
dc.date.accessioned2018-06-21T08:13:51Z-
dc.date.available2018-06-21T08:13:51Z-
dc.date.issued2018-
dc.identifier.citationFerrarotti, 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-
dc.identifier.isbn9783319900490-
dc.identifier.issn0302-9743-
dc.identifier.urihttp://hdl.handle.net/1942/26130-
dc.description.abstractTeam 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.-
dc.description.sponsorship. 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).-
dc.language.isoen-
dc.publisherSpringer International Publishing AG,-
dc.relation.ispartofseriesLecture Notes in Computer Science-
dc.rightsSpringer International Publishing AG, part of Springer Nature 2018-
dc.titleProbabilistic Team Semantics-
dc.typeProceedings Paper-
local.bibliographicCitation.authorsFerrarotti, Flavio-
local.bibliographicCitation.authorsWoltran, Stefan-
local.bibliographicCitation.conferencedate14-18/05/2018-
local.bibliographicCitation.conferencenameThe Tenth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2018)-
local.bibliographicCitation.conferenceplaceAlfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary-
dc.identifier.epage206-
dc.identifier.spage186-
dc.identifier.volume10833-
local.bibliographicCitation.jcatC1-
local.publisher.placeCham, Switzerland-
local.type.refereedRefereed-
local.type.specifiedProceedings Paper-
local.relation.ispartofseriesnr10833-
dc.identifier.doi10.1007/978-3-319-90050-6_11-
dc.identifier.isi000546329500011-
local.provider.typeWeb of Science-
local.bibliographicCitation.btitleFoundations of Information and Knowledge Systems: 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings-
item.fulltextWith Fulltext-
item.contributorDurand, Arnaud-
item.contributorHannula, Miika-
item.contributorKontinen, Juha-
item.contributorMeier, Arne-
item.contributorVIRTEMA, Jonni-
item.fullcitationDurand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne & VIRTEMA, Jonni (2018) Probabilistic Team Semantics. In: 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.-
item.accessRightsRestricted Access-
item.validationecoom 2021-
Appears in Collections:Research publications
Files in This Item:
File Description SizeFormat 
durand2018.pdf
  Restricted Access		Published version465.85 kBAdobe PDFView/Open    Request a copy
1803.02180.pdf
  Restricted Access		Non Peer-reviewed author version255.62 kBAdobe PDFView/Open    Request a copy
Show simple item record

Google ScholarTM

Check

Altmetric


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