Mohammad Khodadadi
Orcid: 0009-0003-9783-6663
According to our database1,
Mohammad Khodadadi
authored at least 23 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
1
1
2
4
5
2
4
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
LLMs in the Loop: Leveraging Large Language Model Annotations for Active Learning in Low-Resource Languages.
Proceedings of the Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track, 2024
2023
HyMo: Vulnerability Detection in Smart Contracts using a Novel Multi-Modal Hybrid Model.
CoRR, 2023
2020
Proceedings of the Semantic Web - 17th International Conference, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Sensors, 2019
Proceedings of the 12th International Conference on Semantic Web Applications and Tools for Health Care and Life Sciences, 2019
Proceedings of the Semantic Web - 16th International Conference, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of the 9th Workshop on Ontology Design and Patterns (WOP 2018) co-located with 17th International Semantic Web Conference (ISWC 2018), 2018
Proceedings of the Semantic Web - ISWC 2018, 2018
Proceedings of the 13th International Workshop on Ontology Matching co-located with the 17th International Semantic Web Conference, 2018
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
Proceedings of the Semantic Web - ISWC 2018, 2018
2015
PhD thesis, 2015
2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
2012
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.
Proceedings of the 2012 International Workshop on Description Logics, 2012
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012
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.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011