Masood Feyzbakhsh Rankooh - Helsingfors universitet

E-postadressmasood.feyzbakhshrankoohhelsinkifi

Forskningsoutput per år

Vetenskapsgrenar

113 Data- och informationsvetenskap

Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability
Feyzbakhsh Rankooh, M., Niskanen, A. & Järvisalo, M., 25 nov. 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conference on Artificial Intelligence, Inc, s. 783-793 11 s. (International Conference on Principles of Knowledge Representation and Reasoning proceedings).
Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång
Fil
Explainability via Short Formulas: the Case of Propositional Logic with Implementation
Jaakkola, R., Janhunen, T., Kuusisto, A., Rankooh, M. F. & Vilander, M., 2025, I: Journal of Artificial Intelligence Research. 83, 27 s., 8.
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång
Fil
Reasoning in Assumption-Based Argumentation via SAT
Niskanen, A., Feyzbakhsh Rankooh, M., Lehtonen, T. & Järvisalo, M., 25 nov. 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conference on Artificial Intelligence, Inc, s. 707-717 11 s. ( International Conference on Principles of Knowledge Representation and Reasoning proceedings).
Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång
Fil

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)
Finlands Akademi
01/09/2023 → 31/08/2027
Projekt: Finlands Akademi: Akademiprojektsbidrag