Razieh Mehri

Identifiers

• name variant Razieh Mehri 0.50 · backfill

Papers (2)

1. Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners cs.AI · 2019 · author #1
2. Optimizing Heuristics for Tableau-based OWL Reasoners cs.AI · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Hamidreza Chinaei 2 shared papers
• Volker Haarslev 2 shared papers