{"id":"https://openalex.org/W4414359601","doi":"https://doi.org/10.24963/ijcai.2025/535","title":"Grounding Methods for Neural-Symbolic AI","display_name":"Grounding Methods for Neural-Symbolic AI","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W4414359601","doi":"https://doi.org/10.24963/ijcai.2025/535"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2025/535","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/535","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-paper","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2507.08216","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093561946","display_name":"Rodrigo Castellano Ontiveros","orcid":"https://orcid.org/0000-0003-2324-633X"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Rodrigo Castellano Ontiveros","raw_affiliation_strings":["University of Siena"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Siena","institution_ids":["https://openalex.org/I102064193"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085184714","display_name":"Francesco Giannini","orcid":"https://orcid.org/0000-0001-5892-2049"},"institutions":[{"id":"https://openalex.org/I157210198","display_name":"Scuola Normale Superiore","ror":"https://ror.org/03aydme10","country_code":"IT","type":"education","lineage":["https://openalex.org/I157210198"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Giannini","raw_affiliation_strings":["Scuola Normale Superiore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Scuola Normale Superiore","institution_ids":["https://openalex.org/I157210198"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022658803","display_name":"Marco Gori","orcid":"https://orcid.org/0000-0001-6337-5430"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Gori","raw_affiliation_strings":["University of Siena"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Siena","institution_ids":["https://openalex.org/I102064193"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005466305","display_name":"Giuseppe Marra","orcid":"https://orcid.org/0000-0001-5940-9562"},"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":"Giuseppe Marra","raw_affiliation_strings":["KU Leuven"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KU Leuven","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5107224746","display_name":"Michelangelo Diligenti","orcid":"https://orcid.org/0000-0002-5805-8032"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michelangelo Diligenti","raw_affiliation_strings":["University of Siena"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Siena","institution_ids":["https://openalex.org/I102064193"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6661,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.85183959,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"4806","last_page":"4814"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.890999972820282,"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.890999972820282,"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/ground","display_name":"Ground","score":0.6299999952316284},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.567300021648407},{"id":"https://openalex.org/keywords/semantic-reasoner","display_name":"Semantic reasoner","score":0.5521000027656555},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5389999747276306},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.5234000086784363},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.49239999055862427},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.492000013589859}],"concepts":[{"id":"https://openalex.org/C168993435","wikidata":"https://www.wikidata.org/wiki/Q6501125","display_name":"Ground","level":2,"score":0.6299999952316284},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.567300021648407},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5552999973297119},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.5521000027656555},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5389999747276306},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5234000086784363},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.49239999055862427},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.492000013589859},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4666999876499176},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44269999861717224},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.3808000087738037},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.36910000443458557},{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.3379000127315521},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.31709998846054077},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3050000071525574},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.2865000069141388},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C10418432","wikidata":"https://www.wikidata.org/wiki/Q560370","display_name":"AND gate","level":3,"score":0.26109999418258667},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.26019999384880066},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2549999952316284}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.24963/ijcai.2025/535","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/535","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"},{"id":"pmh:oai:arXiv.org:2507.08216","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2507.08216","pdf_url":"https://arxiv.org/pdf/2507.08216","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},{"id":"pmh:oai:usiena-air.unisi.it:11365/1301354","is_oa":true,"landing_page_url":"https://www.ijcai.org/proceedings/2025/535","pdf_url":"https://www.ijcai.org/proceedings/2025/0535.pdf","source":{"id":"https://openalex.org/S4377196319","display_name":"Use Siena air (University of Siena)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102064193","host_organization_name":"University of Siena","host_organization_lineage":["https://openalex.org/I102064193"],"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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:arpi.unipi.it:11568/1347022","is_oa":false,"landing_page_url":"https://hdl.handle.net/11568/1347022","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"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/conferenceObject"},{"id":"pmh:oai:ricerca.sns.it:11384/162007","is_oa":true,"landing_page_url":"https://hdl.handle.net/11384/162007","pdf_url":null,"source":{"id":"https://openalex.org/S7407050981","display_name":"Scuola Normale Superiore di Pisa","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2507.08216","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2507.08216","pdf_url":"https://arxiv.org/pdf/2507.08216","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7115676319","display_name":null,"funder_award_id":"CUP I53C22001380006","funder_id":"https://openalex.org/F4320324499","funder_display_name":"Universit\u00e0 di Pisa"}],"funders":[{"id":"https://openalex.org/F4320324499","display_name":"Universit\u00e0 di Pisa","ror":"https://ror.org/03ad39j10"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"A":[0,35],"large":[1],"class":[2],"of":[3,46,61,70,79,89,92,124,147,178,188],"Neural-Symbolic":[4],"(NeSy)":[5],"methods":[6,40,65,104,149,165],"employs":[7],"a":[8,19,59,86,118,144],"machine":[9],"learner":[10],"to":[11,25,85,95,129,160,170],"process":[12,28,45],"the":[13,33,44,51,55,75,80,90,126,133,172,179,186,189,197],"input":[14],"entities,":[15],"while":[16],"relying":[17],"on":[18,22,106],"reasoner":[20],"based":[21],"First-Order":[23],"Logic":[24],"represent":[26],"and":[27,120,130,169,176],"more":[29,113],"complex":[30],"relationships":[31],"among":[32],"entities.":[34,62],"fundamental":[36],"role":[37],"for":[38,54],"these":[39],"is":[41,192],"played":[42],"by":[43,132],"logic":[47,56,81],"grounding,":[48],"which":[49,110],"determines":[50],"relevant":[52],"substitutions":[53],"rules":[57],"using":[58],"(sub)set":[60],"Some":[63],"NeSy":[64,198],"use":[66],"an":[67],"exhaustive":[68],"derivation":[69],"all":[71],"possible":[72],"substitutions,":[73],"preserving":[74,125],"full":[76],"expressive":[77],"power":[78],"knowledge,":[82],"but":[83,116],"leading":[84],"combinatorial":[87],"explosion":[88],"number":[91],"ground":[93],"formulas":[94],"consider":[96],"and,":[97],"therefore,":[98],"strongly":[99],"limiting":[100],"their":[101],"scalability.":[102],"Other":[103],"rely":[105],"heuristic-based":[107],"selective":[108],"derivations,":[109],"are":[111],"generally":[112],"computationally":[114],"efficient,":[115],"lack":[117],"justification":[119],"provide":[121],"no":[122],"guarantees":[123],"information":[127],"provided":[128],"returned":[131],"reasoner.":[134,180],"Taking":[135],"inspiration":[136],"from":[137],"multi-hop":[138],"symbolic":[139],"reasoning,":[140],"this":[141,157],"paper":[142],"proposes":[143],"parametrized":[145],"family":[146,158],"grounding":[148,164,190],"generalizing":[150],"classic":[151],"Backward":[152],"Chaining.":[153],"Different":[154],"selections":[155],"within":[156],"allow":[159],"obtain":[161],"commonly":[162],"employed":[163],"as":[166,194,196],"special":[167],"cases,":[168],"control":[171],"trade-off":[173],"between":[174],"expressiveness":[175],"scalability":[177],"The":[181],"experimental":[182],"results":[183],"show":[184],"that":[185],"selection":[187],"criterion":[191],"often":[193],"important":[195],"method":[199],"itself.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-09-20T00:00:00"}