{"id":"https://openalex.org/W2903355779","doi":"https://doi.org/10.23860/diss-mcdonald-arthur-2018","title":"INDUCTIVE EQUATIONAL LOGIC PROGRAMMING","display_name":"INDUCTIVE EQUATIONAL LOGIC PROGRAMMING","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2903355779","doi":"https://doi.org/10.23860/diss-mcdonald-arthur-2018","mag":"2903355779"},"language":"en","primary_location":{"id":"doi:10.23860/diss-mcdonald-arthur-2018","doi":"https://doi.org/10.23860/diss-mcdonald-arthur-2018","is_oa":true,"landing_page_url":"https://doi.org/10.23860/diss-mcdonald-arthur-2018","pdf_url":"https://digitalcommons.uri.edu/cgi/viewcontent.cgi?article=1809&context=oa_diss","source":{"id":"https://openalex.org/S4377196359","display_name":"Digital Commons - URI (University of Rhode Island)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I17626003","host_organization_name":"University of Rhode Island","host_organization_lineage":["https://openalex.org/I17626003"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"University of Rhode Island","raw_type":"dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://digitalcommons.uri.edu/cgi/viewcontent.cgi?article=1809&context=oa_diss","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"McDonald, Arthur A.","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I17626003","display_name":"University of Rhode Island","ror":"https://ror.org/013ckk937","country_code":"US","type":"education","lineage":["https://openalex.org/I17626003"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"McDonald, Arthur A.","raw_affiliation_strings":["University of Rhode Island"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Rhode Island","institution_ids":["https://openalex.org/I17626003"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I17626003"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8988999724388123,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8988999724388123,"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.01940000057220459,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10538","display_name":"Data Mining Algorithms and Applications","score":0.01360000018030405,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/inductive-logic-programming","display_name":"inductive logic programming","score":0.9950000047683716},{"id":"https://openalex.org/keywords/recursive-equations","display_name":"recursive equations","score":0.765999972820282},{"id":"https://openalex.org/keywords/conditional-equations","display_name":"conditional equations","score":0.8080000281333923},{"id":"https://openalex.org/keywords/prior-knowledge","display_name":"prior knowledge","score":0.6140000224113464}],"concepts":[{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.8540810346603394},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.6753193140029907},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.622826099395752},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.6225830316543579},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.5728648900985718},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5597746968269348},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5525288581848145},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.5129627585411072},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.5081121921539307},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3704479932785034},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.29466235637664795},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1107509434223175},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.23860/diss-mcdonald-arthur-2018","doi":"https://doi.org/10.23860/diss-mcdonald-arthur-2018","is_oa":true,"landing_page_url":"https://doi.org/10.23860/diss-mcdonald-arthur-2018","pdf_url":"https://digitalcommons.uri.edu/cgi/viewcontent.cgi?article=1809&context=oa_diss","source":{"id":"https://openalex.org/S4377196359","display_name":"Digital Commons - URI (University of Rhode Island)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I17626003","host_organization_name":"University of Rhode Island","host_organization_lineage":["https://openalex.org/I17626003"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"University of Rhode Island","raw_type":"dissertation"},{"id":"pmh:oai:digitalcommons.uri.edu:dissertations-4201","doi":null,"is_oa":true,"landing_page_url":"https://digitalcommons.uri.edu/dissertations/AAI10976151","pdf_url":null,"source":{"id":"https://openalex.org/S4377196359","display_name":"Digital Commons - URI (University of Rhode Island)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I17626003","host_organization_name":"University of Rhode Island","host_organization_lineage":["https://openalex.org/I17626003"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Dissertations and Master's Theses (Campus Access)","raw_type":"text"},{"id":"pmh:oai:digitalcommons.uri.edu:oa_diss-1809","doi":null,"is_oa":true,"landing_page_url":"https://digitalcommons.uri.edu/oa_diss/791","pdf_url":null,"source":{"id":"https://openalex.org/S4377196359","display_name":"Digital Commons - URI (University of Rhode Island)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I17626003","host_organization_name":"University of Rhode Island","host_organization_lineage":["https://openalex.org/I17626003"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Open Access Dissertations","raw_type":"text"}],"best_oa_location":{"id":"doi:10.23860/diss-mcdonald-arthur-2018","doi":"https://doi.org/10.23860/diss-mcdonald-arthur-2018","is_oa":true,"landing_page_url":"https://doi.org/10.23860/diss-mcdonald-arthur-2018","pdf_url":"https://digitalcommons.uri.edu/cgi/viewcontent.cgi?article=1809&context=oa_diss","source":{"id":"https://openalex.org/S4377196359","display_name":"Digital Commons - URI (University of Rhode Island)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I17626003","host_organization_name":"University of Rhode Island","host_organization_lineage":["https://openalex.org/I17626003"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"University of Rhode Island","raw_type":"dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2903355779.pdf","grobid_xml":"https://content.openalex.org/works/W2903355779.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W65962332","https://openalex.org/W118153159","https://openalex.org/W119944997","https://openalex.org/W131869350","https://openalex.org/W193887220","https://openalex.org/W1485801040","https://openalex.org/W1532298151","https://openalex.org/W1538313499","https://openalex.org/W1538991291","https://openalex.org/W1539298593","https://openalex.org/W1552454995","https://openalex.org/W1562138751","https://openalex.org/W1565236324","https://openalex.org/W1567558468","https://openalex.org/W1575371065","https://openalex.org/W1597847469","https://openalex.org/W1598625331","https://openalex.org/W1603305011","https://openalex.org/W1608748195","https://openalex.org/W1968386045","https://openalex.org/W1999138184","https://openalex.org/W2022355938","https://openalex.org/W2049352524","https://openalex.org/W2054489231","https://openalex.org/W2056637458","https://openalex.org/W2077592849","https://openalex.org/W2116241214","https://openalex.org/W2117207972","https://openalex.org/W2126430683","https://openalex.org/W2138364864","https://openalex.org/W2148168127","https://openalex.org/W2170673019","https://openalex.org/W2216651234","https://openalex.org/W2520858206","https://openalex.org/W2533515866","https://openalex.org/W3120740533","https://openalex.org/W6635388058","https://openalex.org/W6636241634","https://openalex.org/W6637613057","https://openalex.org/W6677112436"],"related_works":["https://openalex.org/W3065734471","https://openalex.org/W7098873403","https://openalex.org/W1877678056","https://openalex.org/W1578184969","https://openalex.org/W3212891530","https://openalex.org/W1538313499","https://openalex.org/W1552454995","https://openalex.org/W119944997","https://openalex.org/W7096966788","https://openalex.org/W1933680902"],"abstract_inverted_index":{"Inductive":[0],"Logic":[1,18,63],"Programming":[2],"(ILP)":[3],"is":[4,10],"an":[5],"area":[6],"of":[7,14,50,90],"research":[8],"that":[9,38,64],"at":[11],"the":[12,42,48,88],"intersection":[13],"Machine":[15],"Learning":[16],"and":[17,25,29,44],"Programming.":[19],"An":[20],"ILP":[21,58],"system":[22],"uses":[23],"positive":[24,94],"negative":[26],"facts":[27,43],"(examples)":[28],"optional":[30],"background":[31],"knowledge":[32],"to":[33,69,78],"induce":[34],"a":[35,56,66,85],"logic":[36],"program":[37],"1)":[39],"accurately":[40],"describes":[41],"2)":[45],"successfully":[46],"predicts":[47],"outcome":[49],"unseen":[51],"examples.":[52,96],"This":[53],"thesis":[54],"introduces":[55],"new":[57],"algorithm":[59],"implemented":[60],"in":[61],"Equational":[62],"takes":[65],"hybrid":[67],"approach":[68],"induction,":[70],"using":[71],"bottom-up":[72],"generalization":[73],"combined":[74],"with":[75],"inverse":[76],"narrowing":[77],"create":[79],"recursive":[80],"equations.":[81],"We":[82],"also":[83],"introduce":[84],"framework":[86],"for":[87],"induction":[89],"conditional":[91],"equations":[92],"from":[93],"ground":[95]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2018-12-11T00:00:00"}