Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Projektin yksityiskohdat
| Lyhennetty nimi | Seuraavan sukupolven rajoiteoptimointime |
|---|---|
| Tila | Käynnissä |
| Todellinen alku/loppupvm | 01/09/2023 → 31/08/2027 |
Rahoitus
- Suomen Akatemia: 531 219,00 €
-
Certified MaxSAT Preprocessing
Ihalainen, H., Oertel, A., Tan, Y. K., Berg, J., Järvisalo, M., Myreen, M. O. & Nordström, J., 1 heinäk. 2024, Automated Reasoning. IJCAR 2024.. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (toim.). Springer Science and Business Media Deutschland GmbH, s. 396-418 23 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 14739).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation
Conati, A. F., Niskanen, A., de Haan, R. & Järvisalo, M., lokak. 2024, ECAI 2024 – 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024). IOS PRESS, s. 3597-3604 7 Sivumäärä (Frontiers in Artificial Intelligence and Applications; Vuosikerta 392).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+
Lehtonen, T., Odekerken, D., Wallner, J. P. & Järvisalo, M., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024. Marquis, P., Marquis, P., Ortiz, M. & Pagnucco, M. (toim.). Association for the Advancement of Artificial Intelligence (AAAI), s. 520-530 11 Sivumäärä (Proceedings of the International Conference on Knowledge Representation and Reasoning).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto