{"id":"https://openalex.org/W4388895608","doi":"https://doi.org/10.1093/logcom/exad066","title":"Applying Theory to Practice","display_name":"Applying Theory to Practice","publication_year":2023,"publication_date":"2023-11-20","ids":{"openalex":"https://openalex.org/W4388895608","doi":"https://doi.org/10.1093/logcom/exad066"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exad066","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exad066","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","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/A5027117465","display_name":"Ronald Fagin","orcid":"https://orcid.org/0000-0002-7374-0347"},"institutions":[{"id":"https://openalex.org/I4210085935","display_name":"IBM Research - Almaden","ror":"https://ror.org/005w8dd04","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210085935","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ronald Fagin","raw_affiliation_strings":["IBM Almaden Research Center , San Jose, CA"],"affiliations":[{"raw_affiliation_string":"IBM Almaden Research Center , San Jose, CA","institution_ids":["https://openalex.org/I4210085935"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5027117465"],"corresponding_institution_ids":["https://openalex.org/I4210085935"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19125828,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":"7","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9991999864578247,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9991999864578247,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9990000128746033,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.995199978351593,"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/object","display_name":"Object (grammar)","score":0.7718139290809631},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.7110926508903503},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6663464307785034},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.6275324821472168},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6067225933074951},{"id":"https://openalex.org/keywords/ibm","display_name":"IBM","score":0.5995045900344849},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3793027400970459},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3531399369239807},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3393186330795288},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2932993173599243},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18898522853851318}],"concepts":[{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.7718139290809631},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.7110926508903503},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6663464307785034},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.6275324821472168},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6067225933074951},{"id":"https://openalex.org/C70388272","wikidata":"https://www.wikidata.org/wiki/Q5968558","display_name":"IBM","level":2,"score":0.5995045900344849},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3793027400970459},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3531399369239807},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3393186330795288},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2932993173599243},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18898522853851318},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exad066","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exad066","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W179611734","https://openalex.org/W2018613115","https://openalex.org/W2020919487","https://openalex.org/W2032386524","https://openalex.org/W2093191240","https://openalex.org/W2110182592","https://openalex.org/W2110810394","https://openalex.org/W2115196991","https://openalex.org/W2125005544","https://openalex.org/W2156859522","https://openalex.org/W2666600683","https://openalex.org/W3036143115","https://openalex.org/W3047503326","https://openalex.org/W3082353674","https://openalex.org/W4283818482","https://openalex.org/W6641795888","https://openalex.org/W6646073994","https://openalex.org/W6674186941","https://openalex.org/W6675529698","https://openalex.org/W6685187139","https://openalex.org/W6747718184","https://openalex.org/W6779909828","https://openalex.org/W6781756483","https://openalex.org/W6839569448","https://openalex.org/W6857182001"],"related_works":["https://openalex.org/W3126131865","https://openalex.org/W2044344400","https://openalex.org/W4253186488","https://openalex.org/W1996938127","https://openalex.org/W2083611981","https://openalex.org/W2043380045","https://openalex.org/W4231814374","https://openalex.org/W2099557065","https://openalex.org/W2484410460","https://openalex.org/W2182204190"],"abstract_inverted_index":{"Abstract":[0],"By":[1],"making":[2],"use":[3],"of":[4,48,64,70,88,101,118,271,300,338,353,361,380,439,444,477],"three":[5,387],"IBM":[6],"case":[7,25,138,187,260,388],"studies":[8,389],"involving":[9,445],"the":[10,23,27,33,39,68,80,83,89,95,99,110,116,136,140,154,162,165,168,172,185,197,218,244,249,294,342,351,377,386,395,401,406,433,437,442,471],"author":[11,472],"and":[12,54,85,224,256,305,331,371,398,419,441],"colleagues,":[13],"this":[14,213,225],"paper":[15,163,177,365,448],"is":[16,45,56,74,91,107,123,126,156,205,366,384,408,436,449,459],"about":[17],"applying":[18,94,421],"theory":[19,416,422,467],"to":[20,38,61,98,108,145,195,210,374,409,414,417,423,427,468],"practice.":[21],"In":[22,67,456],"first":[24],"study,":[26,261],"system":[28,298,372,396,434],"builders":[29,299,435],"(or":[30,265],"practitioners)":[31],"initiated":[32,190,393],"interaction.":[34],"This":[35,241,325,364,383,447],"interaction":[36,183],"led":[37],"following":[40],"problem.":[41],"Assume":[42],"that":[43,125,220,312,360,470],"there":[44,55,73],"a":[46,57,75,86,146,176,230,272,303,329,335,452,463,475],"set":[47],"objects,":[49,113],"each":[50,62,65,102,289],"with":[51,233],"multiple":[52],"attributes,":[53],"numerical":[58],"score":[59],"assigned":[60],"attribute":[63],"object.":[66],"spirit":[69],"real-valued":[71,264,309,339],"logics,":[72,340],"scoring":[76,96],"function":[77,97],"(such":[78],"as":[79,269],"min":[81],"or":[82,139],"average),":[84],"ranking":[87],"objects":[90],"obtained":[92],"by":[93,191,394,400,411],"scores":[100],"object\u2019s":[103],"attributes":[104],"The":[105,182,258,281,297,403,430],"problem":[106,214],"find":[109],"top":[111,173],"$k$":[112],"while":[114],"minimizing":[115],"number":[117,476],"database":[119,239],"accesses.":[120],"An":[121],"algorithm":[122,155,166],"given":[124,319],"optimal":[127],"in":[128,135,149,178,184,202,236,254,293,451],"an":[129,285],"extremely":[130],"strong":[131],"sense:":[132],"not":[133],"just":[134],"worst":[137],"average":[141],"case,":[142],"but":[143],"(up":[144],"constant":[147],"factor)":[148],"every":[150,237],"case!":[151],"Even":[152],"though":[153],"only":[157],"8":[158],"lines":[159],"long":[160],"(!),":[161],"containing":[164],"won":[167,243],"2014":[169],"G\u00f6del":[170],"Prize,":[171],"prize":[174,251],"for":[175,199,252,308,334,405,432],"theoretical":[179],"computer":[180],"science.":[181],"second":[186],"study":[188],"was":[189],"theoreticians,":[192],"who":[193],"wanted":[194,302],"lay":[196],"foundations":[198],"\u2018data":[200],"exchange\u2019,":[201],"which":[203],"data":[204,228],"converted":[206],"from":[207],"one":[208,399],"format":[209],"another.":[211],"Although":[212],"may":[215],"sound":[216,304,330],"mundane,":[217],"issues":[219],"arise":[221],"are":[222],"fascinating,":[223],"work":[226,242,327],"made":[227],"exchange":[229],"new":[231],"subfield,":[232],"special":[234],"sessions":[235],"major":[238],"conference.":[240],"2020":[245],"Alonzo":[246],"Church":[247],"Award,":[248],"highest":[250],"research":[253],"logic":[255],"computation.":[257],"third":[259],"specifically":[262],"on":[263,462,465],"\u2018fuzzy\u2019)":[266],"logic,":[267,310],"arose":[268],"part":[270],"large":[273,336],"\u2018Logical":[274],"Neural":[275],"Nets\u2019":[276],"(LNN)":[277],"project":[278],"at":[279,316,368],"IBM.":[280],"inputs":[282],"to,":[283],"say,":[284],"\u2018and\u2019":[286],"gate":[287],"could":[288,314],"be":[290,357],"any":[291],"numbers":[292],"interval":[295],"[0,1].":[296],"LNN":[301],"complete":[306,332],"axiomatization":[307,333],"so":[311],"they":[313],"arrive":[315],"truth":[317,321],"values":[318,322],"other":[320,362],"whenever":[323],"possible.":[324],"recent":[326],"provides":[328],"class":[337],"including":[341],"most":[343],"common":[344],"ones.":[345],"It":[346],"also":[347],"allows":[348],"weights,":[349],"where":[350],"importance":[352],"some":[354],"subformulas":[355],"can":[356,425],"greater":[358],"than":[359],"subformulas.":[363],"aimed":[367],"both":[369],"theoreticians":[370,407],"builders,":[373,397],"show":[375,410],"them":[376],"mutual":[378],"benefits":[379],"working":[381],"together.":[382],"via":[385],"mentioned":[390],"above:":[391],"two":[392],"theoreticians.":[402,446],"moral":[404,431],"example":[412],"how":[413],"apply":[415],"practice,":[418],"why":[420],"practice":[424],"lead":[426],"better":[428],"theory.":[429],"value":[438,443],"theory,":[440],"written":[450],"very":[453],"informal":[454],"style.":[455],"fact,":[457],"it":[458],"based":[460],"closely":[461],"talk":[464],"\u2018Applying":[466],"practice\u2019":[469],"has":[473],"presented":[474],"times.":[478]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}