{"id":"https://openalex.org/W129446902","doi":"https://doi.org/10.3233/978-1-60750-044-5-648","title":"A Formal Logical Framework for Cadiag-2","display_name":"A Formal Logical Framework for Cadiag-2","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W129446902","doi":"https://doi.org/10.3233/978-1-60750-044-5-648","mag":"129446902","pmid":"https://pubmed.ncbi.nlm.nih.gov/19745391"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-60750-044-5-648","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-60750-044-5-648","pdf_url":null,"source":{"id":"https://openalex.org/S4210179765","display_name":"Studies in health technology and informatics","issn_l":"0926-9630","issn":["0926-9630","1879-8365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studies in Health Technology and Informatics","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.3233/978-1-60750-044-5-648","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086733054","display_name":"Agata Ciabattoni","orcid":"https://orcid.org/0000-0001-6947-8772"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ciabattoni Agata","raw_affiliation_strings":["Institute for Discrete Mathematics and Geometry, Vienna University of Technology, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Discrete Mathematics and Geometry, Vienna University of Technology, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076628921","display_name":"Thomas Vetterlein","orcid":"https://orcid.org/0000-0003-0571-9551"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vetterlein Thomas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5008453675","display_name":"Klaus-Peter Adlassnig","orcid":"https://orcid.org/0009-0008-5046-1549"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Adlassnig Klaus-Peter","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.908,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.73935867,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"150","issue":null,"first_page":"648","last_page":"52"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9327999949455261,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9327999949455261,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T13702","display_name":"Machine Learning in Healthcare","score":0.9151999950408936,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6122480630874634},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5628007650375366},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.5609937906265259},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.5111728310585022},{"id":"https://openalex.org/keywords/formal-system","display_name":"Formal system","score":0.5027432441711426},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.49865150451660156},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4802975356578827},{"id":"https://openalex.org/keywords/medical-knowledge","display_name":"Medical knowledge","score":0.43233299255371094},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.41302600502967834},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37209492921829224},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33254218101501465},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.25053030252456665},{"id":"https://openalex.org/keywords/medical-education","display_name":"Medical education","score":0.10448187589645386}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6122480630874634},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5628007650375366},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.5609937906265259},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.5111728310585022},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.5027432441711426},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.49865150451660156},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4802975356578827},{"id":"https://openalex.org/C2985722590","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medical knowledge","level":2,"score":0.43233299255371094},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.41302600502967834},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37209492921829224},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33254218101501465},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.25053030252456665},{"id":"https://openalex.org/C509550671","wikidata":"https://www.wikidata.org/wiki/Q126945","display_name":"Medical education","level":1,"score":0.10448187589645386},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D003936","descriptor_name":"Diagnosis, Computer-Assisted","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D003936","descriptor_name":"Diagnosis, Computer-Assisted","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D003936","descriptor_name":"Diagnosis, Computer-Assisted","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D005103","descriptor_name":"Expert Systems","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D005103","descriptor_name":"Expert Systems","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D005103","descriptor_name":"Expert Systems","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D007388","descriptor_name":"Internal Medicine","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D007388","descriptor_name":"Internal Medicine","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D007388","descriptor_name":"Internal Medicine","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false}],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-60750-044-5-648","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-60750-044-5-648","pdf_url":null,"source":{"id":"https://openalex.org/S4210179765","display_name":"Studies in health technology and informatics","issn_l":"0926-9630","issn":["0926-9630","1879-8365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studies in Health Technology and Informatics","raw_type":"book-chapter"},{"id":"pmid:19745391","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/19745391","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studies in health technology and informatics","raw_type":null}],"best_oa_location":{"id":"doi:10.3233/978-1-60750-044-5-648","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-60750-044-5-648","pdf_url":null,"source":{"id":"https://openalex.org/S4210179765","display_name":"Studies in health technology and informatics","issn_l":"0926-9630","issn":["0926-9630","1879-8365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studies in Health Technology and Informatics","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W2048326507","https://openalex.org/W2071251420","https://openalex.org/W2096150188","https://openalex.org/W2110182592","https://openalex.org/W2202664689","https://openalex.org/W2912565176"],"related_works":["https://openalex.org/W2743849214","https://openalex.org/W2395092600","https://openalex.org/W4256616184","https://openalex.org/W2186155471","https://openalex.org/W632005469","https://openalex.org/W2000803355","https://openalex.org/W2921792786","https://openalex.org/W1752292405","https://openalex.org/W1830892038","https://openalex.org/W2388729575"],"abstract_inverted_index":{"Cadiag-2-where":[0],"\"Cadiag\"":[1],"stands":[2],"for":[3],"\"computer-assisted":[4],"diagnosis\"-":[5],"is":[6,26,65,85],"an":[7],"expert":[8],"system":[9],"based":[10],"on":[11],"fuzzy":[12],"logic":[13],"assisting":[14],"in":[15,19],"the":[16,58,77],"differential":[17],"diagnosis":[18],"internal":[20],"medicine.":[21],"With":[22],"its":[23],"aid,":[24],"it":[25],"possible":[27],"to":[28,66,76,89],"derive":[29],"from":[30],"possibly":[31],"vague":[32],"information":[33],"about":[34,46],"a":[35,54,68],"patient's":[36],"symptoms,":[37],"signs,":[38],"laboratory":[39],"test":[40],"results,":[41],"and":[42,83],"clinical":[43],"findings":[44],"conjectures":[45],"present":[47],"diseases.":[48],"In":[49],"this":[50],"paper,":[51],"we":[52],"provide":[53],"mathematical":[55],"formalization":[56],"of":[57,61,79,81,93],"inferential":[59],"mechanism":[60],"Cadiag-2.":[62],"The":[63],"aim":[64],"have":[67],"formal":[69],"logical":[70],"calculus":[71],"at":[72],"hand":[73],"which":[74,84],"corresponds":[75],"mode":[78],"operation":[80],"Cadiag-2":[82],"among":[86],"others":[87],"needed":[88],"perform":[90],"consistency":[91],"checking":[92],"Cadiag-2's":[94],"medical":[95],"knowledge":[96],"base.":[97]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}