@article{b2cb4393fb7640b0a28fd2192fd38533,
title = "Acquiring guideline-enabled data driven clinical knowledge model using formally verified refined knowledge acquisition method",
keywords = "Cancer treatment plan, Clinical decision support system, Clinical practice guidelines, Data driven knowledge acquisition, Formal verification, Knowledge acquisition",
author = "Maqbool Hussain and Muhammad Afzal and Malik, {Khalid M.} and Taqdir Ali and {Ali Khan}, Wajahat and Muhammad Irfan and Arif Jamshrf and Sungyoung Lee",
note = "Funding Information: This research was supported by the MSIT(Ministry of Science and ICT), Korea, under the Grand Information Technology Research Center support program(IITP-2020-0-01489) supervised by the IITP(Institute for Information & communications Technology Planning & Evaluation) Funding Information: Moreover, this work was also supported by the National Research Foundation of Korea (NRF2017R1A2B2012337), in part by Sejong University Faculty Research Fund. The NRF funds NRF-2016K1A3A7A03951968 and NRF-2019R1A2C2090504 partially supported the resources for the project. Funding Information: This research was supported by the MSIT( Ministry of Science and ICT ), Korea, under the ITRC(Information Technology Research Center) support program ( IITP-2017-0-01629 ) supervised by the IITP(Institute for Information & communications Technology Promotion). Funding Information: This work was supported by Institute for Information and communications Technology Promotion (IITP) grant funded by the Korea government(MSIT) (No. 2017-0-00655 ). Funding Information: This research was supported by the MSIT(Ministry of Science and ICT), Korea, under the ITRC(Information Technology Research Center) support program (IITP-2017-0-01629) supervised by the IITP(Institute for Information & communications Technology Promotion). This work was supported by Institute for Information and communications Technology Promotion(IITP) grant funded by the Korea government(MSIT) (No. 2017-0-00655). This research was supported by the MSIT(Ministry of Science and ICT), Korea, under the Grand Information Technology Research Center support program(IITP-2020-0-01489) supervised by the IITP(Institute for Information & communications Technology Planning & Evaluation), Moreover, this work was also supported by the National Research Foundation of Korea (NRF2017R1A2B2012337), in part by Sejong University Faculty Research Fund. The NRF funds NRF-2016K1A3A7A03951968 and NRF-2019R1A2C2090504 partially supported the resources for the project. The authors would like to acknowledge the support of the medical and IT staff of Shaukat Khanum Memorial Cancer Hospital and Research Center, Lahore, especially; Dr. Raza Hussain, Dr. Sadaf, Dr. Hassan Iqbal, Mr. Manzar Abass, and Mr. Idrees Khokhar. Publisher Copyright: {\textcopyright} 2020 Elsevier B.V.",
year = "2020",
month = dec,
doi = "10.1016/j.cmpb.2020.105701",
language = "English",
volume = "197",
journal = "Computer Methods and Programs in Biomedicine",
issn = "0169-2607",
publisher = "Elsevier",
}