{"id":"https://openalex.org/W2042793632","doi":"https://doi.org/10.1017/s1471068408003451","title":"Checking the quality of clinical guidelines using automated reasoning tools","display_name":"Checking the quality of clinical guidelines using automated reasoning tools","publication_year":2008,"publication_date":"2008-11-01","ids":{"openalex":"https://openalex.org/W2042793632","doi":"https://doi.org/10.1017/s1471068408003451","mag":"2042793632"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068408003451","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.ubn.ru.nl/bitstream/handle/2066/71900/1/71900pre.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067441776","display_name":"Arjen Hommersom","orcid":"https://orcid.org/0000-0003-0125-1680"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"ARJEN HOMMERSOM","raw_affiliation_strings":["Section on model-based system development, institute for computing and information sciences, radboud university nijmegen, po box 9010, 6500 gl nijmegen, the netherlands (e-mail: arjenh@cs.ru.nl, p ...#TAB#"],"affiliations":[{"raw_affiliation_string":"Section on model-based system development, institute for computing and information sciences, radboud university nijmegen, po box 9010, 6500 gl nijmegen, the netherlands (e-mail: arjenh@cs.ru.nl, p ...#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007761892","display_name":"Peter Lucas","orcid":"https://orcid.org/0000-0001-5454-2428"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"PETER J. F. LUCAS","raw_affiliation_strings":["Section on model-based system development, institute for computing and information sciences, radboud university nijmegen, po box 9010, 6500 gl nijmegen, the netherlands (e-mail: arjenh@cs.ru.nl, p ...#TAB#"],"affiliations":[{"raw_affiliation_string":"Section on model-based system development, institute for computing and information sciences, radboud university nijmegen, po box 9010, 6500 gl nijmegen, the netherlands (e-mail: arjenh@cs.ru.nl, p ...#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112517117","display_name":"P. van Bommel","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"PATRICK VAN BOMMEL","raw_affiliation_strings":["Section on model-based system development, institute for computing and information sciences, radboud university nijmegen, po box 9010, 6500 gl nijmegen, the netherlands (e-mail: arjenh@cs.ru.nl, p ...#TAB#"],"affiliations":[{"raw_affiliation_string":"Section on model-based system development, institute for computing and information sciences, radboud university nijmegen, po box 9010, 6500 gl nijmegen, the netherlands (e-mail: arjenh@cs.ru.nl, p ...#TAB#","institution_ids":["https://openalex.org/I145872427"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.513,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":17,"citation_normalized_percentile":{"value":0.888716,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":88},"biblio":{"volume":"8","issue":"5-6","first_page":"611","last_page":"641"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.999,"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"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.999,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9977,"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"}},{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9932,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/guideline","display_name":"Guideline","score":0.6231489},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.50410235},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.5006182},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.41209227}],"concepts":[{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.83210146},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.78996897},{"id":"https://openalex.org/C2780182762","wikidata":"https://www.wikidata.org/wiki/Q1630279","display_name":"Guideline","level":2,"score":0.6231489},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.5386993},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.50410235},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.5006182},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.45667785},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4393125},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.41209227},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3709426},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34004527},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.17836002},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.14545122},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12008867},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.10370332},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068408003451","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hdl.handle.net/2066/71900","pdf_url":"https://repository.ubn.ru.nl/bitstream/handle/2066/71900/1/71900pre.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":["Royal Netherlands Academy of Arts and Sciences"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.160.897","pdf_url":"http://www.cs.ru.nl/~peterl/quali-checking-TPLP2008.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/0806.0250","pdf_url":"http://arxiv.org/pdf/0806.0250","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://repository.ubn.ru.nl//bitstream/handle/2066/71900/71900pre.pdf","pdf_url":"https://repository.ubn.ru.nl//bitstream/handle/2066/71900/71900pre.pdf","source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":["Radboud University Nijmegen"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hdl.handle.net/2066/71900","pdf_url":"https://repository.ubn.ru.nl/bitstream/handle/2066/71900/1/71900pre.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":["Royal Netherlands Academy of Arts and Sciences"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/3","score":0.54,"display_name":"Good health and well-being"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":69,"referenced_works":["https://openalex.org/W1480711285","https://openalex.org/W1484595744","https://openalex.org/W1485332185","https://openalex.org/W1491731293","https://openalex.org/W1500937865","https://openalex.org/W1533795866","https://openalex.org/W1535742555","https://openalex.org/W1545815294","https://openalex.org/W1549122259","https://openalex.org/W1557840622","https://openalex.org/W1570739889","https://openalex.org/W1579319924","https://openalex.org/W1582842241","https://openalex.org/W1586617399","https://openalex.org/W1597018937","https://openalex.org/W1661099014","https://openalex.org/W1723714545","https://openalex.org/W1756713414","https://openalex.org/W1766332311","https://openalex.org/W1806291698","https://openalex.org/W1813120635","https://openalex.org/W182399388","https://openalex.org/W1878249060","https://openalex.org/W1968386045","https://openalex.org/W1972956465","https://openalex.org/W1977220278","https://openalex.org/W1977970897","https://openalex.org/W1979472512","https://openalex.org/W1983113859","https://openalex.org/W1989319738","https://openalex.org/W2011184850","https://openalex.org/W2016449808","https://openalex.org/W2022803440","https://openalex.org/W2023391568","https://openalex.org/W2028652935","https://openalex.org/W2036335871","https://openalex.org/W2038569232","https://openalex.org/W2044315048","https://openalex.org/W2047922146","https://openalex.org/W2056453221","https://openalex.org/W2057361103","https://openalex.org/W2057630596","https://openalex.org/W205991341","https://openalex.org/W2062897452","https://openalex.org/W2071032932","https://openalex.org/W2071044638","https://openalex.org/W2081274355","https://openalex.org/W2081922851","https://openalex.org/W2092911568","https://openalex.org/W2102279958","https://openalex.org/W2111401578","https://openalex.org/W2111838686","https://openalex.org/W2112601936","https://openalex.org/W2128170995","https://openalex.org/W2134046100","https://openalex.org/W2134567445","https://openalex.org/W2135157700","https://openalex.org/W2160206180","https://openalex.org/W2161484642","https://openalex.org/W2166485949","https://openalex.org/W2219374851","https://openalex.org/W2260769207","https://openalex.org/W2545252775","https://openalex.org/W2612211757","https://openalex.org/W2773457572","https://openalex.org/W3150599459","https://openalex.org/W4230833689","https://openalex.org/W4301434501","https://openalex.org/W4387892784"],"related_works":["https://openalex.org/W4313479320","https://openalex.org/W4246350535","https://openalex.org/W3105824395","https://openalex.org/W2885010049","https://openalex.org/W2809689211","https://openalex.org/W260563712","https://openalex.org/W2479603923","https://openalex.org/W2186811365","https://openalex.org/W197813433","https://openalex.org/W162260173"],"abstract_inverted_index":{"Abstract":[0],"Requirements":[1],"about":[2],"the":[3,15,25,59,85,90],"quality":[4,91,107],"of":[5,17,61,76,92,108],"clinical":[6],"guidelines":[7],"can":[8,39,55,95],"be":[9,40,56,96],"represented":[10],"by":[11],"schemata":[12],"borrowed":[13],"from":[14],"theory":[16],"abductive":[18],"diagnosis,":[19],"using":[20,42],"temporal":[21],"logic":[22],"to":[23,58,98],"model":[24],"time-oriented":[26],"aspects":[27],"expressed":[28],"in":[29,118],"a":[30,62,68,93,100],"guideline.":[31],"Previously,":[32],"we":[33,50],"have":[34],"shown":[35,83],"that":[36,71,84],"these":[37],"requirements":[38],"verified":[41],"interactive":[43],"theorem":[44,64],"proving":[45],"techniques.":[46],"In":[47],"this":[48,53,119],"paper,":[49],"investigate":[51],"how":[52],"approach":[54],"mapped":[57,97],"facilities":[60],"resolution-based":[63],"prover,":[65],"otter":[66],"and":[67],"complementary":[69],"program":[70],"searches":[72],"for":[73,88],"finite":[74],"models":[75],"first-order":[77],"statements,":[78],"mace":[79],"-2.":[80],"It":[81],"is":[82,116],"reasoning":[86],"required":[87],"checking":[89],"guideline":[94,111],"such":[99],"fully":[101],"automated":[102],"theorem-proving":[103],"facilities.":[104],"The":[105],"medical":[106],"an":[109],"actual":[110],"concerning":[112],"diabetes":[113],"mellitus":[114],"2":[115],"investigated":[117],"way.":[120]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2042793632","counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2024-12-11T19:37:41.046632","created_date":"2016-06-24"}