{"id":"https://openalex.org/W7220166498","doi":null,"title":"Neurosymbolic Constraint Learning: A Short Survey","display_name":"Neurosymbolic Constraint Learning: A Short Survey","publication_year":2026,"publication_date":"2026-07-22","ids":{"openalex":"https://openalex.org/W7220166498"},"language":"en","primary_location":{"id":"pmh:oai:lirias2repo.kuleuven.be:20.500.12942/795170","doi":null,"is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/20.500.12942/795170","pdf_url":"https://lirias.kuleuven.be/retrieve/f61499a5-6a31-4f5a-946a-fd5b2ec87d3c","source":{"id":"https://openalex.org/S7407055369","display_name":"Lirias","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"20th Conference on Neurosymbolic Learning and Reasoning, Lisbon, 1-4 September 2026","raw_type":"info:eu-repo/semantics/conferenceObject"},"volume":null,"type":"conference-paper","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://lirias.kuleuven.be/retrieve/f61499a5-6a31-4f5a-946a-fd5b2ec87d3c","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5120092050","display_name":"Quinten Dewulf","orcid":null,"observed_orcids":[]},"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":"Dewulf, Quinten","raw_affiliation_strings":["KU Leuven , Dept. of Computer Science ; Leuven.AI , B-3000 Leuven , Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KU Leuven , Dept. of Computer Science ; Leuven.AI , B-3000 Leuven , Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120062660","display_name":"Annegret Seibt","orcid":null,"observed_orcids":[]},"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":"Seibt, Annegret","raw_affiliation_strings":["KU Leuven , Dept. of Computer Science ; Leuven.AI , B-3000 Leuven , Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KU Leuven , Dept. of Computer Science ; Leuven.AI , B-3000 Leuven , Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042656235","display_name":"Simon Odense","orcid":null,"observed_orcids":[]},"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":"Odense, Simon","raw_affiliation_strings":["KU Leuven , Dept. of Computer Science ; Leuven.AI , B-3000 Leuven , Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KU Leuven , Dept. of Computer Science ; Leuven.AI , B-3000 Leuven , Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085073547","display_name":"Zsolt Zombori","orcid":"https://orcid.org/0000-0001-8622-5304","observed_orcids":["https://orcid.org/0000-0001-8622-5304"]},"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":"Zombori, Zsolt","raw_affiliation_strings":["KU Leuven , Dept. of Computer Science ; Leuven.AI , B-3000 Leuven , Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KU Leuven , Dept. of Computer Science ; Leuven.AI , B-3000 Leuven , Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078136609","display_name":"Luc De Raedt","orcid":"https://orcid.org/0000-0002-6860-6303","observed_orcids":["https://orcid.org/0000-0002-6860-6303"]},"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":"De Raedt, Luc","raw_affiliation_strings":["KU Leuven , Dept. of Computer Science ; Leuven.AI , B-3000 Leuven , Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KU Leuven , Dept. of Computer Science ; Leuven.AI , B-3000 Leuven , Belgium","institution_ids":["https://openalex.org/I99464096"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I99464096"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.82630354,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.7842000126838684,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.7842000126838684,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.1412000060081482,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.016699999570846558,"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/neuro-symbolic-learning","display_name":"neuro-symbolic learning","score":0.8180000185966492},{"id":"https://openalex.org/keywords/constraint-learning","display_name":"constraint learning","score":0.9710000157356262},{"id":"https://openalex.org/keywords/neuro-symbolic-integration","display_name":"neural-symbolic integration","score":0.5360000133514404}],"concepts":[{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.7807999849319458},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6464999914169312},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5795999765396118},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5791000127792358},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5753999948501587},{"id":"https://openalex.org/C29230964","wikidata":"https://www.wikidata.org/wiki/Q5164376","display_name":"Constraint learning","level":5,"score":0.4675999879837036},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.4050000011920929},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3682999908924103},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.3580999970436096},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.33980000019073486},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.33799999952316284},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.334199994802475},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.301800012588501},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.29840001463890076},{"id":"https://openalex.org/C51632099","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Training set","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.2685999870300293},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:lirias2repo.kuleuven.be:20.500.12942/795170","doi":null,"is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/20.500.12942/795170","pdf_url":"https://lirias.kuleuven.be/retrieve/f61499a5-6a31-4f5a-946a-fd5b2ec87d3c","source":{"id":"https://openalex.org/S7407055369","display_name":"Lirias","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"20th Conference on Neurosymbolic Learning and Reasoning, Lisbon, 1-4 September 2026","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:lirias2repo.kuleuven.be:20.500.12942/795170","doi":null,"is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/20.500.12942/795170","pdf_url":"https://lirias.kuleuven.be/retrieve/f61499a5-6a31-4f5a-946a-fd5b2ec87d3c","source":{"id":"https://openalex.org/S7407055369","display_name":"Lirias","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"20th Conference on Neurosymbolic Learning and Reasoning, Lisbon, 1-4 September 2026","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G6713215214","display_name":"Neurosymbolic AI for Constraint Learning","funder_award_id":"G047124N","funder_id":"https://openalex.org/F4320321730","funder_display_name":"Fonds Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"},{"id":"https://openalex.org/F4320327336","display_name":"Vlaamse regering","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220166498.pdf","grobid_xml":"https://content.openalex.org/works/W7220166498.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7056576544","https://openalex.org/W7096065124","https://openalex.org/W7196933681","https://openalex.org/W7139291792","https://openalex.org/W7156979956","https://openalex.org/W7002197645","https://openalex.org/W7043551056","https://openalex.org/W2554560970","https://openalex.org/W6969188649","https://openalex.org/W4386710800"],"abstract_inverted_index":{"Constraint":[0],"learning":[1,45,54],"aims":[2],"to":[3,18,30],"induce":[4],"the":[5,25,59,85],"constraints":[6],"governing":[7],"a":[8,56],"combinatorial":[9],"problem":[10],"from":[11],"symbolic":[12,28,43,61],"examples,":[13],"rather":[14],"than":[15],"requiring":[16],"them":[17],"be":[19],"manually":[20],"specified.Recent":[21],"neurosymbolic":[22,52,66],"approaches":[23,67,73],"extend":[24],"traditional":[26],"purely":[27,60],"setting":[29,62],"examples":[31],"that":[32],"contain":[33],"subsymbolic":[34],"data,":[35],"such":[36],"as":[37,55],"images,":[38],"combining":[39],"neural":[40],"training":[41],"with":[42],"constraint":[44,53],"in":[46,84],"an":[47],"end-to-end":[48],"fashion.This":[49],"survey":[50],"introduces":[51],"generalization":[57],"of":[58],"and":[63,81],"positions":[64],"several":[65],"within":[68],"this":[69],"setting.By":[70],"comparing":[71],"these":[72],"along":[74],"five":[75],"key":[76],"dimensions,":[77],"we":[78],"identify":[79],"commonalities":[80],"methodological":[82],"trends":[83],"literature.":[86]},"counts_by_year":[],"updated_date":"2026-10-30T12:39:25.321706","created_date":"2026-10-05T00:00:00"}