A functional perspective on machine learning via programmable induction and abduction

DOI10.1007/978-3-319-90686-7_6MaRDI QIDQ1648874zbMATH OpenOpenAlexFDO

Authors Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe

Publication date 9 July 2018

Full work available at URL https://kar.kent.ac.uk/66447/1/flops18.pdf

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Integrating induction and abduction in logic programming
• From programming-by-example to proving-by-example
• scientific article; zbMATH DE number 1568687
• Logis: A system for statistical abductive inference using empirical data
• Analytical Inductive Functional Programming

Cited in

(3)

• Neural nets via forward state transformation and backward loss transformation
• Models for machine learning and data mining in functional programming
• The dynamic geometry of interaction machine: a token-guided graph rewriter

This page was built for publication: A functional perspective on machine learning via programmable induction and abduction

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