Follow
Mohammad Khodadadi
Mohammad Khodadadi
Founder/CEO at Satis.AI
Verified email at alumni.manchester.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
372018
The tableau prover generator MetTeL2
D Tishkovsky, RA Schmidt, M Khodadadi
Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012
372012
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
272018
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
222019
MetTeL2: Towards a Tableau Prover Generation Platform.
D Tishkovsky, RA Schmidt, M Khodadadi
PAAR@ IJCAR, 149-162, 2012
222012
System for extracting semantic triples for building a knowledge base
G Stoilos, J Moore, D Juric, M Khodadadi
US Patent 10,482,384, 2019
142019
Logic-Independent Inference Engine⋆
D Tishkovsky, RA Schmidt, M Khodadadi
Automated Reasoning with Analytic Tableaux and Related Methods: 20th …, 2011
11*2011
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
92013
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
82020
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
82018
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
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
72012
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
72012
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
62020
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
62019
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
22021
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
22020
Reasoning with Textual Queries: A Case of Medical Text.
D Juric, G Stoilos, S Wartak, M Khodadadi
ISWC (P&D/Industry/BlueSky), 2018
22018
Exploration of Variations of Unrestricted Blocking for Description Logics
M Khodadadi
PQDT-UK & Ireland, 2015
22015
Method and system of combining knowledge bases
G Stoilos, D Geleta, J Shamdasani, M Khodadadi
US Patent 11,042,531, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20