PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Khodadadi, Mohammad"

Author of the publication

copydeleteadd this publication to your clipboard
Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach.

, , , , , , and . AAAI, page 3116-3124. AAAI Press, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mohammad Ebrahimi University of Stuttgart

Mohammad Kasra Habib University of Stuttgart

Mohammad Youssef Mahfouz University of Stuttgart

Dorsa Mohammad Zaheri University of Stuttgart

Dr. rer. nat. Seyed Mohammad Mahdi Dadfar University of Stuttgart

 

Other publications of authors with the same name

Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach., , , , , , and . AAAI, page 3116-3124. AAAI Press, (2019)The Tableau Prover Generator MetTeL2., , and . JELIA, volume 7519 of Lecture Notes in Computer Science, page 492-495. Springer, (2012)A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI., , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 724-734. CEUR-WS.org, (2013)A Novel Approach and Practical Algorithms for Ontology Integration., , , and . International Semantic Web Conference (1), volume 11136 of Lecture Notes in Computer Science, page 458-476. Springer, (2018)METTELMet\hspace-.5ptTeL: A Tableau Prover with Logic-Independent Inference Engine., , and . TABLEAUX, volume 6793 of Lecture Notes in Computer Science, page 242-247. Springer, (2011)Medical knowledge graph construction by aligning large biomedical datasets., , , , and . OM@ISWC, volume 2288 of CEUR Workshop Proceedings, page 218-219. CEUR-WS.org, (2018)An Ontology-Based Interactive System for Understanding User Queries., , , , and . ESWC, volume 11503 of Lecture Notes in Computer Science, page 330-345. Springer, (2019)Tracking Logical Difference in Industrial-Scale Ontologies., , , , , , and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting., , and . Description Logics, volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)The OWA Weights of Improved Minimax Disparity Model., and . Int. J. Intell. Syst., 30 (7): 781-797 (2015)