Approximation and Dependence via Multiteam Semantics

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Authors

  • Arnaud Durand
  • Miika Hannula
  • Juha Kontinen
  • Arne Meier
  • Jonni Virtema

External Research Organisations

  • Universite Paris 7
  • University of Helsinki
View graph of relations

Details

Original languageEnglish
Title of host publicationFoundations of Information and Knowledge Systems
Subtitle of host publication9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
EditorsMarc Gyssens, Guillermo Simari
Place of PublicationCham
Pages271-291
Number of pages21
ISBN (electronic)978-3-319-30024-5
Publication statusPublished - 4 Mar 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9616
ISSN (Print)0302-9743
ISSN (electronic)1611-3349

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.

ASJC Scopus subject areas

Cite this

Approximation and Dependence via Multiteam Semantics. / Durand, Arnaud; Hannula, Miika; Kontinen, Juha et al.
Foundations of Information and Knowledge Systems: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. ed. / Marc Gyssens; Guillermo Simari. Cham, 2016. p. 271-291 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9616).

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Durand, A, Hannula, M, Kontinen, J, Meier, A & Virtema, J 2016, Approximation and Dependence via Multiteam Semantics. in M Gyssens & G Simari (eds), Foundations of Information and Knowledge Systems: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9616, Cham, pp. 271-291. https://doi.org/10.1007/s10472-017-9568-4, https://doi.org/10.1007/978-3-319-30024-5_15
Durand, A., Hannula, M., Kontinen, J., Meier, A., & Virtema, J. (2016). Approximation and Dependence via Multiteam Semantics. In M. Gyssens, & G. Simari (Eds.), Foundations of Information and Knowledge Systems: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings (pp. 271-291). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9616).. https://doi.org/10.1007/s10472-017-9568-4, https://doi.org/10.1007/978-3-319-30024-5_15
Durand A, Hannula M, Kontinen J, Meier A, Virtema J. Approximation and Dependence via Multiteam Semantics. In Gyssens M, Simari G, editors, Foundations of Information and Knowledge Systems: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. Cham. 2016. p. 271-291. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/s10472-017-9568-4, 10.1007/978-3-319-30024-5_15
Durand, Arnaud ; Hannula, Miika ; Kontinen, Juha et al. / Approximation and Dependence via Multiteam Semantics. Foundations of Information and Knowledge Systems: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. editor / Marc Gyssens ; Guillermo Simari. Cham, 2016. pp. 271-291 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Download
@inproceedings{6923d43d310140e7a79bccecb1a9915b,
title = "Approximation and Dependence via Multiteam Semantics",
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{\"a}{\"a}n{\"a}nen.",
author = "Arnaud Durand and Miika Hannula and Juha Kontinen and Arne Meier and Jonni Virtema",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.",
year = "2016",
month = mar,
day = "4",
doi = "10.1007/s10472-017-9568-4",
language = "English",
isbn = "9783319300238",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "271--291",
editor = "Marc Gyssens and Guillermo Simari",
booktitle = "Foundations of Information and Knowledge Systems",

}

Download

TY - GEN

T1 - Approximation and Dependence via Multiteam Semantics

AU - Durand, Arnaud

AU - Hannula, Miika

AU - Kontinen, Juha

AU - Meier, Arne

AU - Virtema, Jonni

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2016.

PY - 2016/3/4

Y1 - 2016/3/4

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84960469757&partnerID=8YFLogxK

U2 - 10.1007/s10472-017-9568-4

DO - 10.1007/s10472-017-9568-4

M3 - Conference contribution

SN - 9783319300238

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 271

EP - 291

BT - Foundations of Information and Knowledge Systems

A2 - Gyssens, Marc

A2 - Simari, Guillermo

CY - Cham

ER -

By the same author(s)