Picture for Masood Feyzbakhsh Rankooh

Masood Feyzbakhsh Rankooh

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions

Add code
Jun 03, 2024
Viaarxiv icon

Interpretable classifiers for tabular data via discretization and feature selection

Add code
Feb 08, 2024
Viaarxiv icon

Short Boolean Formulas as Explanations in Practice

Add code
Jul 13, 2023
Viaarxiv icon

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

Add code
Jun 08, 2023
Viaarxiv icon

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

Add code
Sep 03, 2022
Figure 1 for Explainability via Short Formulas: the Case of Propositional Logic with Implementation
Viaarxiv icon

Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination

Add code
May 27, 2021
Figure 1 for Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination
Figure 2 for Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination
Figure 3 for Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination
Figure 4 for Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination
Viaarxiv icon