Projekt per år
Originalspråk | engelska |
---|---|
Titel på värdpublikation | Proceedings of the 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021) |
Redaktörer | Cassio P. de Campos, Marloes H. Maathuis, Erik Quaeghebeur |
Antal sidor | 11 |
Förlag | AUAI Press |
Utgivningsdatum | 2021 |
Sidor | 1237-1247 |
Status | Publicerad - 2021 |
MoE-publikationstyp | A4 Artikel i en konferenspublikation |
Evenemang | 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021) - Varaktighet: 27 juli 2021 → 30 juli 2021 https://www.auai.org/uai2021/ |
Publikationsserier
Namn | Proceedings of Machine Learning Research |
---|---|
Förlag | JMLR |
Volym | 161 |
ISSN (elektroniskt) | 2640-3498 |
Vetenskapsgrenar
- 113 Data- och informationsvetenskap
Projekt
- 2 Slutfört
-
Symbolic Techniques for Formally Verified and Explainable AI
Järvisalo, M. (Principal Investigator)
01/01/2020 → 31/12/2022
Projekt: Forskningsprojekt
-
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Projekt: Forskningsprojekt