Volgen
Mohammad Khodadadi
Mohammad Khodadadi
Founder/CEO at Satis.AI
Geverifieerd e-mailadres voor alumni.manchester.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
A novel approach and practical algorithms for ontology integration
G Stoilos, D Geleta, J Shamdasani, M Khodadadi
International Semantic Web Conference, 458-476, 2018
332018
The tableau prover generator MetTeL2
D Tishkovsky, RA Schmidt, M Khodadadi
European Workshop on Logics in Artificial Intelligence, 492-495, 2012
332012
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
212018
MetTeL2: Towards a Tableau Prover Generation Platform.
D Tishkovsky, RA Schmidt, M Khodadadi
PAAR@ IJCAR, 149-162, 2012
202012
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
122019
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
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*
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
72018
An abstract tableau calculus for the description logic SHOI using unrestricted blocking and rewriting
M Khodadadi, RA Schmidt, D Tishkovsky
25th International Workshop on Description Logics, DL 2012, 224-234, 2012
72012
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
62020
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
System for extracting semantic triples for building a knowledge base
G Stoilos, J Moore, D Juric, M Khodadadi
US Patent 10,482,384, 2019
42019
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
32020
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
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
22019
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20