Research output per year
Research output per year
Project Details
| Short title | Seuraavan sukupolven rajoiteoptimointime |
|---|---|
| Status | Active |
| Effective start/end date | 01/09/2023 → 31/08/2027 |
Funding
- Academy of Finland: €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 Jul 2024, Automated Reasoning. IJCAR 2024.. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 396-418 23 p. (Lecture Notes in Computer Science; vol. 14739).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation
Conati, A. F., Niskanen, A., de Haan, R. & Järvisalo, M., Oct 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, p. 3597-3604 7 p. (Frontiers in Artificial Intelligence and Applications; vol. 392).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
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. (eds.). Association for the Advancement of Artificial Intelligence (AAAI), p. 520-530 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile