\(\mathrm{CCN}^+\): a neuro-symbolic framework for deep learning with requirements

DOI10.1016/j.ijar.2024.109124MaRDI QIDQ6577662

Eleonora Giunchiglia, Alex Tatomir, Thomas Lukasiewicz, Mihaela Cătălina Stoian

Publication date: 24 July 2024

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

zbMATH Keywords

artificial intelligencemachine learningdeep learningsafe AIneuro-symbolic AImachine learning with requirements

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

This page was built for publication: \(\mathrm{CCN}^+\): a neuro-symbolic framework for deep learning with requirements