{"id":"https://openalex.org/W4414359880","doi":"https://doi.org/10.24963/ijcai.2025/1230","title":"A Semantic Framework for Neurosymbolic Computation (Abstract Reprint)","display_name":"A Semantic Framework for Neurosymbolic Computation (Abstract Reprint)","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W4414359880","doi":"https://doi.org/10.24963/ijcai.2025/1230"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2025/1230","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/1230","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-abstract","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/A5042656235","display_name":"Simon Odense","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]},{"id":"https://openalex.org/I220249241","display_name":"Fraser Institute","ror":"https://ror.org/03455j977","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I220249241"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Simon Odense","raw_affiliation_strings":["imon Fraser University, Vancouver, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"imon Fraser University, Vancouver, Canada","institution_ids":["https://openalex.org/I18014758","https://openalex.org/I220249241"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060005929","display_name":"Artur d\u2019Avila Garcez","orcid":"https://orcid.org/0000-0001-7375-9518"},"institutions":[{"id":"https://openalex.org/I4210153853","display_name":"Fujitsu (United Kingdom)","ror":"https://ror.org/053ny5136","country_code":"GB","type":"company","lineage":["https://openalex.org/I2252096349","https://openalex.org/I4210153853"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Artur Garcez","raw_affiliation_strings":["ICity, University of London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ICity, University of London, UK","institution_ids":["https://openalex.org/I4210153853"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"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":"10956","last_page":"10956"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9830999970436096,"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/T10320","display_name":"Neural Networks and Applications","score":0.9830999970436096,"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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9315000176429749,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/semantics","display_name":"Semantics (computer science)","score":0.6554999947547913},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.5507000088691711},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.49399998784065247},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4855000078678131},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.41819998621940613},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.4153999984264374}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7443000078201294},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6554999947547913},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.5507000088691711},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.52920001745224},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.49399998784065247},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4855000078678131},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.41819998621940613},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.4153999984264374},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.3671000003814697},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34209999442100525},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3197999894618988},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.31439998745918274},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2702000141143799},{"id":"https://openalex.org/C85407183","wikidata":"https://www.wikidata.org/wiki/Q1045785","display_name":"Semantic network","level":2,"score":0.2685000002384186},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C90312973","wikidata":"https://www.wikidata.org/wiki/Q7449052","display_name":"Semantic data model","level":2,"score":0.2572999894618988}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2025/1230","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/1230","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":null,"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":{"The":[0,184],"field":[1,21],"of":[2,11,19,27,53,63,86,123,136,139,174,177,180,195],"neurosymbolic":[3,35,64,77,111,147,165,182,199],"AI":[4,200],"aims":[5],"to":[6,132,151,160,163,187],"benefit":[7],"from":[8],"the":[9,20,23,90,129,133,154,171,193],"combination":[10],"neural":[12,31,104,134],"networks":[13],"and":[14,37,42,92,125,201],"symbolic":[15,28],"systems.":[16,183],"A":[17],"cornerstone":[18],"is":[22,158],"translation":[24],"or":[25],"encoding":[26,54,135],"knowledge":[29,140],"into":[30],"networks.":[32],"Although":[33],"many":[34,110],"methods":[36],"approaches":[38,112],"have":[39],"been":[40],"proposed,":[41],"with":[43],"a":[44,59,73,83,96,103,121,190,196,202],"large":[45],"increase":[46],"in":[47,170],"recent":[48],"years,":[49],"no":[50],"common":[51],"definition":[52,85],"exists":[55],"that":[56,109],"can":[57,98],"enable":[58],"precise,":[60],"theoretical":[61],"comparison":[62],"methods.":[65],"This":[66,157],"paper":[67,185],"addresses":[68],"this":[69,117],"problem":[70],"by":[71,81,102,116,167],"introducing":[72],"semantic":[74,87,175],"framework":[75,131],"for":[76,115,198,204],"AI.":[78],"We":[79,106,119],"start":[80],"providing":[82],"formal":[84],"encoding,":[88],"specifying":[89],"components":[91],"conditions":[93],"under":[94],"which":[95],"knowledge-base":[97],"be":[99],"encoded":[100],"correctly":[101],"network.":[105],"then":[107],"show":[108],"are":[113,149],"accounted":[114],"definition.":[118],"provide":[120,161],"number":[122],"examples":[124],"correspondence":[126],"proofs":[127],"applying":[128],"proposed":[130,155],"various":[137],"forms":[138],"representation.":[141],"Many,":[142],"at":[143],"first":[144],"sight":[145],"disparate,":[146],"methods,":[148],"shown":[150],"fall":[152],"within":[153],"formalization.":[156],"expected":[159],"guidance":[162],"future":[164],"encodings":[166,176],"placing":[168],"them":[169],"broader":[172],"context":[173],"entire":[178],"families":[179],"existing":[181],"hopes":[186],"help":[188],"initiate":[189],"discussion":[191],"around":[192],"provision":[194],"theory":[197],"semantics":[203],"deep":[205],"learning.":[206]},"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}