{"id":"https://openalex.org/W4403792779","doi":"https://doi.org/10.24963/kr.2024/86","title":"Logical Distillation of Graph Neural Networks","display_name":"Logical Distillation of Graph Neural Networks","publication_year":2024,"publication_date":"2024-10-26","ids":{"openalex":"https://openalex.org/W4403792779","doi":"https://doi.org/10.24963/kr.2024/86"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2024/86","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/86","pdf_url":"https://proceedings.kr.org/2024/86/kr2024-0086-pluska-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2024/86/kr2024-0086-pluska-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5099111531","display_name":"Alexander Pluska","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Alexander Pluska","raw_affiliation_strings":["TU Wien"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029704466","display_name":"Pascal Welke","orcid":"https://orcid.org/0000-0002-2123-3781"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Pascal Welke","raw_affiliation_strings":["TU Wien"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025793777","display_name":"Thomas G\u00e4rtner","orcid":"https://orcid.org/0000-0001-5985-9213"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Thomas G\u00e4rtner","raw_affiliation_strings":["TU Wien"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086702765","display_name":"Sagar Malhotra","orcid":"https://orcid.org/0000-0002-5509-0168"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Sagar Malhotra","raw_affiliation_strings":["TU Wien"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5099111531"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.9481,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.80323443,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"920","last_page":"930"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9603999853134155,"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.9603999853134155,"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.7206169366836548},{"id":"https://openalex.org/keywords/distillation","display_name":"Distillation","score":0.565758228302002},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5108584761619568},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4667966961860657},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32930076122283936},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2742050290107727},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.08720898628234863}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7206169366836548},{"id":"https://openalex.org/C204030448","wikidata":"https://www.wikidata.org/wiki/Q101017","display_name":"Distillation","level":2,"score":0.565758228302002},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5108584761619568},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4667966961860657},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32930076122283936},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2742050290107727},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.08720898628234863},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2024/86","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/86","pdf_url":"https://proceedings.kr.org/2024/86/kr2024-0086-pluska-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2024/86","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/86","pdf_url":"https://proceedings.kr.org/2024/86/kr2024-0086-pluska-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4403792779.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"We":[0,45,64],"present":[1],"a":[2,19,47],"logic":[3,40],"based":[4,49],"interpretable":[5,59],"model":[6,17,50],"for":[7],"learning":[8],"on":[9,68],"graphs":[10],"and":[11,34,78],"an":[12,53],"algorithm":[13],"to":[14,57,82],"distill":[15,58],"this":[16],"from":[18,62],"Graph":[20],"Neural":[21],"Network":[22],"(GNN).":[23],"Recent":[24],"results":[25],"have":[26],"shown":[27],"connections":[28],"between":[29],"the":[30,35,83,88,98],"expressivity":[31],"of":[32,38,55],"GNNs":[33],"two-variable":[36],"fragment":[37],"first-order":[39],"with":[41],"counting":[42],"quantifiers":[43],"(C2).":[44],"introduce":[46],"decision-tree":[48],"which":[51],"leverages":[52],"extension":[54],"C2":[56],"logical":[60],"classifiers":[61],"GNNs.":[63],"test":[65],"our":[66,95],"approach":[67,96],"multiple":[69],"GNN":[70],"architectures.":[71],"The":[72],"distilled":[73],"models":[74],"are":[75],"interpretable,":[76],"succinct,":[77],"attain":[79],"similar":[80],"accuracy":[81],"underlying":[84],"GNN.":[85,99],"Furthermore,":[86],"when":[87],"ground":[89],"truth":[90],"is":[91],"expressible":[92],"in":[93],"C2,":[94],"outperforms":[97]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}