Mohammad Khodadadi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2011–2020
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | AAAI | A System for Medical Information Extraction and Verification from Unstructured Text. | Damir Juric, Giorgos Stoilos, Andr Melo, Jonathan Moore, Mohammad Khodadadi |
| 2019 | AAAI | Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach. | Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi |
| 2013 | TABLEAUX | A Refined Tableau Calculus with Controlled Blocking for the Description Logic. | Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky |
| 2012 | CADE | Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. | Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky |
| 2012 | CADE | MetTeL | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
| 2012 | JELIA | The Tableau Prover Generator MetTeL2. | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
| 2011 | TABLEAUX | METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |