{"id":"https://openalex.org/W3207267202","doi":"https://doi.org/10.1145/3472749.3474779","title":"Taxon: a Language for Formal Reasoning with Digital Fabrication Machines","display_name":"Taxon: a Language for Formal Reasoning with Digital Fabrication Machines","publication_year":2021,"publication_date":"2021-10-10","ids":{"openalex":"https://openalex.org/W3207267202","doi":"https://doi.org/10.1145/3472749.3474779","mag":"3207267202"},"language":"en","primary_location":{"id":"doi:10.1145/3472749.3474779","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3472749.3474779","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3472749.3474779","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 34th Annual ACM Symposium on User Interface Software and Technology","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3472749.3474779","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056690614","display_name":"Jasper Tran O'Leary","orcid":"https://orcid.org/0000-0003-3882-3144"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jasper Tran O'Leary","raw_affiliation_strings":["University of Washington, United States"],"affiliations":[{"raw_affiliation_string":"University of Washington, United States","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066993902","display_name":"Chandrakana Nandi","orcid":"https://orcid.org/0000-0001-8633-8413"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chandrakana Nandi","raw_affiliation_strings":["University of Washington, United States"],"affiliations":[{"raw_affiliation_string":"University of Washington, United States","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044434874","display_name":"Khang Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Khang Lee","raw_affiliation_strings":["University of Washington, United States"],"affiliations":[{"raw_affiliation_string":"University of Washington, United States","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057669561","display_name":"Nadya Peek","orcid":"https://orcid.org/0000-0001-9405-0399"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nadya Peek","raw_affiliation_strings":["University of Washington, United States"],"affiliations":[{"raw_affiliation_string":"University of Washington, United States","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5056690614"],"corresponding_institution_ids":["https://openalex.org/I201448701"],"apc_list":null,"apc_paid":null,"fwci":0.8896,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.79131107,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"691","last_page":"709"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10789","display_name":"Interactive and Immersive Displays","score":0.9921000003814697,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"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/T10783","display_name":"Additive Manufacturing and 3D Printing Technologies","score":0.9786999821662903,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7858162522315979},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6383706331253052},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.44645631313323975},{"id":"https://openalex.org/keywords/rule-of-thumb","display_name":"Rule of thumb","score":0.4106611907482147},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3950765132904053},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3808898329734802},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.34438014030456543},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33017292618751526},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23120036721229553},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.17958858609199524}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7858162522315979},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6383706331253052},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.44645631313323975},{"id":"https://openalex.org/C89246107","wikidata":"https://www.wikidata.org/wiki/Q1398821","display_name":"Rule of thumb","level":2,"score":0.4106611907482147},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3950765132904053},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3808898329734802},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.34438014030456543},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33017292618751526},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23120036721229553},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.17958858609199524}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3472749.3474779","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3472749.3474779","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3472749.3474779","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 34th Annual ACM Symposium on User Interface Software and Technology","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3472749.3474779","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3472749.3474779","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3472749.3474779","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 34th Annual ACM Symposium on User Interface Software and Technology","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3207267202.pdf","grobid_xml":"https://content.openalex.org/works/W3207267202.grobid-xml"},"referenced_works_count":59,"referenced_works":["https://openalex.org/W1511530761","https://openalex.org/W1836910194","https://openalex.org/W1912157869","https://openalex.org/W1961845056","https://openalex.org/W1970687670","https://openalex.org/W2027847765","https://openalex.org/W2029780972","https://openalex.org/W2053000265","https://openalex.org/W2057913402","https://openalex.org/W2065235686","https://openalex.org/W2068779004","https://openalex.org/W2084944215","https://openalex.org/W2105660272","https://openalex.org/W2122909041","https://openalex.org/W2130500927","https://openalex.org/W2135415614","https://openalex.org/W2149236697","https://openalex.org/W2178824098","https://openalex.org/W2219864925","https://openalex.org/W2247601005","https://openalex.org/W2311374921","https://openalex.org/W2346112500","https://openalex.org/W2346501993","https://openalex.org/W2346996780","https://openalex.org/W2395050409","https://openalex.org/W2406687334","https://openalex.org/W2414732103","https://openalex.org/W2516678343","https://openalex.org/W2610434393","https://openalex.org/W2611348597","https://openalex.org/W2738612304","https://openalex.org/W2765835038","https://openalex.org/W2775663585","https://openalex.org/W2796392003","https://openalex.org/W2808454487","https://openalex.org/W2809039849","https://openalex.org/W2886686348","https://openalex.org/W2888611489","https://openalex.org/W2890873226","https://openalex.org/W2896018541","https://openalex.org/W2902695790","https://openalex.org/W2935677582","https://openalex.org/W2949926960","https://openalex.org/W2980319421","https://openalex.org/W2981029508","https://openalex.org/W2981031913","https://openalex.org/W2981244488","https://openalex.org/W2998396744","https://openalex.org/W3014415287","https://openalex.org/W3031573541","https://openalex.org/W3031942812","https://openalex.org/W3033423882","https://openalex.org/W3037448539","https://openalex.org/W3038238667","https://openalex.org/W3047791797","https://openalex.org/W3101991178","https://openalex.org/W3105994008","https://openalex.org/W3125193087","https://openalex.org/W4288091274"],"related_works":["https://openalex.org/W2950805198","https://openalex.org/W2036433081","https://openalex.org/W1981780420","https://openalex.org/W2182707996","https://openalex.org/W45233828","https://openalex.org/W2964988449","https://openalex.org/W3182610686","https://openalex.org/W188202134","https://openalex.org/W2029380707","https://openalex.org/W2397952901"],"abstract_inverted_index":{"Digital":[0],"fabrication":[1,69,161],"machines":[2,40,105,154],"for":[3,26,44,103,106,126,179,187],"makers":[4,95,136,180],"have":[5],"expanded":[6],"access":[7],"to":[8,29,184],"manufacturing":[9],"processes":[10],"such":[11],"as":[12],"3D":[13],"printing,":[14],"laser":[15],"cutting,":[16],"and":[17,36,53,64,88,110,116,128,142,159,181,190],"milling.":[18],"While":[19],"digital":[20,68,160],"models":[21],"encode":[22],"the":[23,34,39,120],"data":[24],"necessary":[25],"a":[27,78,82,107,123,176],"machine":[28,131],"manufacture":[30],"an":[31],"object,":[32],"understanding":[33,145],"trade-offs":[35],"limitations":[37],"of":[38,63,99,140,146],"themselves":[41],"is":[42,50],"crucial":[43],"successful":[45],"production.":[46],"Yet,":[47],"this":[48,92],"knowledge":[49],"not":[51,169],"codified":[52],"must":[54],"be":[55],"gained":[56],"through":[57],"experience,":[58],"which":[59],"limits":[60],"both":[61,156],"adoption":[62],"creative":[65],"exploration":[66],"with":[67,122,130,138,193],"tools.":[70],"To":[71],"formally":[72],"represent":[73],"machines,":[74,173],"we":[75],"present":[76],"Taxon,":[77],"language":[79,121],"that":[80,101,112,165],"encodes":[81],"machine\u2019s":[83],"high-level":[84],"characteristics,":[85],"physical":[86],"composition,":[87],"performable":[89],"actions.":[90],"With":[91],"programmatic":[93],"foundation,":[94],"can":[96],"develop":[97,185],"rules":[98,139],"thumb":[100,141],"filter":[102],"appropriate":[104],"given":[108],"job":[109],"verify":[111],"actions":[113],"are":[114],"feasible":[115],"safe.":[117],"We":[118,148,163],"integrate":[119],"browser-based":[124],"system":[125,134],"simulating":[127],"experimenting":[129],"workflows.":[132],"The":[133],"lets":[135],"engage":[137],"enrich":[143],"their":[144],"machines.":[147,194],"evaluate":[149],"Taxon":[150,167],"by":[151],"representing":[152],"several":[153],"from":[155],"common":[157],"practice":[158],"research.":[162],"find":[164],"while":[166],"does":[168],"exhaustively":[170],"describe":[171],"all":[172],"it":[174],"provides":[175],"starting":[177],"point":[178],"HCI":[182],"researchers":[183],"tools":[186],"reasoning":[188],"about":[189],"making":[191],"decisions":[192]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}