Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/28308
Title: Approximation and dependence via multiteam semantics
Authors: Durand, Arnaud
Hannula, Miika
Kontinen, Juha
Meier, Arne
VIRTEMA, Jonni 
Issue Date: 2018
Source: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 83(3-4), p. 297-320
Abstract: We define a variant of team semantics called multiteam semantics based on multisets and study the properties of various logics in this framework. In particular, we define natural probabilistic versions of inclusion and independence atoms and certain approximation operators motivated by approximate dependence atoms of Väänänen.
Keywords: Dependence logic; Team semantics; Computational complexity
Document URI: http://hdl.handle.net/1942/28308
ISSN: 1012-2443
e-ISSN: 1573-7470
DOI: 10.1007/s10472-017-9568-4
ISI #: 000440108900005
Category: A1
Type: Journal Contribution
Validations: ecoom 2019
Appears in Collections:Research publications

Files in This Item:
File Description SizeFormat 
Durand2018_Article_ApproximationAndDependenceViaM.pdf
  Restricted Access		Published version1.72 MBAdobe PDFView/Open    Request a copy
Show full item record

Google ScholarTM

Check

Altmetric


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