PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Zhang, Guo-Qiang"

Author of the publication

copydeleteadd this publication to your clipboard
A Modal Logic for Reasoning about Belief.

, , and . HICSS (5), page 383-. IEEE Computer Society, (1997)

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.

Shuai Zhang University of Stuttgart

Guanhua Zhang University of Stuttgart

Yanan Guo University of Stuttgart

Dr. -Ing. Jing Zhang University of Stuttgart

Jixing Zhang University of Stuttgart

 

Other publications of authors with the same name

A Modal Logic for Reasoning about Belief., , and . HICSS (5), page 383-. IEEE Computer Society, (1997)Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics., , , and . FOIS, volume 209 of Frontiers in Artificial Intelligence and Applications, page 414-427. IOS Press, (2010)Quality assurance of biomedical terminologies and ontologies., , , and . Journal of Biomedical Informatics, (2018)An analysis of FMA using structural self-bisimilarity., , and . Journal of Biomedical Informatics, 46 (3): 497-505 (2013)FEDRR: Fast, Exhaustive Detection of Redundant Hierarchical Relations in Large Biomedical Ontologies., , and . BDM2I@ISWC, volume 1428 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)MaPLE: A MapReduce Pipeline for Lattice-based Evaluation and its application to SNOMED CT., , , , , and . BigData, page 754-759. IEEE Computer Society, (2014)Enhancing relevance scoring with chronological term rank., and . SIGIR, page 599-606. ACM, (2007)Concept Analysis as a Formal Method for Menu Design., , , and . DSV-IS, volume 3941 of Lecture Notes in Computer Science, page 173-187. Springer, (2005)Sequents, Frames, and Completeness., and . CSL, volume 1862 of Lecture Notes in Computer Science, page 277-291. Springer, (2000)A representation of stably compact spaces, and patch topology., and . Theor. Comput. Sci., 305 (1-3): 77-84 (2003)