{"id":"https://openalex.org/W4403792940","doi":"https://doi.org/10.24963/kr.2024/91","title":"Automated Reasoning in Systems Biology: A Necessity for Precision Medicine","display_name":"Automated Reasoning in Systems Biology: A Necessity for Precision Medicine","publication_year":2024,"publication_date":"2024-10-26","ids":{"openalex":"https://openalex.org/W4403792940","doi":"https://doi.org/10.24963/kr.2024/91"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2024/91","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/91","pdf_url":"https://proceedings.kr.org/2024/91/kr2024-0091-zuidberg-dos-martires-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2024/91/kr2024-0091-zuidberg-dos-martires-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002794832","display_name":"Pedro Zuidberg Dos Martires","orcid":"https://orcid.org/0000-0001-5834-0188"},"institutions":[{"id":"https://openalex.org/I26437253","display_name":"\u00d6rebro University","ror":"https://ror.org/05kytsw45","country_code":"SE","type":"education","lineage":["https://openalex.org/I26437253"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Pedro Zuidberg Dos Martires","raw_affiliation_strings":["\u00d6rebro University, Center for Applied Autonomous Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00d6rebro University, Center for Applied Autonomous Systems","institution_ids":["https://openalex.org/I26437253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044338241","display_name":"Vincent Derkinderen","orcid":"https://orcid.org/0000-0002-8894-270X"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Vincent Derkinderen","raw_affiliation_strings":["KU Leuven"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KU Leuven","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078136609","display_name":"Luc De Raedt","orcid":"https://orcid.org/0000-0002-6860-6303"},"institutions":[{"id":"https://openalex.org/I26437253","display_name":"\u00d6rebro University","ror":"https://ror.org/05kytsw45","country_code":"SE","type":"education","lineage":["https://openalex.org/I26437253"]},{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE","SE"],"is_corresponding":false,"raw_author_name":"Luc De Raedt","raw_affiliation_strings":["KU Leuven","\u00d6rebro University, Center for Applied Autonomous Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KU Leuven","institution_ids":["https://openalex.org/I99464096"]},{"raw_affiliation_string":"\u00d6rebro University, Center for Applied Autonomous Systems","institution_ids":["https://openalex.org/I26437253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067310765","display_name":"Marcus Krantz","orcid":"https://orcid.org/0000-0001-7843-8342"},"institutions":[{"id":"https://openalex.org/I26437253","display_name":"\u00d6rebro University","ror":"https://ror.org/05kytsw45","country_code":"SE","type":"education","lineage":["https://openalex.org/I26437253"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Marcus Krantz","raw_affiliation_strings":["\u00d6rebro University, School of Medical Sciences"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00d6rebro University, School of Medical Sciences","institution_ids":["https://openalex.org/I26437253"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22020262,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"974","last_page":"980"},"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.9686999917030334,"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.9686999917030334,"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/computer-science","display_name":"Computer science","score":0.6158872842788696},{"id":"https://openalex.org/keywords/precision-medicine","display_name":"Precision medicine","score":0.5082213878631592},{"id":"https://openalex.org/keywords/systems-biology","display_name":"Systems biology","score":0.48504847288131714},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.4550101161003113},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34391283988952637},{"id":"https://openalex.org/keywords/computational-biology","display_name":"Computational biology","score":0.20964646339416504},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.12960773706436157},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.12455803155899048}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6158872842788696},{"id":"https://openalex.org/C163763905","wikidata":"https://www.wikidata.org/wiki/Q17075943","display_name":"Precision medicine","level":2,"score":0.5082213878631592},{"id":"https://openalex.org/C152662350","wikidata":"https://www.wikidata.org/wiki/Q815297","display_name":"Systems biology","level":2,"score":0.48504847288131714},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4550101161003113},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34391283988952637},{"id":"https://openalex.org/C70721500","wikidata":"https://www.wikidata.org/wiki/Q177005","display_name":"Computational biology","level":1,"score":0.20964646339416504},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.12960773706436157},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.12455803155899048},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2024/91","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/91","pdf_url":"https://proceedings.kr.org/2024/91/kr2024-0091-zuidberg-dos-martires-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2024/91","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/91","pdf_url":"https://proceedings.kr.org/2024/91/kr2024-0091-zuidberg-dos-martires-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3827193553","display_name":null,"funder_award_id":"952215","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403792940.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2594573607"],"abstract_inverted_index":{"Recent":[0],"developments":[1],"in":[2,108,127,202,242],"AI":[3,13,29],"have":[4,34,101],"reinvigorated":[5],"pursuits":[6],"to":[7,20,42,48,54,70,76,117,177,187,198,208,236],"advance":[8,170],"the":[9,31,59,79,87,121,128,143,159,171,191,200,209,243],"(life)":[10],"sciences":[11,33],"using":[12,120],"techniques,":[14,39],"thereby":[15,182],"creating":[16],"a":[17,62,150,238],"renewed":[18],"opportunity":[19],"bridge":[21],"different":[22],"fields":[23,88],"and":[24,30,93,132,156,181],"find":[25],"synergies.":[26],"Headlines":[27],"for":[28,40,58,78,154],"life":[32],"been":[35,102],"dominated":[36],"by":[37,133,174,204],"data-driven":[38],"instance,":[41],"solve":[43],"protein":[44],"folding":[45],"with":[46,136,215],"next":[47],"no":[49],"expert":[50,66],"knowledge.":[51],"In":[52],"contrast":[53],"this,":[55],"we":[56,84,162,194],"argue":[57,85,163],"necessity":[60],"of":[61,65,81,89,146,211],"formal":[63,144],"representation":[64,91,145],"knowledge":[67,90,124,148],"--":[68],"either":[69],"develop":[71],"explicit":[72],"scientific":[73,113,185],"theories":[74],"or":[75,224],"compensate":[77],"lack":[80],"data.":[82,226],"Specifically,":[83],"that":[86,100,111,164,229],"(KR)":[92],"systems":[94],"biology":[95],"(SysBio)":[96],"exhibit":[97],"important":[98],"overlaps":[99],"largely":[103],"ignored":[104],"so":[105],"far.":[106],"This,":[107],"turn,":[109],"means":[110],"relevant":[112],"questions":[114,186],"are":[115],"ready":[116],"be":[118,188],"answered":[119],"right":[122,129],"domain":[123,147],"(SysBio),":[125],"encoded":[126],"way":[130],"(SysBio/KR),":[131],"combining":[134],"it":[135,176],"modern":[137],"automated":[138],"reasoning":[139,179],"tools":[140,180],"(KR).":[141],"Hence,":[142],"is":[149,234],"natural":[151],"meeting":[152],"place":[153],"SysBio":[155,173],"KR.":[157],"On":[158,190],"one":[160],"hand,":[161,193],"such":[165],"an":[166],"interdisciplinary":[167,232],"approach":[168],"will":[169],"field":[172,210],"exposing":[175],"industrial-grade":[178],"allowing":[183],"novel":[184],"tackled.":[189],"other":[192],"see":[195],"ample":[196],"opportunities":[197],"move":[199],"state-of-the-art":[201],"KR":[203,206],"tailoring":[205],"methods":[207],"SysBio,":[212],"which":[213],"comes":[214],"challenging":[216],"problem":[217],"characteristics,":[218],"e.g.,":[219],"scale,":[220],"partial":[221],"knowledge,":[222],"noise,":[223],"sub-symbolic":[225],"We":[227],"stipulate":[228],"this":[230],"proposed":[231],"research":[233],"necessary":[235],"attain":[237],"prominent":[239],"long-term":[240],"goal":[241],"health":[244],"sciences:":[245],"precision":[246],"medicine.":[247]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}