{"id":"https://openalex.org/W2394570498","doi":"https://doi.org/10.29007/hg9q","title":"Unranked Anti-Unification with Hedge and Context Variables","display_name":"Unranked Anti-Unification with Hedge and Context Variables","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2394570498","doi":"https://doi.org/10.29007/hg9q","mag":"2394570498"},"language":"en","primary_location":{"id":"doi:10.29007/hg9q","is_oa":true,"landing_page_url":"https://doi.org/10.29007/hg9q","pdf_url":"https://easychair.org/publications/open/Lq","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/Lq","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064391847","display_name":"Alexander Baumg\u00e4rtner","orcid":"https://orcid.org/0000-0002-2802-3074"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Alexander Baumgartner","raw_affiliation_strings":["Johannes Kepler University Linz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080230891","display_name":"Temur Kutsia","orcid":"https://orcid.org/0000-0003-4084-7380"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Temur Kutsia","raw_affiliation_strings":["Johannes Kepler University Linz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I121883995"],"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":"19","issue":null,"first_page":"13","last_page":"3"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9884999990463257,"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.9884999990463257,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9787999987602234,"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/unification","display_name":"Unification","score":0.8822280168533325},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.7608970999717712},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.7098603248596191},{"id":"https://openalex.org/keywords/hedge","display_name":"Hedge","score":0.6951559782028198},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6220773458480835},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6023820638656616},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5079064965248108},{"id":"https://openalex.org/keywords/style","display_name":"Style (visual arts)","score":0.46715372800827026},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4618161916732788},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.40721943974494934},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.37428712844848633},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20578956604003906},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.0737176239490509},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06060236692428589}],"concepts":[{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.8822280168533325},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.7608970999717712},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.7098603248596191},{"id":"https://openalex.org/C70771513","wikidata":"https://www.wikidata.org/wiki/Q235779","display_name":"Hedge","level":2,"score":0.6951559782028198},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6220773458480835},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6023820638656616},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5079064965248108},{"id":"https://openalex.org/C2776445246","wikidata":"https://www.wikidata.org/wiki/Q1792644","display_name":"Style (visual arts)","level":2,"score":0.46715372800827026},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4618161916732788},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.40721943974494934},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.37428712844848633},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20578956604003906},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0737176239490509},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06060236692428589},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/hg9q","is_oa":true,"landing_page_url":"https://doi.org/10.29007/hg9q","pdf_url":"https://easychair.org/publications/open/Lq","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/hg9q","is_oa":true,"landing_page_url":"https://doi.org/10.29007/hg9q","pdf_url":"https://easychair.org/publications/open/Lq","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3309123457","display_name":null,"funder_award_id":"P 24087-N18","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G4796613251","display_name":"SToUT: Symbolic Computation Techniques for Unranked Terms","funder_award_id":"P 24087","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2394570498.pdf","grobid_xml":"https://content.openalex.org/works/W2394570498.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1493621282","https://openalex.org/W1541777152","https://openalex.org/W1545897260","https://openalex.org/W1569963244","https://openalex.org/W1575597610","https://openalex.org/W1967732276","https://openalex.org/W2040074068","https://openalex.org/W2141979816","https://openalex.org/W2912710002","https://openalex.org/W4285719527","https://openalex.org/W6675013432","https://openalex.org/W6758731047","https://openalex.org/W7075683500"],"related_works":["https://openalex.org/W2367630557","https://openalex.org/W101666983","https://openalex.org/W2183792531","https://openalex.org/W2595286499","https://openalex.org/W2616882931","https://openalex.org/W2471908688","https://openalex.org/W1845283042","https://openalex.org/W2115512867","https://openalex.org/W4231718283","https://openalex.org/W2222594822"],"abstract_inverted_index":{"In":[0],"this":[1],"work":[2],"we":[3],"study":[4],"anti-unification":[5,23],"for":[6],"unranked":[7,20],"terms":[8],"and":[9,13,29,44,65,93],"hedges,":[10,64],"permitting":[11],"context":[12],"hedge":[14,38,66],"variables.":[15],"Hedges":[16],"are":[17,46,55,68,101],"sequences":[18],"of":[19,25,48,88,90,108],"terms.":[21],"The":[22,98],"problem":[24],"two":[26],"hedges":[27,92],"s":[28,43],"q":[30,45],"is":[31],"concerned":[32],"with":[33],"finding":[34],"their":[35],"generalization,":[36],"a":[37,86,105],"g":[39,49],"such":[40],"that":[41],"both":[42],"instances":[47],"under":[50],"some":[51],"substitutions.":[52],"Context":[53],"variables":[54,67],"used":[56,69],"to":[57,70],"abstract":[58,71],"vertical":[59],"differences":[60],"in":[61,78],"the":[62,96],"input":[63,91],"horizontal":[72],"differences.":[73,97],"A":[74],"rule":[75],"based":[76],"system":[77],"Huet's":[79],"style":[80],"will":[81],"be":[82],"presented,":[83],"which":[84],"computes":[85],"set":[87],"generalizations":[89,100],"records":[94],"all":[95],"computed":[99],"least":[102],"general":[103],"among":[104],"certain":[106],"class":[107],"generalizations.":[109]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}