{"id":"https://openalex.org/W1980435744","doi":"https://doi.org/10.1145/2643135.2643162","title":"On the Declarative Structure of Quantum Concepts","display_name":"On the Declarative Structure of Quantum Concepts","publication_year":2014,"publication_date":"2014-09-08","ids":{"openalex":"https://openalex.org/W1980435744","doi":"https://doi.org/10.1145/2643135.2643162","mag":"1980435744"},"language":"en","primary_location":{"id":"doi:10.1145/2643135.2643162","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2643135.2643162","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-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/A5007137209","display_name":"Jerzy Karczmarczuk","orcid":null},"institutions":[{"id":"https://openalex.org/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Jerzy Karczmarczuk","raw_affiliation_strings":["D\u00e9partement d'informatique, University of Caen, France"],"affiliations":[{"raw_affiliation_string":"D\u00e9partement d'informatique, University of Caen, France","institution_ids":["https://openalex.org/I4210161954"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5007137209"],"corresponding_institution_ids":["https://openalex.org/I4210161954"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05795987,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"105","last_page":"110"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9988999962806702,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9988999962806702,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9986000061035156,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"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.7342349290847778},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6198906898498535},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.6137182116508484},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.598936140537262},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5206886529922485},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.4738985598087311},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.42707958817481995},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37989431619644165},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.24151891469955444},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.19720536470413208},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08190816640853882},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.0817326009273529},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.06878072023391724}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7342349290847778},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6198906898498535},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.6137182116508484},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.598936140537262},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5206886529922485},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.4738985598087311},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.42707958817481995},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37989431619644165},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.24151891469955444},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.19720536470413208},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08190816640853882},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0817326009273529},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.06878072023391724},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2643135.2643162","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2643135.2643162","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W32507011","https://openalex.org/W1533211775","https://openalex.org/W1619379664","https://openalex.org/W2050334794","https://openalex.org/W2067173395","https://openalex.org/W2099554648","https://openalex.org/W2123328018","https://openalex.org/W2131283815","https://openalex.org/W2157601714","https://openalex.org/W2914468402","https://openalex.org/W2990961515","https://openalex.org/W3007889862","https://openalex.org/W3027818173","https://openalex.org/W3098716890","https://openalex.org/W3100881209","https://openalex.org/W3105690832"],"related_works":["https://openalex.org/W2366107444","https://openalex.org/W4388145910","https://openalex.org/W2381570729","https://openalex.org/W1976205134","https://openalex.org/W4248336175","https://openalex.org/W2031260042","https://openalex.org/W2391445434","https://openalex.org/W3009369890","https://openalex.org/W4312490297","https://openalex.org/W2062212388"],"abstract_inverted_index":{"This":[0],"tutorial":[1],"documents":[2],"our":[3,40],"opinion":[4],"that":[5,13,33,67,76,100,111],"quantum":[6,18,44,87,134],"concepts":[7],"are":[8,77],"declarative":[9],"in":[10,90,106],"nature,":[11],"and":[12,89,108],"using":[14],"imperative":[15],"programming":[16],"for":[17,80],"computation":[19],"is":[20],"a":[21,29,35,68],"conceptual":[22],"mismatch.":[23],"We":[24,46,65,98],"show":[25,99],"how":[26],"to":[27],"construct":[28],"purely":[30,70],"functional":[31,71],"framework":[32],"describes":[34],"methodologically":[36],"more":[37,78],"correct":[38],"(in":[39],"opinion)":[41],"model":[42],"of":[43,86,92,121,128],"entities.":[45],"refrain":[47],"from":[48],"representing":[49],"explicitly,":[50],"as":[51,56],"data":[52],"structures,":[53],"such":[54],"objects":[55],"states":[57],"which":[58],"cannot":[59],"be":[60,104],"analysed":[61],"without":[62],"being":[63],"destroyed.":[64],"suggest":[66,110],"declarative,":[69],"approach":[72,102],"gives":[73],"formal":[74],"tools":[75],"adequate":[79],"reasoning":[81],"about":[82],"the":[83,119,122,125,133],"computational":[84],"sense/contents":[85],"entities,":[88],"general":[91],"several":[93],"mathematical":[94],"constructs":[95],"considered":[96],"abstract.":[97],"this":[101],"can":[103,114],"used":[105],"practice,":[107],"we":[109],"it":[112],"also":[113],"shed":[115],"some":[116],"light":[117],"on":[118],"sense":[120],"linearity":[123],"--":[124,131],"geometric":[126],"property":[127],"vector":[129],"spaces":[130],"within":[132],"framework.":[135]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}