This HTML5 document contains 31 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n10doi:10.1007/
dctermshttp://purl.org/dc/terms/
n2https://kar.kent.ac.uk/id/eprint/
n13https://kar.kent.ac.uk/id/eprint/66447#
wdrshttp://www.w3.org/2007/05/powder-s#
dchttp://purl.org/dc/elements/1.1/
n12http://purl.org/ontology/bibo/status/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n18https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n4https://kar.kent.ac.uk/66447/
n7http://eprints.org/ontology/
n21https://kar.kent.ac.uk/id/event/
bibohttp://purl.org/ontology/bibo/
n14https://kar.kent.ac.uk/id/publication/
n20https://kar.kent.ac.uk/id/org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n8https://kar.kent.ac.uk/id/document/
n19https://kar.kent.ac.uk/id/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/
n6https://kar.kent.ac.uk/id/person/

Statements

Subject Item
n2:66447
rdf:type
bibo:AcademicArticle bibo:Article n7:EPrint n7:ConferenceItemEPrint
rdfs:seeAlso
n4:
owl:sameAs
n10:978-3-319-90686-7_6
n7:hasAccepted
n8:918640
n7:hasDocument
n8:919160 n8:2246994 n8:2246995 n8:2246996 n8:2246997 n8:918640
dc:hasVersion
n8:918640
dcterms:title
A functional perspective on machine learning via programmable induction and abduction
wdrs:describedby
n17:export_kar_RDFN3.n3 n18:export_kar_RDFN3.n3
dcterms:date
2018-04-24
dcterms:creator
n6:ext-e51b230ccf7a5bf67ba54ae0dc2e1ec0 n6:ext-83b2b42ff6a7734078f394394e8c844f n6:ext-r.n.s.rowe@kent.ac.uk n6:ext-390b81dc3017761592a0005c0fdf0320 n6:ext-ed1ae6f378037d0a7b21b096e9eef2cf
bibo:status
n12:peerReviewed n12:published
dcterms:publisher
n20:ext-1c5ddec173ca8cdfba8b274309638579
bibo:abstract
We present a programming language for machine learning based on the concepts of ‘induction’ and ‘abduction’ as encountered in Peirce’s logic of science. We consider the desirable features such a language must have, and we identify the ‘abductive decoupling’ of parameters as a key general enabler of these features. Both an idealised abductive calculus and its implementation as a PPX extension of OCaml are presented, along with several simple examples.
dcterms:isPartOf
n14:ext-03029743 n19:repository
bibo:authorList
n13:authors
bibo:presentedAt
n21:ext-0af5472c7429b371b60b4c71fa8caab3