Rankooh, Masood Feyzbakhsh

6 publications

JAIR 2025 Explainability via Short Formulas: The Case of Propositional Logic with Implementation Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

IJCAI 2024 Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract) Masood Feyzbakhsh Rankooh, Tomi Janhunen

IJCAI 2024 Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming Masood Feyzbakhsh Rankooh, Tomi Janhunen

AAAI 2022 Efficient Encoding of Cost Optimal Delete-Free Planning as SAT Masood Feyzbakhsh Rankooh, Jussi Rintanen

AAAI 2022 Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination Masood Feyzbakhsh Rankooh, Jussi Rintanen

JAIR 2015 ITSAT: An Efficient SAT-Based Temporal Planner Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani