{"id":"https://openalex.org/W3170011746","doi":"https://doi.org/10.1007/s10994-021-06013-7","title":"Inductive learning of answer set programs for autonomous surgical task planning","display_name":"Inductive learning of answer set programs for autonomous surgical task planning","publication_year":2021,"publication_date":"2021-06-15","ids":{"openalex":"https://openalex.org/W3170011746","doi":"https://doi.org/10.1007/s10994-021-06013-7","mag":"3170011746"},"language":"en","primary_location":{"id":"doi:10.1007/s10994-021-06013-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-021-06013-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-021-06013-7.pdf","source":{"id":"https://openalex.org/S62148650","display_name":"Machine Learning","issn_l":"0885-6125","issn":["0885-6125","1573-0565"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Machine Learning","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10994-021-06013-7.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082596393","display_name":"Daniele Meli","orcid":"https://orcid.org/0000-0002-3162-388X"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Daniele Meli","raw_affiliation_strings":["Department of Computer Science, University of Verona, strada Le Grazie 15, 37135, Verona, Italy"],"raw_orcid":"https://orcid.org/0000-0002-3162-388X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, strada Le Grazie 15, 37135, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019725446","display_name":"Mohan Sridharan","orcid":"https://orcid.org/0000-0001-9922-8969"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mohan Sridharan","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B152TT, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B152TT, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065107543","display_name":"Paolo Fiorini","orcid":"https://orcid.org/0000-0002-0711-8605"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paolo Fiorini","raw_affiliation_strings":["Department of Computer Science, University of Verona, strada Le Grazie 15, 37135, Verona, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, strada Le Grazie 15, 37135, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082596393"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":{"value":2990,"currency":"USD","value_usd":2990},"fwci":1.1726,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.82506527,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"110","issue":"7","first_page":"1739","last_page":"1763"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9939000010490417,"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.9901000261306763,"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.7131712436676025},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5790570974349976},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5715141296386719},{"id":"https://openalex.org/keywords/inductive-logic-programming","display_name":"Inductive logic programming","score":0.5129375457763672},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.44507747888565063},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4393239915370941},{"id":"https://openalex.org/keywords/multi-task-learning","display_name":"Multi-task learning","score":0.4279130697250366},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.42058518528938293},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3411652445793152},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10202357172966003}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7131712436676025},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5790570974349976},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5715141296386719},{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.5129375457763672},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.44507747888565063},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4393239915370941},{"id":"https://openalex.org/C28006648","wikidata":"https://www.wikidata.org/wiki/Q6934509","display_name":"Multi-task learning","level":3,"score":0.4279130697250366},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.42058518528938293},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3411652445793152},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10202357172966003},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s10994-021-06013-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-021-06013-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-021-06013-7.pdf","source":{"id":"https://openalex.org/S62148650","display_name":"Machine Learning","issn_l":"0885-6125","issn":["0885-6125","1573-0565"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Machine Learning","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:publications/21939163-6a87-4447-b141-fff727b0fd99","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/21939163-6a87-4447-b141-fff727b0fd99","pdf_url":"https://www.research.ed.ac.uk/files/430088911/Inductive_learning_MELI_DOA27052021_VOR_CC_BY.pdf","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Meli, D, Sridharan, M & Fiorini, P 2021, 'Inductive learning of answer set programs for autonomous surgical task planning : Application to a training task for surgeons', Machine Learning, vol. 110, no. 7, pp. 1739-1763. https://doi.org/10.1007/s10994-021-06013-7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/21939163-6a87-4447-b141-fff727b0fd99","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/21939163-6a87-4447-b141-fff727b0fd99","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Meli, D, Sridharan, M & Fiorini, P 2021, 'Inductive learning of answer set programs for autonomous surgical task planning : Application to a training task for surgeons', Machine Learning, vol. 110, no. 7, pp. 1739-1763. https://doi.org/10.1007/s10994-021-06013-7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:zenodo.org:80787","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/80787","pdf_url":null,"source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"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/article"}],"best_oa_location":{"id":"doi:10.1007/s10994-021-06013-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-021-06013-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-021-06013-7.pdf","source":{"id":"https://openalex.org/S62148650","display_name":"Machine Learning","issn_l":"0885-6125","issn":["0885-6125","1573-0565"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Machine Learning","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7799999713897705,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G4089993794","display_name":null,"funder_award_id":"742671","funder_id":"https://openalex.org/F4320335254","funder_display_name":"Horizon 2020"},{"id":"https://openalex.org/G434337789","display_name":null,"funder_award_id":"HORIZON2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320324120","display_name":"Universit\u00e0 degli Studi di Verona","ror":"https://ror.org/039bp8j42"},{"id":"https://openalex.org/F4320335254","display_name":"Horizon 2020","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3170011746.pdf","grobid_xml":"https://content.openalex.org/works/W3170011746.grobid-xml"},"referenced_works_count":54,"referenced_works":["https://openalex.org/W80505390","https://openalex.org/W228104253","https://openalex.org/W1489641494","https://openalex.org/W1500684598","https://openalex.org/W1517956470","https://openalex.org/W1552549180","https://openalex.org/W1582583989","https://openalex.org/W2009605580","https://openalex.org/W2016545368","https://openalex.org/W2045983800","https://openalex.org/W2047434003","https://openalex.org/W2065883524","https://openalex.org/W2078843353","https://openalex.org/W2114462967","https://openalex.org/W2137126099","https://openalex.org/W2143004430","https://openalex.org/W2145359186","https://openalex.org/W2146481048","https://openalex.org/W2149253903","https://openalex.org/W2213239865","https://openalex.org/W2222269984","https://openalex.org/W2247125476","https://openalex.org/W2395903764","https://openalex.org/W2417398738","https://openalex.org/W2520858206","https://openalex.org/W2530598003","https://openalex.org/W2538822334","https://openalex.org/W2598070036","https://openalex.org/W2736057823","https://openalex.org/W2736730521","https://openalex.org/W2745881055","https://openalex.org/W2793662597","https://openalex.org/W2807620773","https://openalex.org/W2902824964","https://openalex.org/W2919658942","https://openalex.org/W2940813702","https://openalex.org/W2945252250","https://openalex.org/W2962832719","https://openalex.org/W2963601972","https://openalex.org/W2964073874","https://openalex.org/W2969147026","https://openalex.org/W2985257580","https://openalex.org/W2994667977","https://openalex.org/W3016521739","https://openalex.org/W3042353022","https://openalex.org/W3090839501","https://openalex.org/W3093827826","https://openalex.org/W3100943374","https://openalex.org/W3130448017","https://openalex.org/W3161431790","https://openalex.org/W3198616842","https://openalex.org/W4211177236","https://openalex.org/W4255373292","https://openalex.org/W6608868819"],"related_works":["https://openalex.org/W2978856588","https://openalex.org/W2995623605","https://openalex.org/W2953272728","https://openalex.org/W1501498539","https://openalex.org/W1558569658","https://openalex.org/W2468509525","https://openalex.org/W1494464412","https://openalex.org/W2183608076","https://openalex.org/W3102747178","https://openalex.org/W1587378402"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"quality":[2],"of":[3,12,57,75,92,130,147,163,183],"robot-assisted":[4,37],"surgery":[5,38],"can":[6,15],"be":[7,16,71],"improved":[8],"and":[9,21,47,60,66,132],"the":[10,24,51,58,61,76,90,117,127,150,161,169,181,189,196,201,205,214],"use":[11],"hospital":[13],"resources":[14],"optimized":[17],"by":[18],"enhancing":[19],"autonomy":[20],"reliability":[22],"in":[23,36,50,192],"robot\u2019s":[25],"operation.":[26],"Logic":[27],"programming":[28,95],"is":[29,63,219],"a":[30,112,156,164],"good":[31],"choice":[32],"for":[33,96,111,159,221],"task":[34,59,167],"planning":[35],"because":[39],"it":[40,67],"supports":[41],"reliable":[42,222],"reasoning":[43],"with":[44,177,195,200],"domain":[45,62,102],"knowledge":[46,56,175],"increases":[48],"transparency":[49],"decision":[52],"making.":[53],"However,":[54],"prior":[55],"typically":[64],"incomplete,":[65],"often":[68],"needs":[69],"to":[70,81,134,213],"refined":[72],"from":[73],"executions":[74],"surgical":[77,114],"task(s)":[78],"under":[79,107,149,168],"consideration":[80],"avoid":[82],"sub-optimal":[83],"performance.":[84],"In":[85,180],"this":[86],"paper,":[87],"we":[88,187],"investigate":[89],"applicability":[91],"inductive":[93],"logic":[94],"learning":[97,126,160],"previously":[98],"unknown":[99],"axioms":[100,137,198,207],"governing":[101],"dynamics.":[103],"We":[104,120,154],"do":[105],"so":[106],"answer":[108,170],"set":[109,171],"semantics":[110],"benchmark":[113],"training":[115],"task,":[116],"ring":[118],"transfer.":[119],"extend":[121],"our":[122],"previous":[123],"work":[124],"on":[125],"immediate":[128],"preconditions":[129],"actions":[131,148],"constraints,":[133],"also":[135],"learn":[136],"encoding":[138],"arbitrary":[139],"temporal":[140],"delays":[141],"between":[142],"atoms":[143],"that":[144],"are":[145],"effects":[146],"event":[151],"calculus":[152],"formalism.":[153],"propose":[155],"systematic":[157],"approach":[158],"specifications":[162],"generic":[165],"robotic":[166],"semantics,":[172],"allowing":[173],"easy":[174],"refinement":[176],"iterative":[178],"learning.":[179],"context":[182],"1000":[184],"simulated":[185],"scenarios,":[186],"demonstrate":[188],"significant":[190],"improvement":[191],"performance":[193,224],"obtained":[194],"learned":[197,206],"compared":[199],"hand-written":[202],"ones;":[203],"specifically,":[204],"address":[208],"some":[209],"critical":[210],"issues":[211],"related":[212],"plan":[215],"computation":[216],"time,":[217],"which":[218],"promising":[220],"real-time":[223],"during":[225],"surgery.":[226]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}