Author of the publication

Semantic Validation of the Use of SNOMED CT in HL7 Clinical Documents

, , and . Journal of Biomedical Semantics, (July 2011)

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.

 

Other publications of authors with the same name

Semantic Validation of the Use of SNOMED CT in HL7 Clinical Documents, , and . Journal of Biomedical Semantics, (July 2011)KB_Bio_101: A Challenge for TPTP First-Order Reasoners, , and . In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction, Lake Placid, New York, USA, (June 2013)Guarded Open Answer Set Programming with Generalized Literals., , and . FoIKS, volume 3861 of Lecture Notes in Computer Science, page 179-200. Springer, (2006)Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming., , , and . CLIMA, volume 4371 of Lecture Notes in Computer Science, page 20-40. Springer, (2006)Guarded Open Answer Set Programming., , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 92-104. Springer, (2005)Large-Scale Analogical Reasoning., , , , and . AAAI, page 359-365. AAAI Press, (2014)Extending Conceptual Logic Programs with Arbitrary Rules., , and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)Intelligence Analysis Using Quantitative Preferences., , and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract)., , , , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 256-275. Springer, (2014)Automatic Strengthening of Graph-Structured Knowledge Bases, , , and . Proc. of 3rd International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR), Beijing, China, (August 2013)