Mohammad Khodadadi
Mohammad Khodadadi
Director of data, Babylon health
Dirección de correo verificada de alumni.manchester.ac.uk - Página principal
Título
Citado por
Citado por
Año
The tableau prover generator MetTeL2
D Tishkovsky, RA Schmidt, M Khodadadi
European Workshop on Logics in Artificial Intelligence, 492-495, 2012
302012
A novel approach and practical algorithms for ontology integration
G Stoilos, D Geleta, J Shamdasani, M Khodadadi
International Semantic Web Conference, 458-476, 2018
182018
MetTeL2: Towards a Tableau Prover Generation Platform.
D Tishkovsky, RA Schmidt, M Khodadadi
PAAR@ IJCAR, 149-162, 2012
182012
Logic-Independent Inference Engine⋆
D Tishkovsky, RA Schmidt, M Khodadadi
Automated Reasoning with Analytic Tableaux and Related Methods: 20th …, 2011
12*2011
Supporting digital healthcare services using semantic web technologies
G Barisevičius, M Coste, D Geleta, D Juric, M Khodadadi, G Stoilos, ...
International Semantic Web Conference, 291-306, 2018
92018
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
82013
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
82012
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI
M Khodadadi, RA Schmidt, D Tishkovsky
8*
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
62012
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
62012
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, 3116-3124, 2019
52019
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
22018
Exploration of Variations of Unrestricted Blocking for Description Logics
M Khodadadi
The University of Manchester, Manchester, UK, 2015
22015
A System for Medical Information Extraction and Verification from Unstructured Text.
D Juric, G Stoilos, A Melo, J Moore, M Khodadadi
AAAI, 13314-13319, 2020
12020
An Ontology-Based Interactive System for Understanding User Queries
G Stoilos, S Wartak, D Juric, J Moore, M Khodadadi
European Semantic Web Conference, 330-345, 2019
12019
Reasoning with Textual Queries: A Case of Medical Text.
D Juric, G Stoilos, S Wartak, M Khodadadi
International Semantic Web Conference (P&D/Industry/BlueSky), 2018
12018
Mettel2: Towards a prover generation platform
D Tishkovsky, RA Schmidt, M Khodadadi
Manuscript, submitted for publication, available at http://mettel-prover …, 2012
12012
metTel: A generic tableau prover
D Tishkovsky, RA Schmidt, M Khodadadi
Automated Reasoning Workshop 2011, 3, 2011
12011
Identifying Valid Medical Data for Facilitating Accurate Medical Diagnosis
D Corapi, B Myles, A Strodahs, B Homer, M Morriello, M Khodadadi
US Patent App. 16/275,901, 2020
2020
Identifying Valid Medical Data for Facilitating Accurate Medical Diagnosis
D Corapi, B Myles, A Strodahs, B Homer, M Morriello, M Khodadadi
US Patent App. 16/546,231, 2020
2020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20