그래프 신경망에 대한 논리적 추론을 위한 논리

본 논문은 집계-결합 그래프 신경망(AC-GNN)을 포착할 수 있는 모달 논리 K#를 제안한다. K#는 그래프 신경망의 논리적 특성을 분석하고 이해하는 데 사용될 수 있다.