{"id":"https://openalex.org/W7162558695","doi":"https://doi.org/10.48550/arxiv.2605.26828","title":"Learning Compositional Symbolic Task Rules from Demonstrations with Inductive Logic Programming","display_name":"Learning Compositional Symbolic Task Rules from Demonstrations with Inductive Logic Programming","publication_year":2026,"publication_date":"2026-05-26","ids":{"openalex":"https://openalex.org/W7162558695","doi":"https://doi.org/10.48550/arxiv.2605.26828"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.26828","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.26828","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.26828","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5137186400","display_name":"Oleh Borys","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Borys, Oleh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5065125599","display_name":"Karla \u0160t\u011bp\u00e1nov\u00e1","orcid":"https://orcid.org/0000-0003-4239-2092"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stepanova, Karla","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.35600000619888306,"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.35600000619888306,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.07400000095367432,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.06499999761581421,"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/inductive-logic-programming","display_name":"Inductive logic programming","score":0.9165999889373779},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.7710999846458435},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.73580002784729},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.6940000057220459},{"id":"https://openalex.org/keywords/programming-by-demonstration","display_name":"Programming by demonstration","score":0.5938000082969666},{"id":"https://openalex.org/keywords/multi-task-learning","display_name":"Multi-task learning","score":0.5861999988555908},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4471000134944916},{"id":"https://openalex.org/keywords/inductive-bias","display_name":"Inductive bias","score":0.42149999737739563}],"concepts":[{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.9165999889373779},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.7710999846458435},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7609999775886536},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.73580002784729},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6940000057220459},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6532999873161316},{"id":"https://openalex.org/C2779038628","wikidata":"https://www.wikidata.org/wiki/Q7248497","display_name":"Programming by demonstration","level":3,"score":0.5938000082969666},{"id":"https://openalex.org/C28006648","wikidata":"https://www.wikidata.org/wiki/Q6934509","display_name":"Multi-task learning","level":3,"score":0.5861999988555908},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4471000134944916},{"id":"https://openalex.org/C197352929","wikidata":"https://www.wikidata.org/wiki/Q1074074","display_name":"Inductive bias","level":4,"score":0.42149999737739563},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.4169999957084656},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3725000023841858},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.35569998621940613},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.3463999927043915},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3257000148296356},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.3116999864578247},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.289900004863739},{"id":"https://openalex.org/C21563000","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive reasoning","level":2,"score":0.2842999994754791},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2797999978065491},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.2761000096797943},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.2517000138759613}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.26828","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.26828","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.26828","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.26828","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Learning":[0],"from":[1,75],"Demonstration~(LfD)":[2],"should":[3],"capture":[4],"not":[5],"only":[6],"how":[7,42],"a":[8,55,59,95,127],"task":[9,16,29,57,88],"is":[10,126],"executed,":[11],"but":[12],"also":[13],"its":[14],"high-level":[15],"structure":[17],"that":[18,101,123],"explains":[19],"the":[20,92,102],"demonstrated":[21],"behavior.":[22],"As":[23],"robots":[24],"become":[25],"more":[26],"autonomous,":[27],"such":[28],"representations":[30],"must":[31],"be":[32],"inspectable,":[33],"reusable,":[34],"and":[35,45,77,81,99,107],"human-interpretable.":[36],"To":[37],"address":[38],"this,":[39],"we":[40],"study":[41],"to":[43,111,130],"represent":[44],"learn":[46],"robotic":[47],"tasks":[48,114],"with":[49,115],"inductive":[50],"logic":[51],"programming~(ILP)":[52],"by":[53],"decomposing":[54],"complex":[56],"into":[58],"series":[60],"of":[61],"simpler":[62],"learning":[63,86],"objectives":[64],"at":[65],"different":[66],"abstraction":[67],"(ontological)":[68],"levels.":[69],"The":[70],"system":[71],"infers":[72],"symbolic":[73],"rules":[74,84],"demonstrations":[76],"prior":[78],"(domain)":[79],"knowledge,":[80],"reuses":[82],"learned":[83,103],"when":[85],"higher-level":[87],"structure.":[89],"We":[90],"evaluate":[91],"approach":[93,129],"in":[94],"synthetic":[96],"block-assembly":[97],"scenario":[98],"show":[100],"abstractions":[104],"are":[105],"interpretable":[106],"support":[108],"strong":[109],"generalization":[110],"harder,":[112],"held-out":[113],"unseen":[116],"objects.":[117],"These":[118],"results":[119],"provide":[120],"preliminary":[121],"evidence":[122],"decomposed":[124],"ILP":[125],"feasible":[128],"task-level":[131],"LfD.":[132]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-28T00:00:00"}