{"id":"https://openalex.org/W4385584492","doi":"https://doi.org/10.3233/faia230154","title":"Chapter 22. Semantic Loss Functions for Neuro-Symbolic Structured Prediction","display_name":"Chapter 22. Semantic Loss Functions for Neuro-Symbolic Structured Prediction","publication_year":2023,"publication_date":"2023-07-21","ids":{"openalex":"https://openalex.org/W4385584492","doi":"https://doi.org/10.3233/faia230154"},"language":"en","primary_location":{"id":"doi:10.3233/faia230154","is_oa":false,"landing_page_url":"http://dx.doi.org/10.3233/faia230154","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047159406","display_name":"Kareem Ahmed","orcid":"https://orcid.org/0000-0002-1252-8625"},"institutions":[{"id":"https://openalex.org/I2799798094","display_name":"UCLA Health","ror":"https://ror.org/01d88se56","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I2799798094"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kareem Ahmed","raw_affiliation_strings":["UCLA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UCLA","institution_ids":["https://openalex.org/I2799798094"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001174680","display_name":"Stefano Teso","orcid":"https://orcid.org/0000-0002-2340-9461"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stefano Teso","raw_affiliation_strings":["UNITN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNITN","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082785688","display_name":"Paolo Morettin","orcid":"https://orcid.org/0000-0003-4321-5215"},"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":"Paolo Morettin","raw_affiliation_strings":["KULeuven"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KULeuven","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003845489","display_name":"Luca Di Liello","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Luca Di Liello","raw_affiliation_strings":["UNITN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNITN","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065650450","display_name":"Pierfrancesco Ardino","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pierfrancesco Ardino","raw_affiliation_strings":["UNITN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNITN","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049453487","display_name":"Jacopo Gobbi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jacopo Gobbi","raw_affiliation_strings":["UNITN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNITN","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112110952","display_name":"Yitao Liang","orcid":"https://orcid.org/0009-0009-0944-7814"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yitao Liang","raw_affiliation_strings":["Peking University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100746974","display_name":"Eric Wang","orcid":"https://orcid.org/0000-0001-7940-753X"},"institutions":[{"id":"https://openalex.org/I2799798094","display_name":"UCLA Health","ror":"https://ror.org/01d88se56","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I2799798094"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric Wang","raw_affiliation_strings":["UCLA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UCLA","institution_ids":["https://openalex.org/I2799798094"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087096372","display_name":"Kai-Wei Chang","orcid":"https://orcid.org/0000-0001-5365-0072"},"institutions":[{"id":"https://openalex.org/I2799798094","display_name":"UCLA Health","ror":"https://ror.org/01d88se56","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I2799798094"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kai-Wei Chang","raw_affiliation_strings":["UCLA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UCLA","institution_ids":["https://openalex.org/I2799798094"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066187890","display_name":"Andrea Passerini","orcid":"https://orcid.org/0000-0002-2765-5395"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andrea Passerini","raw_affiliation_strings":["UNITN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNITN","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009539513","display_name":"Guy Van den Broeck","orcid":"https://orcid.org/0000-0003-3434-2503"},"institutions":[{"id":"https://openalex.org/I2799798094","display_name":"UCLA Health","ror":"https://ror.org/01d88se56","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I2799798094"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guy Van den Broeck","raw_affiliation_strings":["UCLA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UCLA","institution_ids":["https://openalex.org/I2799798094"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6784,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.70601408,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"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/T11948","display_name":"Machine Learning in Materials Science","score":0.8282999992370605,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.8282999992370605,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10775","display_name":"Generative Adversarial Networks and Image Synthesis","score":0.7092999815940857,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.6797000169754028,"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.7611995935440063},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5884817838668823},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.5674914717674255},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5561107397079468},{"id":"https://openalex.org/keywords/discriminative-model","display_name":"Discriminative model","score":0.5451542139053345},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5015063285827637},{"id":"https://openalex.org/keywords/semantic-feature","display_name":"Semantic feature","score":0.4942314922809601},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.4940469563007355},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4787268340587616},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46561312675476074},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.4636470079421997},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4416455030441284},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4336174726486206},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.37998753786087036}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7611995935440063},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5884817838668823},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.5674914717674255},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5561107397079468},{"id":"https://openalex.org/C97931131","wikidata":"https://www.wikidata.org/wiki/Q5282087","display_name":"Discriminative model","level":2,"score":0.5451542139053345},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5015063285827637},{"id":"https://openalex.org/C2781122975","wikidata":"https://www.wikidata.org/wiki/Q16928266","display_name":"Semantic feature","level":2,"score":0.4942314922809601},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.4940469563007355},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4787268340587616},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46561312675476074},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.4636470079421997},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4416455030441284},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4336174726486206},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.37998753786087036},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/faia230154","is_oa":false,"landing_page_url":"http://dx.doi.org/10.3233/faia230154","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"pmh:oai:iris.unitn.it:11572/401437","is_oa":false,"landing_page_url":"https://ebooks.iospress.nl/DOI/10.3233/FAIA230154","pdf_url":null,"source":{"id":"https://openalex.org/S4306401913","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2468279273","https://openalex.org/W2965546495","https://openalex.org/W4389116644","https://openalex.org/W2354198838","https://openalex.org/W2153315159","https://openalex.org/W2987280934","https://openalex.org/W2751624083","https://openalex.org/W2952115151","https://openalex.org/W4311555960","https://openalex.org/W4390871823"],"abstract_inverted_index":{"Structured":[0],"output":[1,48],"prediction":[2],"problems":[3],"are":[4,40],"ubiquitous":[5],"in":[6,36,147],"machine":[7],"learning.":[8],"The":[9],"prominent":[10],"approach":[11],"leverages":[12],"neural":[13,197],"networks":[14],"as":[15],"powerful":[16],"feature":[17],"extractors,":[18],"otherwise":[19],"assuming":[20],"the":[21,24,44,47,52,67,74,80,84,91,94,100,120,126,135,166,172,180,205,230,233],"independence":[22],"of":[23,70,93,119,125,137,174,219,232],"outputs.":[25],"These":[26],"outputs,":[27],"however,":[28],"jointly":[29],"encode":[30],"an":[31],"object,":[32],"e.g.":[33],"a":[34,37,148,216],"path":[35],"graph,":[38],"and":[39,96,110,117,188,195],"therefore":[41,153],"related":[42],"through":[43],"structure":[45,231],"underlying":[46,81,234],"space.":[49],"We":[50,112,151,169,199],"discuss":[51,114],"semantic":[53,121,127,181,206],"loss,":[54],"which":[55,160],"injects":[56],"knowledge":[57],"about":[58],"such":[59,71],"structure,":[60],"defined":[61],"symbolically,":[62],"into":[63,208],"training":[64,109],"by":[65,163,203],"minimizing":[66,165],"network\u2019s":[68],"violation":[69],"dependencies,":[72],"steering":[73],"network":[75],"towards":[76],"predicting":[77],"distributions":[78,156],"satisfying":[79],"structure.":[82],"At":[83],"same":[85],"time,":[86],"it":[87,131],"is":[88,129,183],"agnostic":[89],"to":[90,185,224],"arrangement":[92],"symbols,":[95],"depends":[97],"only":[98],"on":[99],"semantics":[101],"expressed":[102],"thereby,":[103],"while":[104],"also":[105,113],"enabling":[106],"efficient":[107],"end-to-end":[108],"inference.":[111],"key":[115],"improvements":[116],"applications":[118],"loss.":[122],"One":[123],"limitations":[124],"loss":[128,182,207],"that":[130],"does":[132],"not":[133],"exploit":[134],"association":[136],"every":[138],"data":[139],"point":[140,202],"with":[141,192],"certain":[142],"features":[143],"certifying":[144],"its":[145],"membership":[146],"target":[149],"class.":[150],"should":[152],"prefer":[154],"minimum-entropy":[155],"over":[157],"valid":[158],"structures,":[159],"we":[161],"obtain":[162],"additionally":[164],"neuro-symbolic":[167],"entropy.":[168],"empirically":[170],"demonstrate":[171],"benefits":[173],"this":[175,201],"more":[176],"refined":[177],"formulation.":[178],"Moreover,":[179],"designed":[184],"be":[186,190],"modular":[187],"can":[189],"combined":[191],"both":[193],"discriminative":[194],"generative":[196,209,221],"models.":[198],"illustrate":[200],"integrating":[204],"adversarial":[210,214],"networks,":[211,215],"yielding":[212],"constrained":[213],"novel":[217],"class":[218],"deep":[220],"models":[222],"able":[223],"efficiently":[225],"synthesize":[226],"complex":[227],"objects":[228],"obeying":[229],"domain.":[235]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2023-08-05T00:00:00"}