{"id":"https://openalex.org/W2801842046","doi":"https://doi.org/10.1007/978-3-319-90686-7_6","title":"A Functional Perspective on Machine Learning via Programmable Induction and Abduction","display_name":"A Functional Perspective on Machine Learning via Programmable Induction and Abduction","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2801842046","doi":"https://doi.org/10.1007/978-3-319-90686-7_6","mag":"2801842046"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-90686-7_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-90686-7_6","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.birmingham.ac.uk/portal/en/publications/a-functional-perspective-on-machine-learning-via-programmable-induction-and-abduction(8d0dc522-b56a-486b-995b-a27e6e31afea).html","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079175162","display_name":"Steven W. Cheung","orcid":"https://orcid.org/0000-0003-1724-4944"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Steven Cheung","raw_affiliation_strings":["University of Birmingham, Birmingham, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015032567","display_name":"Victor Darvariu","orcid":null},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Victor Darvariu","raw_affiliation_strings":["University of Birmingham, Birmingham, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072298249","display_name":"Dan R. Ghica","orcid":"https://orcid.org/0000-0002-4003-8893"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dan R. Ghica","raw_affiliation_strings":["University of Birmingham, Birmingham, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076471067","display_name":"Koko Muroya","orcid":"https://orcid.org/0000-0003-0454-6900"},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]},{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB","JP"],"is_corresponding":false,"raw_author_name":"Koko Muroya","raw_affiliation_strings":["RIMS, Kyoto University, Kyoto, Japan","University of Birmingham, Birmingham, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RIMS, Kyoto University, Kyoto, Japan","institution_ids":["https://openalex.org/I22299242"]},{"raw_affiliation_string":"University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056648657","display_name":"Reuben N. S. Rowe","orcid":"https://orcid.org/0000-0002-4271-9078"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Reuben N. S. Rowe","raw_affiliation_strings":["University of Kent, Canterbury, UK"],"raw_orcid":"https://orcid.org/0000-0002-4271-9078","affiliations":[{"raw_affiliation_string":"University of Kent, Canterbury, UK","institution_ids":["https://openalex.org/I20581793"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5079175162"],"corresponding_institution_ids":["https://openalex.org/I79619799"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.454,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.92686486,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"84","last_page":"98"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9843000173568726,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9678000211715698,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8327836394309998},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6713860034942627},{"id":"https://openalex.org/keywords/decoupling","display_name":"Decoupling (probability)","score":0.6687574982643127},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5770743489265442},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.5671789646148682},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5559259057044983},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5007896423339844},{"id":"https://openalex.org/keywords/abductive-reasoning","display_name":"Abductive reasoning","score":0.500685453414917},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4885295629501343},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4614580571651459},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36832693219184875},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.11146444082260132}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8327836394309998},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6713860034942627},{"id":"https://openalex.org/C205606062","wikidata":"https://www.wikidata.org/wiki/Q5249645","display_name":"Decoupling (probability)","level":2,"score":0.6687574982643127},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5770743489265442},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.5671789646148682},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5559259057044983},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5007896423339844},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.500685453414917},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4885295629501343},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4614580571651459},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36832693219184875},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.11146444082260132},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-319-90686-7_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-90686-7_6","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:kar.kent.ac.uk:66447","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-90686-7_6>)","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:pure.atira.dk:publications/8d0dc522-b56a-486b-995b-a27e6e31afea","is_oa":true,"landing_page_url":null,"pdf_url":"https://research.birmingham.ac.uk/portal/en/publications/a-functional-perspective-on-machine-learning-via-programmable-induction-and-abduction(8d0dc522-b56a-486b-995b-a27e6e31afea).html","source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10068974","is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10068974/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"     In: Gallagher, JP and Sulzmann, M, (eds.) Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9\u201311, 2018, Proceedings.  (pp. pp. 84-98).  Springer: Cham, Switzerland. (2018)     ","raw_type":"Proceedings paper"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/8d0dc522-b56a-486b-995b-a27e6e31afea","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/8d0dc522-b56a-486b-995b-a27e6e31afea","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cheung, S, Darvariu, V, Ghica, D R, Muroya, K & Rowe, R N S 2018, A functional perspective on machine learning via programmable induction and abduction. in J P Gallagher & M Sulzmann (eds), Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9\u201311, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10818, Springer, pp. 84-89, 14th International Symposium on Functional and Logic Programming, (FLOPS 2018), Nagoya, Japan, 9/05/18. https://doi.org/10.1007/978-3-319-90686-7_6","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/8d0dc522-b56a-486b-995b-a27e6e31afea","is_oa":true,"landing_page_url":null,"pdf_url":"https://research.birmingham.ac.uk/portal/en/publications/a-functional-perspective-on-machine-learning-via-programmable-induction-and-abduction(8d0dc522-b56a-486b-995b-a27e6e31afea).html","source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6644868410","display_name":null,"funder_award_id":"EP/P004490/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2801842046.pdf"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W171887329","https://openalex.org/W314815265","https://openalex.org/W1515480221","https://openalex.org/W1524811322","https://openalex.org/W1967005434","https://openalex.org/W1981457167","https://openalex.org/W1987941491","https://openalex.org/W1995618084","https://openalex.org/W2014021676","https://openalex.org/W2022244729","https://openalex.org/W2024081693","https://openalex.org/W2043566933","https://openalex.org/W2069746097","https://openalex.org/W2078434561","https://openalex.org/W2083743691","https://openalex.org/W2099786686","https://openalex.org/W2109722477","https://openalex.org/W2115252128","https://openalex.org/W2159229958","https://openalex.org/W2174554963","https://openalex.org/W2271840356","https://openalex.org/W2594095402","https://openalex.org/W2604190147","https://openalex.org/W2619945721","https://openalex.org/W2763342597","https://openalex.org/W3101487288","https://openalex.org/W3185484028","https://openalex.org/W4206215385","https://openalex.org/W4211243109","https://openalex.org/W4251548075","https://openalex.org/W4300661070"],"related_works":["https://openalex.org/W1505052967","https://openalex.org/W4384821609","https://openalex.org/W2152950565","https://openalex.org/W2075768550","https://openalex.org/W2060384184","https://openalex.org/W3022218857","https://openalex.org/W1585007175","https://openalex.org/W3090331387","https://openalex.org/W1617565119","https://openalex.org/W160381218"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}