{"id":"https://openalex.org/W7138050458","doi":"https://doi.org/10.1609/aaai.v40i24.39036","title":"Expressive Power of Graph Transformers via Logic","display_name":"Expressive Power of Graph Transformers via Logic","publication_year":2026,"publication_date":"2026-03-14","ids":{"openalex":"https://openalex.org/W7138050458","doi":"https://doi.org/10.1609/aaai.v40i24.39036"},"language":null,"primary_location":{"id":"doi:10.1609/aaai.v40i24.39036","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i24.39036","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1609/aaai.v40i24.39036","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Veeti Ahvonen","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Veeti Ahvonen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Maurice Funk","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maurice Funk","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Damian Heiman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Damian Heiman","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Antti Kuusisto","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Antti Kuusisto","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Carsten Lutz","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Carsten Lutz","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.38812785,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"24","first_page":"19569","last_page":"19579"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11273","display_name":"Advanced Graph Neural Networks","score":0.5770000219345093,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.5770000219345093,"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/T10028","display_name":"Topic Modeling","score":0.10400000214576721,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.08959999680519104,"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/expressive-power","display_name":"Expressive power","score":0.8327999711036682},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5703999996185303},{"id":"https://openalex.org/keywords/transformer","display_name":"Transformer","score":0.4586000144481659},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.43619999289512634},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.4131999909877777},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4000000059604645},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.3919000029563904}],"concepts":[{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.8327999711036682},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5703999996185303},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47859999537467957},{"id":"https://openalex.org/C66322947","wikidata":"https://www.wikidata.org/wiki/Q11658","display_name":"Transformer","level":3,"score":0.4586000144481659},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.43619999289512634},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4334000051021576},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.4131999909877777},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4000000059604645},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.3919000029563904},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38920000195503235},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.367900013923645},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34060001373291016},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3352999985218048},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.31040000915527344},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.2888000011444092},{"id":"https://openalex.org/C2780226545","wikidata":"https://www.wikidata.org/wiki/Q6888030","display_name":"Modality (human\u2013computer interaction)","level":2,"score":0.2816999852657318},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.2770000100135803},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2761000096797943},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.2728999853134155},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26579999923706055},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2563000023365021}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1609/aaai.v40i24.39036","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i24.39036","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1609/aaai.v40i24.39036","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i24.39036","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Transformers":[0],"are":[1],"the":[2,23,53,60,83,93,108,139,145],"basis":[3],"of":[4,26,135],"modern":[5],"large":[6],"language":[7],"models,":[8],"but":[9],"relatively":[10],"little":[11],"is":[12,115],"known":[13],"about":[14],"their":[15],"precise":[16],"expressive":[17,24,85,104],"power":[18,25,86],"on":[19],"graphs.":[20],"We":[21,126],"study":[22,49],"graph":[27],"transformers":[28],"(GTs)":[29],"by":[30,37],"Dwivedi":[31],"and":[32,35,45,59,144],"Bresson":[33],"(2020)":[34],"GPS-networks":[36,81,98],"Ramp\u00e1sek":[38],"et":[39],"al.":[40],"(2022),":[41],"both":[42],"under":[43],"soft-attention":[44],"average":[46],"hard-attention.":[47],"Our":[48],"covers":[50],"two":[51],"scenarios:":[52],"theoretical":[54],"setting":[55],"with":[56,64,92,107,138],"real":[57],"numbers":[58],"more":[61],"practical":[62],"case":[63],"floats.":[65],"With":[66,96],"reals,":[67],"we":[68],"show":[69],"that":[70],"in":[71,77,122,133],"restriction":[72],"to":[73,101,119],"vertex":[74],"properties":[75,120],"definable":[76,121],"first-order":[78],"logic":[79,90,137],"(FO),":[80],"have":[82],"same":[84],"as":[87,105],"graded":[88],"modal":[89],"(GML)":[91],"global":[94,110,140,147],"modality.":[95,111],"floats,":[97],"turn":[99],"out":[100],"be":[102],"equally":[103],"GML":[106],"counting":[109,146],"The":[112],"latter":[113],"result":[114],"absolute,":[116],"not":[117],"restricting":[118],"a":[123],"background":[124],"logic.":[125],"also":[127],"obtain":[128],"similar":[129],"characterizations":[130],"for":[131],"GTs":[132],"terms":[134],"propositional":[136],"modality":[141,148],"(for":[142,149],"reals)":[143],"floats).":[150]},"counts_by_year":[],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2026-02-22T00:00:00"}