Towards a Robust Medical Record System: Integrating Logical Reasoning for Trustworthy Data Management.

Hanning Zhang, Guansheng Wang, Junwei Feng, Lei Feng, Quan Gan, Long Ji

Browse the full TrustCom paper archive.