{"id":"https://openalex.org/W2551134728","doi":"https://doi.org/10.1007/978-3-662-53826-5_15","title":"Context Update for Lambdas and Vectors","display_name":"Context Update for Lambdas and Vectors","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2551134728","doi":"https://doi.org/10.1007/978-3-662-53826-5_15","mag":"2551134728"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-53826-5_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-662-53826-5_15","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/978-3-662-53826-5_15","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004614569","display_name":"Reinhard Muskens","orcid":"https://orcid.org/0000-0002-1998-3858"},"institutions":[{"id":"https://openalex.org/I193700539","display_name":"Tilburg University","ror":"https://ror.org/04b8v1s79","country_code":"NL","type":"education","lineage":["https://openalex.org/I193700539"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Reinhard Muskens","raw_affiliation_strings":["Department of Philosophy, Tilburg University, Tilburg, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Tilburg University, Tilburg, The Netherlands","institution_ids":["https://openalex.org/I193700539"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040601882","display_name":"Mehrnoosh Sadrzadeh","orcid":"https://orcid.org/0000-0002-5863-7835"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mehrnoosh Sadrzadeh","raw_affiliation_strings":["School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK"],"affiliations":[{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK","institution_ids":["https://openalex.org/I166337079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5004614569"],"corresponding_institution_ids":["https://openalex.org/I193700539"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.6045,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.85181644,"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":"247","last_page":"254"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9987000226974487,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9987000226974487,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9975000023841858,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9973000288009644,"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/computer-science","display_name":"Computer science","score":0.8072960376739502},{"id":"https://openalex.org/keywords/denotation","display_name":"Denotation (semiotics)","score":0.7343671917915344},{"id":"https://openalex.org/keywords/truth-value","display_name":"Truth value","score":0.6652905941009521},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6168474555015564},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.5652467012405396},{"id":"https://openalex.org/keywords/simply-typed-lambda-calculus","display_name":"Simply typed lambda calculus","score":0.5505200624465942},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5491122603416443},{"id":"https://openalex.org/keywords/truth-condition","display_name":"Truth condition","score":0.5312495231628418},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4682674705982208},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.45722758769989014},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.44566383957862854},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43607693910598755},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2911553978919983},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.26967310905456543},{"id":"https://openalex.org/keywords/typed-lambda-calculus","display_name":"Typed lambda calculus","score":0.1369415819644928},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.07201084494590759}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8072960376739502},{"id":"https://openalex.org/C149106765","wikidata":"https://www.wikidata.org/wiki/Q1982453","display_name":"Denotation (semiotics)","level":3,"score":0.7343671917915344},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.6652905941009521},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6168474555015564},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.5652467012405396},{"id":"https://openalex.org/C61237538","wikidata":"https://www.wikidata.org/wiki/Q855192","display_name":"Simply typed lambda calculus","level":4,"score":0.5505200624465942},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5491122603416443},{"id":"https://openalex.org/C39308869","wikidata":"https://www.wikidata.org/wiki/Q2891657","display_name":"Truth condition","level":2,"score":0.5312495231628418},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4682674705982208},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.45722758769989014},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.44566383957862854},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43607693910598755},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2911553978919983},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.26967310905456543},{"id":"https://openalex.org/C142156749","wikidata":"https://www.wikidata.org/wiki/Q2607208","display_name":"Typed lambda calculus","level":3,"score":0.1369415819644928},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.07201084494590759},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C139997677","wikidata":"https://www.wikidata.org/wiki/Q60195","display_name":"Semiotics","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-662-53826-5_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-662-53826-5_15","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-662-53826-5_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-662-53826-5_15","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.6700000166893005,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G5779174713","display_name":null,"funder_award_id":"EP/J002607/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G89514059","display_name":null,"funder_award_id":"EP/J002607/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W649806041","https://openalex.org/W1015285300","https://openalex.org/W1509297014","https://openalex.org/W2075322664","https://openalex.org/W2080100102","https://openalex.org/W2102347908","https://openalex.org/W2121243963","https://openalex.org/W2125960523","https://openalex.org/W2144373529","https://openalex.org/W2145546300","https://openalex.org/W2148109221","https://openalex.org/W2154430635","https://openalex.org/W2186970341","https://openalex.org/W2200913422"],"related_works":["https://openalex.org/W4200482206","https://openalex.org/W3123171335","https://openalex.org/W4294236610","https://openalex.org/W1595139175","https://openalex.org/W4387612930","https://openalex.org/W2761902706","https://openalex.org/W2379248360","https://openalex.org/W2002302478","https://openalex.org/W2110435210","https://openalex.org/W2551134728"],"abstract_inverted_index":{"Abstract":[0],"Vector":[1],"models":[2,21],"of":[3,11,27,31,43,61,104],"language":[4,80],"are":[5],"based":[6,81,100],"on":[7,23,82,101],"the":[8,24,29,38,41,83,94],"contextual":[9],"aspects":[10,26],"words":[12],"and":[13,33,50,98],"how":[14],"they":[15],"co-occur":[16],"in":[17],"text.":[18],"Truth":[19],"conditional":[20,96],"focus":[22],"logical":[25],"language,":[28],"denotations":[30],"phrases,":[32],"their":[34],"compositional":[35],"properties.":[36],"In":[37,70],"latter":[39],"approach":[40],"denotation":[42],"a":[44,56,59,64,76,102],"sentence":[45],"determines":[46],"its":[47],"truth":[48,57,95],"conditions":[49],"can":[51],"be":[52,55],"taken":[53],"to":[54],"value,":[58],"set":[60],"possible":[62],"worlds,":[63],"context":[65,110],"change":[66],"potential,":[67],"or":[68],"similar.":[69],"this":[71],"short":[72],"paper,":[73],"we":[74],"develop":[75],"vector":[77],"semantics":[78,89],"for":[79],"simply":[84],"typed":[85],"lambda":[86],"calculus.":[87],"Our":[88],"uses":[90],"techniques":[91],"familiar":[92],"from":[93],"tradition":[97],"is":[99],"form":[103],"dynamic":[105],"interpretation":[106],"inspired":[107],"by":[108],"Heim\u2019s":[109],"updates.":[111]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}