Answer Set Networks compile grounded Answer Set Programs into graph neural networks and solve them with GPU message passing, giving large speedups on neural-symbolic reasoning tasks.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Answer Set Networks: Casting Answer Set Programming into Deep Learning
Answer Set Networks compile grounded Answer Set Programs into graph neural networks and solve them with GPU message passing, giving large speedups on neural-symbolic reasoning tasks.