{"id":"https://openalex.org/W7117986379","doi":"https://doi.org/10.1007/978-3-032-10477-9_3","title":"Merging Logic and\u00a0the\u00a0Coinductive Selection Monad: Mixing Machine Learning Into Logical Search","display_name":"Merging Logic and\u00a0the\u00a0Coinductive Selection Monad: Mixing Machine Learning Into Logical Search","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W7117986379","doi":"https://doi.org/10.1007/978-3-032-10477-9_3"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-10477-9_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-10477-9_3","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"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":"Communications in Computer and Information Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060647569","display_name":"Ruslan Shevchenko","orcid":"https://orcid.org/0000-0002-1554-2019"},"institutions":[{"id":"https://openalex.org/I4210113851","display_name":"Institute of Software Systems","ror":"https://ror.org/0258a2f50","country_code":"UA","type":"facility","lineage":["https://openalex.org/I149851306","https://openalex.org/I4210113851"]}],"countries":["UA"],"is_corresponding":false,"raw_author_name":"Ruslan Shevchenko","raw_affiliation_strings":["Institute of Software Systems of National Academy of Sciences of Ukraine, Glushkov Ave. 40, Kyiv, 03187, Ukraine"],"raw_orcid":"https://orcid.org/0000-0002-1554-2019","affiliations":[{"raw_affiliation_string":"Institute of Software Systems of National Academy of Sciences of Ukraine, Glushkov Ave. 40, Kyiv, 03187, Ukraine","institution_ids":["https://openalex.org/I4210113851"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121813029","display_name":"Anatoliy Doroshenko","orcid":null},"institutions":[{"id":"https://openalex.org/I202483615","display_name":"National Technical University of Ukraine \u201cIgor Sikorsky Kyiv Polytechnic Institute\u201d","ror":"https://ror.org/00syn5v21","country_code":"UA","type":"education","lineage":["https://openalex.org/I202483615"]},{"id":"https://openalex.org/I4210113851","display_name":"Institute of Software Systems","ror":"https://ror.org/0258a2f50","country_code":"UA","type":"facility","lineage":["https://openalex.org/I149851306","https://openalex.org/I4210113851"]}],"countries":["UA"],"is_corresponding":false,"raw_author_name":"Anatoliy Doroshenko","raw_affiliation_strings":["Institute of Software Systems of National Academy of Sciences of Ukraine, Glushkov Ave. 40, Kyiv, 03187, Ukraine","National Technical University of Ukraine \u201cIgor Sikorsky Kyiv Polytechnic Institute\u201d, Peremohy Ave. 37, Kyiv, 03056, Ukraine"],"raw_orcid":"https://orcid.org/0000-0002-8435-1451","affiliations":[{"raw_affiliation_string":"Institute of Software Systems of National Academy of Sciences of Ukraine, Glushkov Ave. 40, Kyiv, 03187, Ukraine","institution_ids":["https://openalex.org/I4210113851"]},{"raw_affiliation_string":"National Technical University of Ukraine \u201cIgor Sikorsky Kyiv Polytechnic Institute\u201d, Peremohy Ave. 37, Kyiv, 03056, Ukraine","institution_ids":["https://openalex.org/I202483615"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000699325","display_name":"Olena Yatsenko","orcid":"https://orcid.org/0000-0002-4700-6704"},"institutions":[{"id":"https://openalex.org/I4210113851","display_name":"Institute of Software Systems","ror":"https://ror.org/0258a2f50","country_code":"UA","type":"facility","lineage":["https://openalex.org/I149851306","https://openalex.org/I4210113851"]}],"countries":["UA"],"is_corresponding":true,"raw_author_name":"Olena Yatsenko","raw_affiliation_strings":["Institute of Software Systems of National Academy of Sciences of Ukraine, Glushkov Ave. 40, Kyiv, 03187, Ukraine"],"raw_orcid":"https://orcid.org/0000-0002-4700-6704","affiliations":[{"raw_affiliation_string":"Institute of Software Systems of National Academy of Sciences of Ukraine, Glushkov Ave. 40, Kyiv, 03187, Ukraine","institution_ids":["https://openalex.org/I4210113851"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083274470","display_name":"Alexander Nemish","orcid":null},"institutions":[{"id":"https://openalex.org/I4210135272","display_name":"H\u00f4pital Paris Saint-Joseph","ror":"https://ror.org/046bx1082","country_code":"FR","type":"healthcare","lineage":["https://openalex.org/I4210135272"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Alexander Nemish","raw_affiliation_strings":["Lantr, Rue Saint-Honor\u00e9 229, 75001, Paris, France"],"raw_orcid":"https://orcid.org/0009-0006-7889-1888","affiliations":[{"raw_affiliation_string":"Lantr, Rue Saint-Honor\u00e9 229, 75001, Paris, France","institution_ids":["https://openalex.org/I4210135272"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5000699325"],"corresponding_institution_ids":["https://openalex.org/I4210113851"],"apc_list":null,"apc_paid":null,"fwci":3.3248,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.94549254,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"33","last_page":"46"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6363999843597412,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6363999843597412,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.11760000139474869,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.029500000178813934,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.630299985408783},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5292999744415283},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.4781000018119812},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.45669999718666077},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.43299999833106995},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.37049999833106995},{"id":"https://openalex.org/keywords/bridge","display_name":"Bridge (graph theory)","score":0.3668999969959259},{"id":"https://openalex.org/keywords/inductive-logic-programming","display_name":"Inductive logic programming","score":0.3474999964237213},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.321399986743927},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.31200000643730164}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8514999747276306},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.630299985408783},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5938000082969666},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5411999821662903},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5292999744415283},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5069000124931335},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.4781000018119812},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.45669999718666077},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.43299999833106995},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4097999930381775},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.37049999833106995},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.3668999969959259},{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.3474999964237213},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.321399986743927},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.31200000643730164},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.31049999594688416},{"id":"https://openalex.org/C88977235","wikidata":"https://www.wikidata.org/wiki/Q787114","display_name":"Abstract machine","level":2,"score":0.30799999833106995},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.30390000343322754},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.29980000853538513},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.29750001430511475},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.29750001430511475},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.29409998655319214},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.2888999879360199},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.28850001096725464},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.28839999437332153},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.2831000089645386},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.2809999883174896},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.273499995470047},{"id":"https://openalex.org/C50292564","wikidata":"https://www.wikidata.org/wiki/Q2462783","display_name":"Computational learning theory","level":3,"score":0.27070000767707825},{"id":"https://openalex.org/C35390924","wikidata":"https://www.wikidata.org/wiki/Q661075","display_name":"Metaprogramming","level":2,"score":0.26980000734329224},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.2671999931335449},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.26260000467300415},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.25839999318122864},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.2547999918460846},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.2524000108242035},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.25060001015663147}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-10477-9_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-10477-9_3","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"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":"Communications in Computer and Information Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1967089853","https://openalex.org/W1979039632","https://openalex.org/W2098037505","https://openalex.org/W2119766618","https://openalex.org/W2136202785","https://openalex.org/W2955426500","https://openalex.org/W3042976617","https://openalex.org/W3047857329","https://openalex.org/W3160056598","https://openalex.org/W4313351073","https://openalex.org/W4395699029"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2026-01-02T00:00:00"}