Axiomatization of approximate exclusion
Julkaisuvuosi
2024
Tekijät
Häggblom, Matilda
Organisaatiot ja tekijät
Helsingin yliopisto
Häggblom Matilda
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Emojulkaisun toimittajat
Marquis, Pierre ; Ortiz, Magdalena ; Pagnucco, Maurice
Konferenssi
KR 2024, the 21st International Conference on Principles of Knowledge Representation and Reasoning
Sivut
405-409
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
0
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Kasvatustieteet
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.24963/kr.2024/38
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä