| The tableau prover generator MetTeL2 D Tishkovsky, RA Schmidt, M Khodadadi Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012 | 39 | 2012 |
| A novel approach and practical algorithms for ontology integration G Stoilos, D Geleta, J Shamdasani, M Khodadadi The Semantic Web–ISWC 2018: 17th International Semantic Web Conference …, 2018 | 37 | 2018 |
| Supporting digital healthcare services using semantic web technologies G Barisevičius, M Coste, D Geleta, D Juric, M Khodadadi, G Stoilos, ... The Semantic Web–ISWC 2018: 17th International Semantic Web Conference …, 2018 | 29 | 2018 |
| Tracking logical difference in large-scale ontologies: a forgetting-based approach Y Zhao, G Alghamdi, RA Schmidt, H Feng, G Stoilos, D Juric, ... Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 3116-3124, 2019 | 25 | 2019 |
| MetTeL2: Towards a Tableau Prover Generation Platform. D Tishkovsky, RA Schmidt, M Khodadadi PAAR@ IJCAR, 149-162, 2012 | 22 | 2012 |
| System for extracting semantic triples for building a knowledge base G Stoilos, J Moore, D Juric, M Khodadadi US Patent 10,482,384, 2019 | 15 | 2019 |
| Logic-Independent Inference Engine⋆ D Tishkovsky, RA Schmidt, M Khodadadi Automated Reasoning with Analytic Tableaux and Related Methods: 20th …, 2011 | 11* | 2011 |
| A system for medical information extraction and verification from unstructured text D Juric, G Stoilos, A Melo, J Moore, M Khodadadi Proceedings of the AAAI Conference on Artificial Intelligence 34 (08), 13314 …, 2020 | 9 | 2020 |
| A refined tableau calculus with controlled blocking for the description logic M Khodadadi, RA Schmidt, D Tishkovsky International Conference on Automated Reasoning with Analytic Tableaux and …, 2013 | 9 | 2013 |
| Methods and Metrics for Knowledge Base Engineering and Integration. G Stoilos, D Geleta, S Wartak, S Hall, M Khodadadi, Y Zhao, G Alghamdi, ... WOP@ ISWC, 72-86, 2018 | 8 | 2018 |
| Terminating tableau calculi for modal logic K with global counting operators M Khodadadi, RA Schmidt, D Tishkovsky, M Zawidzki Manuscript, http://www. mettel-prover. org/papers/KEn12. pdf, 2012 | 8 | 2012 |
| Computer implemented method for extracting and reasoning with meaning from text D Juric, G Stoilos, S Wartak, M Khodadadi US Patent 10,846,288, 2020 | 7 | 2020 |
| An abstract tableau calculus for the description logic SHOI using unrestricted blocking and rewriting M Khodadadi, RA Schmidt, D Tishkovsky Proc. DL 12, 224-234, 2012 | 7 | 2012 |
| Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics S Minica, M Khodadadi, RA Schmidt, D Tishkovsky PAAR-2012 Third Workshop on Practical Aspects of Automated Reasoning June 30 …, 2012 | 7 | 2012 |
| An ontology-based interactive system for understanding user queries G Stoilos, S Wartak, D Juric, J Moore, M Khodadadi The Semantic Web: 16th International Conference, ESWC 2019, Portorož …, 2019 | 6 | 2019 |
| Computing device for logging changes in a person's mood over time AR Guazzi, AL Hernandez, K Logan, LB Epstein, R Nallamilli, ... US Patent App. 16/537,306, 2021 | 2 | 2021 |
| Hybrid reasoning over large knowledge bases using on-the-fly knowledge extraction G Stoilos, D Juric, S Wartak, C Schulz, M Khodadadi European Semantic Web Conference, 69-85, 2020 | 2 | 2020 |
| Reasoning with Textual Queries: A Case of Medical Text. D Juric, G Stoilos, S Wartak, M Khodadadi ISWC (P&D/Industry/BlueSky), 2018 | 2 | 2018 |
| Exploration of Variations of Unrestricted Blocking for Description Logics M Khodadadi PQDT-UK & Ireland, 2015 | 2 | 2015 |
| Method and system of combining knowledge bases G Stoilos, D Geleta, J Shamdasani, M Khodadadi US Patent 11,042,531, 2021 | 1 | 2021 |
Renate A SchmidtSchool of Computer Science, The University of ManchesterVerified email at cs.man.ac.uk
