{"id":"https://openalex.org/W7098073192","doi":null,"title":"An Inductive Principle for Learning Logical Definitions from Relations","display_name":"An Inductive Principle for Learning Logical Definitions from Relations","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W7098073192"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.30.8883","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8883","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.su.oz.au/ksg/conference/ai94.learndef.ps.Z","raw_type":"text"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Norman Foo And","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Norman Foo And","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Norman Y. Foo","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Norman Y. Foo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Tong-gao Tang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tong-gao Tang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.51784209,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8920999765396118,"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.8920999765396118,"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/T10538","display_name":"Data Mining Algorithms and Applications","score":0.033399999141693115,"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"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.0071000000461936,"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/inductive-logic-programming","display_name":"inductive logic programming","score":0.8519999980926514},{"id":"https://openalex.org/keywords/horn-clauses","display_name":"Horn clauses","score":0.8130000233650208},{"id":"https://openalex.org/keywords/foil","display_name":"foil","score":0.9549999833106995},{"id":"https://openalex.org/keywords/fixed-point-semantics","display_name":"fixed-point semantics","score":0.6579999923706055},{"id":"https://openalex.org/keywords/inductive-principle","display_name":"inductive principle","score":0.5339999794960022},{"id":"https://openalex.org/keywords/explanation-based-learning","display_name":"explanation-based learning","score":0.34200000762939453}],"concepts":[{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.5662999749183655},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5493000149726868},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4596000015735626},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44679999351501465},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4221999943256378},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4065999984741211},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3889999985694885},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3804999887943268},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.3772999942302704},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3474999964237213},{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.3328999876976013},{"id":"https://openalex.org/C2781338088","wikidata":"https://www.wikidata.org/wiki/Q903495","display_name":"Residue (chemistry)","level":2,"score":0.3230000138282776},{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.3206999897956848},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2946999967098236},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.2856000065803528},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27320000529289246},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2727999985218048},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.2721000015735626},{"id":"https://openalex.org/C51632099","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Training set","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.26260000467300415},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2590000033378601},{"id":"https://openalex.org/C7363328","wikidata":"https://www.wikidata.org/wiki/Q5426847","display_name":"FOIL method","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.2563999891281128},{"id":"https://openalex.org/C21563000","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive reasoning","level":2,"score":0.2540000081062317},{"id":"https://openalex.org/C169903167","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Test set","level":2,"score":0.2531000077724457},{"id":"https://openalex.org/C2778790839","wikidata":"https://www.wikidata.org/wiki/Q6667497","display_name":"Logical form","level":2,"score":0.2524000108242035}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.30.8883","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8883","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.su.oz.au/ksg/conference/ai94.learndef.ps.Z","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1815227867","https://openalex.org/W1999138184","https://openalex.org/W2071726659","https://openalex.org/W1530292612","https://openalex.org/W1483766546","https://openalex.org/W2299561515","https://openalex.org/W92183101","https://openalex.org/W2293313745","https://openalex.org/W7098234507","https://openalex.org/W7095340463"],"abstract_inverted_index":{"Induction":[0],"for":[1],"Horn":[2,78],"clauses":[3,37,160],"from":[4,10,90],"data":[5],"received":[6],"a":[7,17,26,31,86,100],"major":[8],"boost":[9],"the":[11,47,54,58,62,72,91,106,115,118,133,142,150,154],"success":[12],"of":[13,46,61,77,93,102,117,135,146,153],"FOIL":[14,22,103,112],"1;2;3":[15],"as":[16],"pioneer":[18],"clausal":[19],"learning":[20],"algorithm.":[21],"attempts":[23],"to":[24,67],"explain":[25],"target":[27,48,55,119,136,147],"relation":[28],"(while":[29],"avoiding":[30],"negative":[32],"set)":[33],"by":[34,52,85,128,140],"incrementally":[35],"adding":[36],"that":[38],"successively":[39],"increase":[40],"this":[41,80,96],"explained":[42],"part.":[43],"The":[44,157],"residue":[45,116,124,134],"set":[49,56,92,137,148],"is":[50,82,109,120,126,138],"obtained":[51,139],"postulating":[53],"in":[57,104,111,149],"antecedents":[59,151],"(body)":[60,152],"generated":[63,143,155,159],"clauses.":[64,156],"In":[65,95],"contrast":[66],"this,":[68],"if":[69],"one":[70],"considers":[71],"conventional":[73],"least":[74],"model":[75],"semantics":[76,81],"clauses,":[79],"realized":[83],"operationally":[84],"fixed":[87,129],"point":[88,130],"computation":[89,125],"facts.":[94],"paper":[97],"we":[98],"consider":[99],"variant":[101],"which":[105],"clause":[107],"search":[108],"like":[110],"?":[113],"but":[114],"computed":[121],"differently.":[122],"This":[123],"motivated":[127],"theory":[131],"i.e.":[132],"using":[141],"(explained)":[144],"part":[145],"current":[158],"toge...":[161]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-27T00:00:00"}