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.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) Approximation and dependence via multiteam semantics. In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 83(3-4), p. 297-320.-
item.accessRightsRestricted Access-
item.validationecoom 2019-
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

Google ScholarTM

Check

Altmetric


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