Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/28308
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.accessioned2019-05-28T12:40:03Z-
dc.date.available2019-05-28T12:40:03Z-
dc.date.issued2018-
dc.identifier.citationANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 83(3-4), p. 297-320-
dc.identifier.issn1012-2443-
dc.identifier.urihttp://hdl.handle.net/1942/28308-
dc.description.abstractWe 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.-
dc.language.isoen-
dc.subject.otherDependence logic; Team semantics; Computational complexity-
dc.titleApproximation and dependence via multiteam semantics-
dc.typeJournal Contribution-
dc.identifier.epage320-
dc.identifier.issue3-4-
dc.identifier.spage297-
dc.identifier.volume83-
local.bibliographicCitation.jcatA1-
local.type.refereedRefereed-
local.type.specifiedArticle-
local.classdsPublValOverrule/author_version_not_expected-
local.classdsPublValOverrule/internal_author_not_expected-
local.classIncludeIn-ExcludeFrom-List/ExcludeFromFRIS-
dc.identifier.doi10.1007/s10472-017-9568-4-
dc.identifier.isi000440108900005-
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) Approximation and dependence via multiteam semantics. In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 83(3-4), p. 297-320.-
item.validationecoom 2019-
item.fulltextWith Fulltext-
item.accessRightsRestricted Access-
crisitem.journal.issn1012-2443-
crisitem.journal.eissn1573-7470-
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 simple item record

SCOPUSTM   
Citations

32
checked on Sep 30, 2025

WEB OF SCIENCETM
Citations

24
checked on Oct 4, 2025

Google ScholarTM

Check

Altmetric


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