Masood Feyzbakhsh Rankooh

According to our database, Masood Feyzbakhsh Rankooh authored at least 17 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions.

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

CoRR, 2024

Interpretable classifiers for tabular data via discretization and feature selection.

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

CoRR, 2024

Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract).

Masood Feyzbakhsh Rankooh, Tomi Janhunen

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming.

Masood Feyzbakhsh Rankooh, Tomi Janhunen

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Symmetry-Breaking Constraints for Directed Graphs.

Jussi Rintanen, Masood Feyzbakhsh Rankooh

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs.

Masood Feyzbakhsh Rankooh, Tomi Janhunen

Theory Pract. Log. Program., July, 2023

Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling.

Anssi Yli-Jyrä, Masood Feyzbakhsh Rankooh, Tomi Janhunen

Proceedings of the Practical Aspects of Declarative Languages, 2023

Short Boolean Formulas as Explanations in Practice.

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination.

Masood Feyzbakhsh Rankooh, Tomi Janhunen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Explainability via Short Formulas: the Case of Propositional Logic with Implementation.

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

Proceedings of the Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), 2022

Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming.

Masood Feyzbakhsh Rankooh, Jussi Rintanen

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Efficient Encoding of Cost Optimal Delete-Free Planning as SAT.

Masood Feyzbakhsh Rankooh, Jussi Rintanen

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination.

Masood Feyzbakhsh Rankooh, Jussi Rintanen

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2015

ITSAT: An Efficient SAT-Based Temporal Planner.

Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani

J. Artif. Intell. Res., 2015

2013

New Encoding Methods for SAT-Based Temporal Planning.

Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

Using Satisfiability for Non-optimal Temporal Planning.

Masood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

A Complete State-Space Based Temporal Planner.

Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011