Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 297-320 |
| Seitenumfang | 24 |
| Fachzeitschrift | Annals of Mathematics and Artificial Intelligence |
| Jahrgang | 83 |
| Ausgabenummer | 3-4 |
| Frühes Online-Datum | 18 Jan. 2018 |
| Publikationsstatus | Veröffentlicht - Aug. 2018 |
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 Sachgebiete
- Informatik (insg.)
- Artificial intelligence
- Mathematik (insg.)
- Angewandte Mathematik
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Annals of Mathematics and Artificial Intelligence, Jahrgang 83, Nr. 3-4, 08.2018, S. 297-320.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
}
TY - JOUR
T1 - Approximation and dependence via multiteam semantics
AU - Durand, Arnaud
AU - Hannula, Miika
AU - Kontinen, Juha
AU - Meier, Arne
AU - Virtema, Jonni
N1 - © 2018, Springer International Publishing AG, part of Springer Nature
PY - 2018/8
Y1 - 2018/8
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.
KW - Computational complexity
KW - Dependence logic
KW - Team semantics
UR - http://www.scopus.com/inward/record.url?scp=85040768450&partnerID=8YFLogxK
U2 - 10.48550/arXiv.1510.09040
DO - 10.48550/arXiv.1510.09040
M3 - Article
AN - SCOPUS:85040768450
VL - 83
SP - 297
EP - 320
JO - Annals of Mathematics and Artificial Intelligence
JF - Annals of Mathematics and Artificial Intelligence
SN - 1012-2443
IS - 3-4
ER -