A functional perspective on machine learning via programmable induction and abduction

DOI10.1007/978-3-319-90686-7_6OpenAlexW2801842046MaRDI QIDQ1648874FDOQ1648874

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• Neural nets via forward state transformation and backward loss transformation
• Title not available (Why is that?)
• Models for machine learning and data mining in functional programming

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)