Projekt per år
Originalspråk | engelska |
---|---|
Titel på värdpublikation | Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) |
Redaktörer | Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberne |
Förlag | International Joint Conference on Artificial Intelligence, Inc |
Utgivningsdatum | 2023 |
ISBN (elektroniskt) | 978-1-956792-02-7 |
DOI | |
Status | Publicerad - 2023 |
MoE-publikationstyp | A4 Artikel i en konferenspublikation |
Evenemang | International Conference on Principles of Knowledge Representation and Reasoning - Rhodes, Grekland Varaktighet: 2 sep. 2023 → 8 sep. 2023 Konferensnummer: 20 |
Publikationsserier
Namn | |
---|---|
ISSN (elektroniskt) | 2334-1033 |
Vetenskapsgrenar
- 113 Data- och informationsvetenskap
-
Next-generation Unsatisfiabillity-based Declarative Optimization
Järvisalo, M. (Projektledare), Conati, A. F. (deltagare), Eskelinen, V. (deltagare), Feyzbakhsh Rankooh, M. (deltagare), Jabs, C. J. (deltagare), Lehtonen, T. (deltagare) & Sun, H. X. (deltagare)
01/09/2023 → 31/08/2027
Projekt: Finlands Akademi: Akademiprojektsbidrag
-
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Projekt: Forskningsprojekt