{"id":"https://openalex.org/W2395444341","doi":"https://doi.org/10.1007/978-3-319-28007-3_19","title":"A Hybrid Approach to the Verification of Computer Interpretable Guidelines","display_name":"A Hybrid Approach to the Verification of Computer Interpretable Guidelines","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2395444341","doi":"https://doi.org/10.1007/978-3-319-28007-3_19","mag":"2395444341"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-28007-3_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-28007-3_19","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2318/1621043","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043355817","display_name":"Luca Anselma","orcid":"https://orcid.org/0000-0003-2292-6480"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Luca Anselma","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e1 di Torino, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e1 di Torino, Torino, Italy","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012918421","display_name":"Alessio Bottrighi","orcid":"https://orcid.org/0000-0001-9291-128X"},"institutions":[{"id":"https://openalex.org/I123338534","display_name":"Universit\u00e0 degli Studi del Piemonte Orientale \u201cAmedeo Avogadro\u201d","ror":"https://ror.org/04387x656","country_code":"IT","type":"education","lineage":["https://openalex.org/I123338534"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessio Bottrighi","raw_affiliation_strings":["DISIT, Computer Science Institute, University of Piemonte Orientale, Alessandria, Italy"],"affiliations":[{"raw_affiliation_string":"DISIT, Computer Science Institute, University of Piemonte Orientale, Alessandria, Italy","institution_ids":["https://openalex.org/I123338534"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002078119","display_name":"Laura Giordano","orcid":"https://orcid.org/0000-0001-9445-7770"},"institutions":[{"id":"https://openalex.org/I123338534","display_name":"Universit\u00e0 degli Studi del Piemonte Orientale \u201cAmedeo Avogadro\u201d","ror":"https://ror.org/04387x656","country_code":"IT","type":"education","lineage":["https://openalex.org/I123338534"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Laura Giordano","raw_affiliation_strings":["DISIT, Computer Science Institute, University of Piemonte Orientale, Alessandria, Italy"],"affiliations":[{"raw_affiliation_string":"DISIT, Computer Science Institute, University of Piemonte Orientale, Alessandria, Italy","institution_ids":["https://openalex.org/I123338534"]}]},{"author_position":"middle","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"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arjen Hommersom","raw_affiliation_strings":["Faculty of Management, Science and Technology, Open University, Heerlen, The Netherlands","Inst. for Computing and Inf. Sciences, Radboud University, Nijmegen, The Netherlands","Institute for Computing and Information Sciences, Radboud University, Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Faculty of Management, Science and Technology, Open University, Heerlen, The Netherlands","institution_ids":["https://openalex.org/I7876267"]},{"raw_affiliation_string":"Inst. for Computing and Inf. Sciences, Radboud University, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111846012","display_name":"Gianpaolo Molino","orcid":null},"institutions":[{"id":"https://openalex.org/I4210097265","display_name":"Azienda Ospedaliero Universitaria San Giovanni Battista","ror":"https://ror.org/00nrtez23","country_code":"IT","type":"healthcare","lineage":["https://openalex.org/I4210097265"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianpaolo Molino","raw_affiliation_strings":["Azienda Ospedaliera San Giovanni Battista, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Azienda Ospedaliera San Giovanni Battista, Torino, Italy","institution_ids":["https://openalex.org/I4210097265"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068568650","display_name":"Stefania Montani","orcid":"https://orcid.org/0000-0002-5992-6735"},"institutions":[{"id":"https://openalex.org/I123338534","display_name":"Universit\u00e0 degli Studi del Piemonte Orientale \u201cAmedeo Avogadro\u201d","ror":"https://ror.org/04387x656","country_code":"IT","type":"education","lineage":["https://openalex.org/I123338534"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stefania Montani","raw_affiliation_strings":["DISIT, Computer Science Institute, University of Piemonte Orientale, Alessandria, Italy"],"affiliations":[{"raw_affiliation_string":"DISIT, Computer Science Institute, University of Piemonte Orientale, Alessandria, Italy","institution_ids":["https://openalex.org/I123338534"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007745000","display_name":"Paolo Terenziani","orcid":"https://orcid.org/0000-0002-9014-7537"},"institutions":[{"id":"https://openalex.org/I123338534","display_name":"Universit\u00e0 degli Studi del Piemonte Orientale \u201cAmedeo Avogadro\u201d","ror":"https://ror.org/04387x656","country_code":"IT","type":"education","lineage":["https://openalex.org/I123338534"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paolo Terenziani","raw_affiliation_strings":["DISIT, Computer Science Institute, University of Piemonte Orientale, Alessandria, Italy"],"affiliations":[{"raw_affiliation_string":"DISIT, Computer Science Institute, University of Piemonte Orientale, Alessandria, Italy","institution_ids":["https://openalex.org/I123338534"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081277924","display_name":"Mauro Torchio","orcid":null},"institutions":[{"id":"https://openalex.org/I4210097265","display_name":"Azienda Ospedaliero Universitaria San Giovanni Battista","ror":"https://ror.org/00nrtez23","country_code":"IT","type":"healthcare","lineage":["https://openalex.org/I4210097265"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mauro Torchio","raw_affiliation_strings":["Azienda Ospedaliera San Giovanni Battista, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Azienda Ospedaliera San Giovanni Battista, Torino, Italy","institution_ids":["https://openalex.org/I4210097265"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5043355817"],"corresponding_institution_ids":["https://openalex.org/I55143463"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6184,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.71879343,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"287","last_page":"315"},"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.9883999824523926,"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.9883999824523926,"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.9883999824523926,"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/T10028","display_name":"Topic Modeling","score":0.984499990940094,"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/correctness","display_name":"Correctness","score":0.8928171396255493},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8550806641578674},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6345921754837036},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4940512478351593},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.44601067900657654},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4292905926704407},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36602699756622314},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19132104516029358},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.09264150261878967}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8928171396255493},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8550806641578674},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6345921754837036},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4940512478351593},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.44601067900657654},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4292905926704407},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36602699756622314},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19132104516029358},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.09264150261878967},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-319-28007-3_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-28007-3_19","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:iris.unito.it:2318/1621043","is_oa":true,"landing_page_url":"http://hdl.handle.net/2318/1621043","pdf_url":null,"source":{"id":"https://openalex.org/S4306400637","display_name":"Institutional Research Information System University of Turin (University of Turin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I55143463","host_organization_name":"University of Turin","host_organization_lineage":["https://openalex.org/I55143463"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/159604","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/159604","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hommersom, A.; Lucas, J.F.P. (ed.), Foundations of Biomedical Knowledge Representation: Methods and Applications, pp. 287-315","raw_type":"Part of book or chapter of book"},{"id":"pmh:oai:research.ou.nl:publications/59997792-8070-41ed-acd7-f172715f31c9","is_oa":false,"landing_page_url":"https://hdl.handle.net/1820/59997792-8070-41ed-acd7-f172715f31c9","pdf_url":null,"source":{"id":"https://openalex.org/S4406922485","display_name":"Open University of the Netherlands Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Anselma, L, Bottrighi, A, Giordano, L, Hommersom, A J, Molino, G, Montani, S, Terenziani, P & Torchio, M 2015, A Hybrid Approach to the Verification of Computer Interpretable Guidelines. in A Hommersom & P Lucas (eds), Foundations of Biomedical Knowledge Representation : Methods and Applications. Springer International Publishing, Cham, Lecture Notes in Computer Science, vol. 9521, Lecture Notes in Artificial Intelligence (subseries), vol. 9521, pp. 287-315. https://doi.org/10.1007/978-3-319-28007-3_19","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:ou:oai:research.ou.nl:publications/59997792-8070-41ed-acd7-f172715f31c9","is_oa":false,"landing_page_url":"https://research.ou.nl/en/publications/59997792-8070-41ed-acd7-f172715f31c9","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Foundations of Biomedical Knowledge Representation: Methods and Applications, 287 - 315","raw_type":"info:eu-repo/semantics/bookpart"}],"best_oa_location":{"id":"pmh:oai:iris.unito.it:2318/1621043","is_oa":true,"landing_page_url":"http://hdl.handle.net/2318/1621043","pdf_url":null,"source":{"id":"https://openalex.org/S4306400637","display_name":"Institutional Research Information System University of Turin (University of Turin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I55143463","host_organization_name":"University of Turin","host_organization_lineage":["https://openalex.org/I55143463"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4000000059604645,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W26397778","https://openalex.org/W31561947","https://openalex.org/W116450752","https://openalex.org/W1446829270","https://openalex.org/W1480862739","https://openalex.org/W1491731293","https://openalex.org/W1500937865","https://openalex.org/W1503170978","https://openalex.org/W1517360117","https://openalex.org/W1558351003","https://openalex.org/W1563950057","https://openalex.org/W1585529040","https://openalex.org/W1589243704","https://openalex.org/W1592888114","https://openalex.org/W1711530863","https://openalex.org/W1791364091","https://openalex.org/W1977970897","https://openalex.org/W1986327445","https://openalex.org/W1993480901","https://openalex.org/W1997003352","https://openalex.org/W2004879943","https://openalex.org/W2005765290","https://openalex.org/W2016449808","https://openalex.org/W2023774008","https://openalex.org/W2027804378","https://openalex.org/W2028652935","https://openalex.org/W2034264798","https://openalex.org/W2041517232","https://openalex.org/W2052451171","https://openalex.org/W2059424469","https://openalex.org/W2071044638","https://openalex.org/W2084943080","https://openalex.org/W2102908383","https://openalex.org/W2104279947","https://openalex.org/W2104933445","https://openalex.org/W2111401578","https://openalex.org/W2115309705","https://openalex.org/W2116189532","https://openalex.org/W2116628790","https://openalex.org/W2116981799","https://openalex.org/W2130182605","https://openalex.org/W2130455574","https://openalex.org/W2134991157","https://openalex.org/W2135128148","https://openalex.org/W2152244255","https://openalex.org/W2161484642","https://openalex.org/W2163383017","https://openalex.org/W2169491648","https://openalex.org/W2169569461","https://openalex.org/W2211424114","https://openalex.org/W2344671925","https://openalex.org/W2404723230","https://openalex.org/W3105758438","https://openalex.org/W4206370914","https://openalex.org/W6629823212"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1975570126","https://openalex.org/W2352015183"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}