Masood Feyzbakhsh Rankooh - University of Helsinki Research Portal

Emailmasood.feyzbakhshrankoohhelsinkifi

Research activity per year

Fields of Science

113 Computer and information sciences

2 Conference contribution
1 Article

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, p. 783-793 11 p. (International Conference on Principles of Knowledge Representation and Reasoning proceedings).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File
Explainability via Short Formulas: the Case of Propositional Logic with Implementation
Jaakkola, R., Janhunen, T., Kuusisto, A., Rankooh, M. F. & Vilander, M., 2025, In: Journal of Artificial Intelligence Research. 83, 27 p., 8.
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access
File
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, p. 707-717 11 p. ( International Conference on Principles of Knowledge Representation and Reasoning proceedings).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File

1 Active

Next-generation Unsatisfiabillity-based Declarative Optimization
Järvisalo, M. (Project manager), Conati, A. F. (Participant), Eskelinen, V. (Participant), Feyzbakhsh Rankooh, M. (Participant), Jabs, C. J. (Participant), Lehtonen, T. (Participant) & Sun, H. (Participant)
Academy of Finland
01/09/2023 → 31/08/2027
Project: Research Council of Finland: Academy Project