Mohammad Khodadadi
Mohammad Khodadadi
Founder/CEO at Satis.AI
Bestätigte E-Mail-Adresse bei alumni.manchester.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
272018
MetTeL2: Towards a Tableau Prover Generation Platform.
D Tishkovsky, RA Schmidt, M Khodadadi
PAAR@ IJCAR, 149-162, 2012
212012
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
162018
Logic-Independent Inference Engine⋆
D Tishkovsky, RA Schmidt, M Khodadadi
Automated Reasoning with Analytic Tableaux and Related Methods: 20th …, 2011
12*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 Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI
M Khodadadi, RA Schmidt, D Tishkovsky
9*
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
82019
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
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
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
52018
System for extracting semantic triples for building a knowledge base
G Stoilos, J Moore, D Juric, M Khodadadi
US Patent 10,482,384, 2019
32019
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
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
22020
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
22018
Exploration of Variations of Unrestricted Blocking for Description Logics
M Khodadadi
PQDT-UK & Ireland, 2015
22015
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20