{"id":"https://openalex.org/W2524965818","doi":null,"title":"Induction in logic","display_name":"Induction in logic","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W2524965818","mag":"2524965818"},"language":"en","primary_location":{"id":"mag:2524965818","doi":null,"is_oa":false,"landing_page_url":"https://www.aaai.org/Papers/MSL/1996/MSL96-004.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","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":"https://openalex.org/A5078136609","display_name":"Luc De Raedt","orcid":"https://orcid.org/0000-0002-6860-6303","observed_orcids":["https://orcid.org/0000-0002-6860-6303"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Luc De Raedt","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6860-6303","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5078136609"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.1584,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.96740415,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"29","last_page":"38"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7788000106811523,"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.7788000106811523,"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.07150000333786011,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.025200000032782555,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/inductive-learning","display_name":"inductive learning","score":0.8989999890327454},{"id":"https://openalex.org/keywords/inductive-logic-programming","display_name":"inductive logic programming","score":0.8190000057220459},{"id":"https://openalex.org/keywords/data-mining","display_name":"data mining","score":0.7009999752044678},{"id":"https://openalex.org/keywords/unified-framework","display_name":"unified framework","score":0.7749999761581421},{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"conjunctive normal form","score":0.7940000295639038},{"id":"https://openalex.org/keywords/disjunctive-normal-form","display_name":"disjunctive normal form","score":1.0},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.652999997138977},{"id":"https://openalex.org/keywords/propositional-logic","display_name":"propositional logic","score":0.9860000014305115},{"id":"https://openalex.org/keywords/structure-matching","display_name":"structural matching","score":0.578000009059906},{"id":"https://openalex.org/keywords/knowledge-discovery","display_name":"knowledge discovery","score":0.6549999713897705},{"id":"https://openalex.org/keywords/inductive-generalization","display_name":"inductive generalization","score":0.3779999911785126},{"id":"https://openalex.org/keywords/inductive-reasoning","display_name":"inductive reasoning","score":0.32199999690055847}],"concepts":[{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.8301067352294922},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5733208060264587},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5704343914985657},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.5520067811012268},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5301550030708313},{"id":"https://openalex.org/C21563000","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive reasoning","level":2,"score":0.4707237780094147},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.4298972487449646},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27063003182411194}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2524965818","doi":null,"is_oa":false,"landing_page_url":"https://www.aaai.org/Papers/MSL/1996/MSL96-004.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W69291052","https://openalex.org/W79761654","https://openalex.org/W82839139","https://openalex.org/W151562053","https://openalex.org/W1488252886","https://openalex.org/W1499599031","https://openalex.org/W1521623677","https://openalex.org/W1522522562","https://openalex.org/W1530657611","https://openalex.org/W1556909536","https://openalex.org/W1558733760","https://openalex.org/W1564663950","https://openalex.org/W1987441344","https://openalex.org/W1987902506","https://openalex.org/W1994022788","https://openalex.org/W1999138184","https://openalex.org/W2019363670","https://openalex.org/W2021015114","https://openalex.org/W2032026209","https://openalex.org/W2058722371","https://openalex.org/W2119831128","https://openalex.org/W2132513611","https://openalex.org/W2141288588","https://openalex.org/W2165634733","https://openalex.org/W2484153108","https://openalex.org/W2750706139","https://openalex.org/W2914587038"],"related_works":["https://openalex.org/W2520262084","https://openalex.org/W638435792","https://openalex.org/W1528990002","https://openalex.org/W7099122839","https://openalex.org/W3035393658","https://openalex.org/W7095718927","https://openalex.org/W2527226987","https://openalex.org/W7097883940","https://openalex.org/W2476624957","https://openalex.org/W1793544672"],"abstract_inverted_index":{"Various":[0],"inductive":[1,25,53,62,174,306,430],"machine":[2,26,40,54,116,419],"learning":[3,27,41,55,76,80,83,87,117,228,232,286,420,552],"approaches":[4,123],"and":[5,28,43,49,99,118,131,146,178,240,288,319,324,343,363,394,444,470,472,483,485,496,505,555,566,573,577,594],"problem":[6],"specificstious":[7],"are":[8,73,247,251,253,262,422,579,592,620],"analysed":[9],"from":[10,77,81,229,233,279,299,366,459,464,476,486,553,556],"s":[11],"logical":[12,22,34,125,248,381],"perspective.":[13],"This":[14,530],"results":[15],"in":[16,121,148,170,284,380,424,428,462],"a":[17,193,209,425,537,546],"unifying":[18,71,194,210,213,375,450],"framework":[19,32,72,195,214,376,451],"for":[20,108,196,282,524],"the":[21,70,93,144,160,171,190,245,258,272,303,353,367,374,412,449,501,508,561,571,603],"aspects":[23],"of":[24,163,165,173,192,305,355,369,385,540,549,602],"data":[29,65,130,587],"mining.":[30],"The":[31,212,225,327,347],"exp]~R":[33],",~m;l,~Tities":[35],"s~d":[36],"differences":[37,145,572],"between":[38,417,503,563,575],"different":[39,223,418],"settings,":[42],"allows":[44,377],"us":[45],"to":[46,69,105,128,142,159,189,206,378,521,596],"relate":[47],"past":[48,217],"present":[50],"work":[51,218,310,368,619],"on":[52,216,352,468,481,500,607],"using":[56],"logic":[57,63,175,307,431,482,541,567],"(such":[58],"as":[59,513,515,534,586],"structural":[60,434],"matching,":[61],"programming,":[64],"~;-;~g,":[66],"etc.).":[67],"Central":[68],"three":[74,222],"dimansions:":[75],"enta;lment":[78],"versus":[79,85,89,231,332,359,361,433,446],"interpretations,":[82],"CNF":[84,504,576],"DNF,":[86],"characteristic":[88,358,582],"dlscriminsnt":[90],"descriptions.":[91],"Though":[92,448,507],"exposition":[94,509],"handles":[95,510],"both":[96],"first":[97,226,295,511],"order":[98,512],"propositional":[100,112,276,516,528],"logic,":[101,517],"it":[102,138,456,518],"is":[103,139,155,204,350,364,387,519,532,542,558,568,584],"meant":[104,388,520],"be":[106,409,522],"understandable":[107,523],"everyone":[109,525],"familiar":[110,526],"with":[111,527],"logic.":[113,529],"Motivation":[114],"Most":[115],"knowledge":[119],"discovery":[120],"databases":[122],"use":[124],"representation":[126,136],"languages":[127],"represent":[129],"hypotheses.":[132],"Despite":[133],"this":[134,149,154,200,312],"uniform":[135],"language,":[137],"often":[140],"hard":[141],"appreciate":[143],"similarities":[147],"approaches.":[150,198],"In":[151,199],"my":[152],"oppinion":[153],"not":[156,270,397],"only":[157,398],"due":[158],"technical":[161],"nature":[162],"some":[164,415,453,590],"these":[166,197,400],"papers":[167],"(in":[168,301],"particular":[169,302,429,463],"field":[172,304],"programming":[176,432],"(Muggieton":[177],"De":[179,184,322,341,494],"Raedt":[180,185,323,342,488,495,598],"1994;":[181],"Muggleton":[182],"1992;":[183,238,317],"1996)),":[186],"but":[187,402],"also":[188,403],"lack":[191],"paper,":[201],"an":[202],"attempt":[203],"made":[205],"build":[207],"such":[208],"framework.":[211],"builds":[215],"along":[219,311],"at":[220],"least":[221],"dimensions.":[224],"dimension,":[227],"entailment":[230,300,554],"interpretations":[234,263,280,557],"(Angluin":[235],"et":[236],"6l.":[237],"Frazier":[239],"Pitt":[241,320],"1993),":[242],"determines":[243],"whether":[244],"observations":[246],"statements":[249],"that":[250,266],"(resp.":[252,268],"not)":[254],"logically":[255],"entailed":[256],"by":[257,389,438,545],"target":[259,273],"theory,":[260],"or":[261],"(or":[264],"variable-assignments)":[265],"satisfy":[267],"do":[269],"satify)":[271],"theory.":[274],"Whereas":[275],"learners":[277,297],"learn":[278,298],"(as":[281,436],"instance":[283],"computational":[285],"theory":[287],"attribute":[289],"value":[290],"|earning,":[291],"(Valiant":[292],"1984)),":[293],"most":[294],"der":[296],"programming).":[308],"Past":[309],"dimension":[313,329,349],"includes":[314],"(Anglnin":[315],"eta/.":[316],"Frasier":[318],"1993;":[321],"Lavra~":[325],"1993).":[326],"second":[328],"distinguishes":[330],"conjunctive":[331],"disjunctive":[333],"normal":[334],"forms,":[335],"e.g.":[336,439],"(Mooney":[337],"1995;":[338,493],"Haussler":[339],"1988;":[340,478],"Van":[344,497],"Laer":[345,498],"1995).":[346],"third":[348],"based":[351],"type":[354],"learning,":[356],"i.e.":[357],"discriminant":[360],"data-mining,":[362],"derived":[365],"Michalski":[370],"(Michalski":[371,465],"1983).":[372],"Furthermore,":[373],"give":[379],"terms":[382,401],"precise":[383],"definitions":[384],"what":[386],"deduction,":[390],"induction,":[391],"generalization,":[392,484],"specialization,":[393],"their":[395,406],"relations,":[396],"formalising":[399],"showing":[404],"how":[405],"relation":[407,502,562],"can":[408],"exploited.":[410],"At":[411],"same":[413],"time,":[414],"links":[416],"settings":[421],"formulated":[423],"novel":[426],"way,":[427],"matching":[435],"studied":[437],"(Vere":[440],"1975;":[441],"Vraln":[442],"1990)),":[443],"concept-learning":[445,583],"data-mining.":[447],"offers":[452],"new":[454],"insights,":[455],"extensively":[457],"borrows":[458],"previous":[460],"work,":[461],"1983;":[466],"1994)":[467],"generalization":[469],"specialisation":[471],"various":[473],"other":[474],"aspects,":[475],"(Niblett":[477],"Kodratoff":[479],"1988)":[480],"(De":[487],"st":[489],",q.":[490],"1996;":[491],"Mooney":[492],"1995)":[499],"DNF.":[506],"well":[514],"paper":[531],"structured":[533],"follows:":[535],"first,":[536],"short":[538,547],"review":[539,548],"presented,":[543],"followed":[544],"concept-learning;":[550],"second,":[551],"formalized;":[559],"third,":[560],"generality,":[564],"induction":[565],"discussed,":[569],"fourth,":[570],"relations":[574,595],"DNF":[578],"analysed;":[580],"fifth,":[581],"reformulated":[585],"mining;":[588],"finally,":[589],"conclusions":[591],"drawn":[593],"de":[597],"27":[599],"From:":[600],"Proceedings":[601],"Third":[604],"International":[605],"Conference":[606],"Multistrategy":[608],"Learning.":[609],"Copyright":[610],"\u00a9":[611],"1996,":[612],"AAAI":[613],"(www.aaai.org).":[614],"All":[615],"rights":[616],"reserved.":[617],"earlier":[618],"presented.":[621]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2016-10-07T00:00:00"}