Abstract
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to implement neural networks that can process recursive programs viewed as inductive definitions. © 2010 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
APA
Komendantskaya, E., Broda, K., & Garcez, A. D. A. (2010). Neuro-symbolic representation of logic programs defining infinite sets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6352 LNCS, pp. 301–304). https://doi.org/10.1007/978-3-642-15819-3_39
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free