Accelerating NeurASP with vectorization and caching

DOI10.1017/S1471068426100611MaRDI QIDQ7406173zbMATH OpenFDO

Authors Alexander Philipp Rader, Alessandra Russo

Publication date 2026

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1471068426100611

zbMATH Keywords

answer set programmingNeurASPneurosymbolic AI

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• Answer set programming
• FFNSL: Feed-forward neural-symbolic learner
• Logic-based learning of answer set programs
• Multi-shot ASP solving with clingo
• Neural probabilistic logic programming in DeepProbLog

This page was built for publication: Accelerating NeurASP with vectorization and caching

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7406173)