Mohammad Khodadadi

According to our database, Mohammad Khodadadi authored at least 22 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

HyMo: Vulnerability Detection in Smart Contracts using a Novel Multi-Modal Hybrid Model.

Mohammad Khodadadi, Jafar Tahmoresnezhad

CoRR, 2023

2020

Hybrid Reasoning Over Large Knowledge Bases Using On-The-Fly Knowledge Extraction.

Giorgos Stoilos, Damir Juric, Szymon Wartak, Claudia Schulz, Mohammad Khodadadi

Proceedings of the Semantic Web - 17th International Conference, 2020

A System for Medical Information Extraction and Verification from Unstructured Text.

Damir Juric, Giorgos Stoilos, André Melo, Jonathan Moore, Mohammad Khodadadi

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

PCB-Based Magnetometer as a Platform for Quantification of Lateral-Flow Assays.

Mohammad Khodadadi, Long Chang, João R. C. Trabuco, Binh Vu, Katerina Kourentzi, Richard C. Willson, Dmitri Litvinov

Sensors, 2019

Babylon Health's Medical Knowledge Graph: Why, What, and How.

Claudia Schulz, Damir Juric, Jetendr Shamdasani, Martin Coste, Szymon Wartak, Aleksandar Savkov, Nils Hammerla, Mohammad Khodadadi

Proceedings of the 12th International Conference on Semantic Web Applications and Tools for Health Care and Life Sciences, 2019

An Ontology-Based Interactive System for Understanding User Queries.

Giorgos Stoilos, Szymon Wartak, Damir Juric, Jonathan Moore, Mohammad Khodadadi

Proceedings of the Semantic Web - 16th International Conference, 2019

Tracking Logical Difference in Industrial-Scale Ontologies.

Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi

Proceedings of the 32nd International Workshop on Description Logics, 2019

Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach.

Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Methods and Metrics for Knowledge Base Engineering and Integration.

Giorgos Stoilos, David Geleta, Szymon Wartak, Sheldon Hall, Mohammad Khodadadi, Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt

Proceedings of the 9th Workshop on Ontology Design and Patterns (WOP 2018) co-located with 17th International Semantic Web Conference (ISWC 2018), 2018

A Novel Approach and Practical Algorithms for Ontology Integration.

Giorgos Stoilos, David Geleta, Jetendr Shamdasani, Mohammad Khodadadi

Proceedings of the Semantic Web - ISWC 2018, 2018

Medical knowledge graph construction by aligning large biomedical datasets.

Michael Röder, Giorgos Stoilos, David Geleta, Jetendr Shamdasani, Mohammad Khodadadi

Proceedings of the 13th International Workshop on Ontology Matching co-located with the 17th International Semantic Web Conference, 2018

Reasoning with Textual Queries: A Case of Medical Text.

Damir Juric, Giorgos Stoilos, Szymon Wartak, Mohammad Khodadadi

Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, USA, October 8th - to, 2018

Supporting Digital Healthcare Services Using Semantic Web Technologies.

Gintaras Barisevicius, Martin Coste, David Geleta, Damir Juric, Mohammad Khodadadi, Giorgos Stoilos, Ilya Zaihrayeu

Proceedings of the Semantic Web - ISWC 2018, 2018

2015

Exploration of variations of unrestricted blocking for description logics.

Mohammad Khodadadi

PhD thesis, 2015

The OWA Weights of Improved Minimax Disparity Model.

Ghasem Tohidi, Mohammad Khodadadi

Int. J. Intell. Syst., 2015

2013

A Refined Tableau Calculus with Controlled Blocking for the Description Logic.

Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.

Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

The Tableau Prover Generator MetTeL2.

Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting.

Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the 2012 International Workshop on Description Logics, 2012

MetTeL²: Towards a Tableau Prover Generation Platform.

Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics.

Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2011

METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine.

Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011