3 papers
cs.DB2026
A Logic-based Temporal Cohort Discovery Engine: Algorithms, Indices, and Experimental Results on the National Sleep Research Resource
Yan Huang, Xiaojin Li, Licong Cui +1
Large sleep-study repositories contain rich time-stamped physiological annotations, but cohort discovery is still commonly implemented as ad hoc scripts or scalar-index filters. We…
cs.LO2026
Ensemble Logic for Symbolic Representation of Sleep Medicine Guidelines
Jiahao Fan, Xiaojin Li, Yan Huang +3
The American Academy of Sleep Medicine (AASM) Manual is the clinical standard for polysomnography (PSG) scoring, but its narrative rules can admit multiple reasonable interpretatio…
cs.LO2026
Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study
Yan Huang, Xubing Hao, Xiaojin Li +4
The reliance on unstructured free text for documenting clinical trial protocols creates a significant barrier to automated reasoning, cohort discovery, and trial simulation. The la…