{"id":"https://openalex.org/W3088833813","doi":"https://doi.org/10.1007/978-3-030-59137-3_38","title":"A Verified, Executable Formalism for Resilient and Pervasive Guideline-Based Decision Support for Patients","display_name":"A Verified, Executable Formalism for Resilient and Pervasive Guideline-Based Decision Support for Patients","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3088833813","doi":"https://doi.org/10.1007/978-3-030-59137-3_38","mag":"3088833813"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-59137-3_38","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-59137-3_38","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":"https://research.utwente.nl/en/publications/714811cd-6bf6-4d5e-bef2-018199961750","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082525353","display_name":"Nick L. S. Fung","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Nick L. S. Fung","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048873485","display_name":"Marten van Sinderen","orcid":"https://orcid.org/0000-0001-7118-1353"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marten J. van Sinderen","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107904800","display_name":"Valerie M. Jones","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Valerie M. Jones","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012753135","display_name":"Hermie Hermens","orcid":"https://orcid.org/0000-0002-3065-3876"},"institutions":[{"id":"https://openalex.org/I4210104520","display_name":"Roessingh Research and Development","ror":"https://ror.org/01dmjt679","country_code":"NL","type":"nonprofit","lineage":["https://openalex.org/I4210104520"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Hermie J. Hermens","raw_affiliation_strings":["Roessingh Research and Development, Enschede, The Netherlands","University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Roessingh Research and Development, Enschede, The Netherlands","institution_ids":["https://openalex.org/I4210104520"]},{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5082525353"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20725567,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"427","last_page":"439"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11678","display_name":"Healthcare Decision-Making and Restraints","score":0.9911999702453613,"subfield":{"id":"https://openalex.org/subfields/3203","display_name":"Clinical Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11678","display_name":"Healthcare Decision-Making and Restraints","score":0.9911999702453613,"subfield":{"id":"https://openalex.org/subfields/3203","display_name":"Clinical Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12308","display_name":"Mental Health and Psychiatry","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10804","display_name":"Health Systems, Economic Evaluations, Quality of Life","score":0.9804999828338623,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.860304057598114},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8384882211685181},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.7396250367164612},{"id":"https://openalex.org/keywords/guideline","display_name":"Guideline","score":0.5520980358123779},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45971396565437317},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3481255769729614},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.0781291127204895}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.860304057598114},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8384882211685181},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.7396250367164612},{"id":"https://openalex.org/C2780182762","wikidata":"https://www.wikidata.org/wiki/Q1630279","display_name":"Guideline","level":2,"score":0.5520980358123779},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45971396565437317},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3481255769729614},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0781291127204895},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-030-59137-3_38","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-59137-3_38","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:ris.utwente.nl:openaire_cris_publications/714811cd-6bf6-4d5e-bef2-018199961750","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/714811cd-6bf6-4d5e-bef2-018199961750","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fung, N L S, van Sinderen, M J, Jones, V M & Hermens, H J 2020, A Verified, Executable Formalism for Resilient and Pervasive Guideline-Based Decision Support for Patients. in M Michalowski & R Moskovitch (eds), Artificial Intelligence in Medicine : 18th International Conference on Artificial Intelligence in Medicine, AIME 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12299 LNAI, Springer, pp. 427-439, 18th International Conference on Artificial Intelligence in Medicine, AIME 2020, Virtual Conference, United States, 25/08/20. https://doi.org/10.1007/978-3-030-59137-3_38","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/714811cd-6bf6-4d5e-bef2-018199961750","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/714811cd-6bf6-4d5e-bef2-018199961750","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fung, N L S, van Sinderen, M J, Jones, V M & Hermens, H J 2020, A Verified, Executable Formalism for Resilient and Pervasive Guideline-Based Decision Support for Patients. in M Michalowski & R Moskovitch (eds), Artificial Intelligence in Medicine : 18th International Conference on Artificial Intelligence in Medicine, AIME 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12299 LNAI, Springer, pp. 427-439, 18th International Conference on Artificial Intelligence in Medicine, AIME 2020, Virtual Conference, United States, 25/08/20. https://doi.org/10.1007/978-3-030-59137-3_38","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1603806745","https://openalex.org/W1925995582","https://openalex.org/W1970968909","https://openalex.org/W1987800979","https://openalex.org/W2126832011","https://openalex.org/W2140485070","https://openalex.org/W2163671349","https://openalex.org/W2227659832","https://openalex.org/W2592551226","https://openalex.org/W2592861396"],"related_works":["https://openalex.org/W2350278424","https://openalex.org/W2071432835","https://openalex.org/W4239401009","https://openalex.org/W4234371507","https://openalex.org/W1628824497","https://openalex.org/W82161441","https://openalex.org/W3171711337","https://openalex.org/W1576042299","https://openalex.org/W2181943964","https://openalex.org/W1528423264"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-03-16T09:10:04.655348","created_date":"2025-10-10T00:00:00"}