{"id":"https://openalex.org/W3080497637","doi":"https://doi.org/10.24963/kr.2020/7","title":"Stable and Supported Semantics in Continuous Vector Spaces","display_name":"Stable and Supported Semantics in Continuous Vector Spaces","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3080497637","doi":"https://doi.org/10.24963/kr.2020/7","mag":"3080497637"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/7","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/7","pdf_url":"https://proceedings.kr.org/2020/7/kr2020-0007-aspis-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/7/kr2020-0007-aspis-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058916144","display_name":"Yaniv Aspis","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Yaniv Aspis","raw_affiliation_strings":["Imperial College London"],"affiliations":[{"raw_affiliation_string":"Imperial College London","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104043219","display_name":"Krysia Broda","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Krysia Broda","raw_affiliation_strings":["Imperial College London"],"affiliations":[{"raw_affiliation_string":"Imperial College London","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046462940","display_name":"Alessandra Russo","orcid":"https://orcid.org/0000-0002-3318-8711"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alessandra Russo","raw_affiliation_strings":["Imperial College London"],"affiliations":[{"raw_affiliation_string":"Imperial College London","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5105652031","display_name":"Jorge Lobo","orcid":"https://orcid.org/0000-0002-9438-0926"},"institutions":[{"id":"https://openalex.org/I11932220","display_name":"Instituci\u00f3 Catalana de Recerca i Estudis Avan\u00e7ats","ror":"https://ror.org/0371hy230","country_code":"ES","type":"nonprofit","lineage":["https://openalex.org/I11932220"]},{"id":"https://openalex.org/I170486558","display_name":"Pompeu Fabra University","ror":"https://ror.org/04n0g0b29","country_code":"ES","type":"education","lineage":["https://openalex.org/I170486558"]},{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["ES","GB"],"is_corresponding":false,"raw_author_name":"Jorge Lobo","raw_affiliation_strings":["ICREA","Imperial College London","Universitat Pompeu Fabra"],"affiliations":[{"raw_affiliation_string":"ICREA","institution_ids":["https://openalex.org/I11932220"]},{"raw_affiliation_string":"Imperial College London","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Universitat Pompeu Fabra","institution_ids":["https://openalex.org/I170486558"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5058916144"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":0.5438,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.73824998,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"59","last_page":"68"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9987999796867371,"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/T10142","display_name":"Formal Methods in Verification","score":0.9944000244140625,"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/semantics","display_name":"Semantics (computer science)","score":0.5513345003128052},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4597736597061157},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4436124265193939},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.4253499507904053},{"id":"https://openalex.org/keywords/vector-space","display_name":"Vector space","score":0.42521920800209045},{"id":"https://openalex.org/keywords/differentiable-function","display_name":"Differentiable function","score":0.42220497131347656},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.4161238372325897},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4125468134880066},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3937125504016876},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38044849038124084},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3772081434726715},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3484240770339966},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2885538339614868},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.24403351545333862},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07355529069900513}],"concepts":[{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5513345003128052},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4597736597061157},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4436124265193939},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4253499507904053},{"id":"https://openalex.org/C13336665","wikidata":"https://www.wikidata.org/wiki/Q125977","display_name":"Vector space","level":2,"score":0.42521920800209045},{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.42220497131347656},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.4161238372325897},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4125468134880066},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3937125504016876},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38044849038124084},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3772081434726715},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3484240770339966},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2885538339614868},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.24403351545333862},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07355529069900513},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/kr.2020/7","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/7","pdf_url":"https://proceedings.kr.org/2020/7/kr2020-0007-aspis-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/88581","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/88581","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020","raw_type":"Conference Paper"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/7","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/7","pdf_url":"https://proceedings.kr.org/2020/7/kr2020-0007-aspis-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3056544016","display_name":null,"funder_award_id":"W911NF-16-3-0001","funder_id":"https://openalex.org/F4320338295","funder_display_name":"Army Research Laboratory"},{"id":"https://openalex.org/G5259331294","display_name":null,"funder_award_id":"W911NF","funder_id":"https://openalex.org/F4320338295","funder_display_name":"Army Research Laboratory"},{"id":"https://openalex.org/G70501408","display_name":null,"funder_award_id":"W911NF1910432","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G7452299184","display_name":null,"funder_award_id":"W911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G8998121839","display_name":null,"funder_award_id":"911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G965573633","display_name":null,"funder_award_id":"W911NF1910","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"}],"funders":[{"id":"https://openalex.org/F4320321837","display_name":"Ministerio de Econom\u00eda y Competitividad","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"},{"id":"https://openalex.org/F4320338295","display_name":"Army Research Laboratory","ror":"https://ror.org/011hc8f90"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3080497637.pdf","grobid_xml":"https://content.openalex.org/works/W3080497637.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W128869332","https://openalex.org/W1580831253","https://openalex.org/W1672891595","https://openalex.org/W1766332311","https://openalex.org/W1903938722","https://openalex.org/W1968513265","https://openalex.org/W1969965298","https://openalex.org/W1985980194","https://openalex.org/W2011124182","https://openalex.org/W2063499502","https://openalex.org/W2108911687","https://openalex.org/W2140587192","https://openalex.org/W2407673450","https://openalex.org/W2427182019","https://openalex.org/W2737086355","https://openalex.org/W2775300540","https://openalex.org/W2786776430","https://openalex.org/W2804796373","https://openalex.org/W2804987818","https://openalex.org/W2808141891","https://openalex.org/W2898098713","https://openalex.org/W2898807104","https://openalex.org/W2948209403","https://openalex.org/W2951494809","https://openalex.org/W2962924847","https://openalex.org/W2963275055","https://openalex.org/W2964031560","https://openalex.org/W2970132321","https://openalex.org/W2995129620","https://openalex.org/W2997359684","https://openalex.org/W3011613428","https://openalex.org/W3073208685","https://openalex.org/W3149448910","https://openalex.org/W4211177236","https://openalex.org/W4298084898","https://openalex.org/W4361876935","https://openalex.org/W6637298476","https://openalex.org/W6638065767","https://openalex.org/W6675861551","https://openalex.org/W6713462981","https://openalex.org/W6724294953","https://openalex.org/W6746189138","https://openalex.org/W6747173151","https://openalex.org/W6748262478","https://openalex.org/W6752748648"],"related_works":["https://openalex.org/W4285277090","https://openalex.org/W4327738859","https://openalex.org/W2077314575","https://openalex.org/W2348722996","https://openalex.org/W4315701745","https://openalex.org/W1990290471","https://openalex.org/W4380682190","https://openalex.org/W2005710836","https://openalex.org/W1996226968","https://openalex.org/W2112408611"],"abstract_inverted_index":{"We":[0,129],"introduce":[1],"a":[2,22,35,42,51,82,92,101,113],"novel":[3],"approach":[4,146],"for":[5],"the":[6,27,30,78,131,142,145,155,158],"computation":[7],"of":[8,13,29,34,50,81,100,133,144,157],"stable":[9,98],"and":[10,61,91,97,147],"supported":[11,96],"models":[12,99],"normal":[14,83,102],"logic":[15,84,103],"programs":[16,139],"in":[17,41,59,68,112],"continuous":[18,114],"vector":[19,43],"spaces":[20],"by":[21],"gradient-based":[23],"search":[24],"method.":[25,128],"Specifically,":[26],"application":[28],"immediate":[31],"consequence":[32],"operator":[33],"program":[36,53,62,85,104],"reduct":[37],"can":[38,105,118,153],"be":[39,107,119],"computed":[40],"space.":[44],"To":[45],"do":[46],"this,":[47],"Herbrand":[48],"interpretations":[49],"propositional":[52],"are":[54,64],"embedded":[55],"as":[56,66,109,126],"0-1":[57],"vectors":[58],"$\\mathbb{R}^N$":[60],"reducts":[63],"represented":[65],"matrices":[67],"$\\mathbb{R}^{N":[69],"\\times":[70],"N}$.":[71],"Using":[72],"these":[73],"representations":[74],"we":[75],"prove":[76],"that":[77,140],"underlying":[79],"semantics":[80],"is":[86],"captured":[87],"through":[88],"matrix":[89],"multiplication":[90],"differentiable":[93],"operation.":[94],"As":[95],"now":[106],"seen":[108],"fixed":[110],"points":[111],"space,":[115],"non-monotonic":[116],"deduction":[117],"performed":[120],"using":[121,136],"an":[122],"optimisation":[123],"process":[124],"such":[125],"Newton's":[127],"report":[130],"results":[132],"several":[134],"experiments":[135],"synthetically":[137],"generated":[138],"demonstrate":[141],"feasibility":[143],"highlight":[148],"how":[149],"different":[150],"parameter":[151],"values":[152],"affect":[154],"behaviour":[156],"system.":[159]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}