{“id”:“https://openalex.org/W2172093757“,”doi“:”https://doi.org/10.1006/jvlc.1998.0090“,”title“:“逻辑和逻辑编程的可视化语法”,”display_name“:”逻辑和逻辑程序设计的可视化语法“,”publication_year“:1998,”publiation_date“:”1998-08-01“,”ids“:{”openalex“:”https://openalex.org/W2172093757“,”doi“:”https://doi.org/10.1006/jvlc.1998.0090“,”mag“:”2172093757“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1006/jvlc.1998.0090“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S206928812“,”“display_name”:“视觉语言与计算杂志”,“issn_l”:“1045-926X”,“isn”:[“1045-92 6X”、“1095-8533”],“is_oa”:false,“is_ in_doaj”:false,“host_organization”:“https://openalex.org/P4310320990“,”“host_organization_name”:“Elsevier BV”,“host_organization_lineage”:[“https://openalex.org/P4310320990“],”host_organization_lineage_names“:[”Elsevier BV“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”article“,”type_crossref“:“jornal-article”,“indexed_in”:[”crossref“],pository_has_fulltext“:false},”authorships“:[{”author_position“:”first“,”author“:{”id“:”https://openalex.org/A5033217503“,”display_name“:”Jaume Agust\u00cd“,”orcid“:null},”institutions“:[],”countries“:[”ES“],”is_corresponding“:false,”raw_author_name“,”Jaume-Agust\u00cd“,”raw _affiliation_strings“:【”Institute d’Investigaci\u00f3\u00e8,Consejo Superior de Investigociones Cient\u0131\u0301,Bellaterra,Catalonia,Spainf1{agusti,jpf}@iiia.csic.esf1“]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5073496398“,”display_name“:”Jordi Puigsegur“,”orcid“:null},”institutions“:[],”countries“:[”ES“],”is_corresponding“:false,”raw_author_name“,”Jordi-Puigsecur“,“raw_affiliation_strings”:[”Institute d’Investigaci\u00f3\u00e8,Consejo Superior de Investigciones Cient\u0131\u0301,Bellaterra,Catalonia,Spainf1{agusti,jpf}@iiia.csic.esf1“]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5043126337“,”display_name“:”Dave Robertson“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I98677209“,”display_name“:”爱丁堡大学“,”ror“:”https://ror.org/01nrxwf90“,”country_code“:”GB“,”type“:“教育”,”世系“:[”https://openalex.org/I98677209“]}],”国家“:[”GB“],”is_corresponding“:false,”raw_author_name“:”Dave Robertson“,”raw _affiliation_strings“:[“爱丁堡大学人工智能系,爱丁堡,U.K.f2dr@aisb.ed.ac.ukf2“]}],”countries_distinct_count“:2,”institutions_disting_count”:1,”corresponding_author_ids“:[],”correcponding_institution_ids”:[]、“apc_list”:null,”apc_payed“:null、”has_fulltext“:true、”fulltext_origin“:”ngrams“,”cited_by_count“问题”:“4”,“first_page”:“399”,“last_page”:“427”},“is_retracted”:false,“is_paratext”:false,“primary_topic”:{“id”:“https://openalex.org/T10799“,”display_name“:”信息可视化与可视化数据挖掘“,”score“:0.9721,”subfield“:{”id“:”https://openalex.org/subfields/1707“,”display_name“:”计算机视觉和模式识别“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T10799“,”display_name“:”信息可视化与可视化数据挖掘“,”score“:0.9721,”subfield“:{”id“:”https://openalex.org/subfields/1707“,”display_name“:”计算机视觉和模式识别“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11596“,”display_name“:”分布式约束优化问题与算法“,”score“:0.964,”subfield“:{”id“:”https://openalex.org/subfields/1705“,”display_name“:”计算机网络和通信“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11450“,”display_name“:”软件开发中的模型驱动工程“,”score“:0.9521,”subfield“:{”id“:”https://openalex.org/subfields/1712“,”display_name“:”软件“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/information-visualization网站“,”display_name“:”信息可视化“,”score“:0.546967},{”id“:”https://openalex.org/keywords/interactive-visualization网站“,”display_name“:”交互式可视化“,”score“:0.546948},{”id“:”https://openalex.org/keywords/visual-representation网站“,”display_name“:”视觉表现“,”score“:0.537956},{”id“:”https://openalex.org/keywords/graph-visualization网站“,”display_name“:”图形可视化“,”score“:0.513375},{”id“:”https://openalex.org/keywords/temoral-reasoning网站“,”display_name“:”时态推理“,”score“:0.512153}],”concepts“:[{”id“:”https://openalex.org/C106624574,“wikidata”:https://www.wikidata.org/wiki/Q5270387“,”display_name“:”图解推理“,”level“:2,”score“:0.834252},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.8219887},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.72567046},{”id“:”https://openalex.org/C45357846,“wikidata”:https://www.wikidata.org/wiki/Q2001982“,”display_name“:”Notation“,”level“:2,”score“:0.5305453},{”id“:”https://openalex.org/C128838566,“wikidata”:https://www.wikidata.org/wiki/Q275603“,”display_name“:”逻辑编程“,”level“:2,”score“:0.5121367},{”id“:”https://openalex.org/C128644962,“wikidata”:https://www.wikidata.org/wiki/Q683111“,”display_name“:”可视化编程语言“,”level“:2,”score“:0.48581243},{”id“:”https://openalex.org/C2775945657,“wikidata”:https://www.wikidata.org/wiki/Q381442“,”display_name“:”结构化“,”级别“:2,”分数“:0.46938795},{”id“:”https://openalex.org/C146206909,“wikidata”:https://www.wikidata.org/wiki/Q531152“,”display_name“:”声明性编程“,”level“:4,”score“:0.4589009},{”id“:”https://openalex.org/C177264268,“wikidata”:https://www.wikidata.org/wiki/Q1514741“,”display_name“:”Set(abstract data type)“,”level“:2,”score“:0.43354252},{”id“:”https://openalex.org/C60048249,“wikidata”:https://www.wikidata.org/wiki/Q37437“,”display_name“:”Syntax“,”level“:2,”score“:0.43164876},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.35815683},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.3162874},{”id“:”https://openalex.org/C34165917,“wikidata”:https://www.wikidata.org/wiki/Q188267“,”display_name“:”编程范例“,”level“:2,”score“:0.26366717},{”id“:”https://openalex.org/C50033165,“wikidata”:https://www.wikidata.org/wiki/Q15712089网址“,”display_name“:”归纳编程“,”level“:3,”score“:0.1966083},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.10980937},{”id“:”https://openalex.org/C94375191,“wikidata”:https://www.wikidata.org/wiki/Q11205“,”display_name“:”算术“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C10138342,“wikidata”:https://www.wikidata.org/wiki/Q43015“,”display_name“:”Finance“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C162324750,“wikidata”:https://www.wikidata.org/wiki/Q8134“,”display_name“:”Economics“,”level“:0,”score“:0.0}],”mesh“:[],”locations_count“:1,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1006/jvlc.1998.0090“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S206928812“,”display_name“:”视觉语言与计算杂志“,”issn_l“:”1045-926X“,”issn“:[”1045-926X“,”1095-8533“],”is_oa“:false,”is_in_doaj“:false,”host_organization“:”https://openalex.org/P4310320990“,”“host_organization_name”:“Elsevier BV”,“host_organization_lineage”:[“https://openalex.org/P4310320990“],”host_organization_lineage_names“:[”Elsevier BV“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false}],“best_oa_location”:nul,“sustainable_development_goals”:[{“id”:“https://metadata.un.org/sdg/4“,”display_name“:”素质教育“,”score“:0.44}],”grants“:[],”datasets“:【】,”versions“:【],”referenced_works_count“:0,”referrenced_works“:[],”related_work斯“:[”https://openalex.org/W648195185","https://openalex.org/W4288333367","https://openalex.org/W4287829362","https://openalex.org/W4249601279","https://openalex.org/W3018143143","https://openalex.org/W3009891130","https://openalex.org/W2951004607","https://openalex.org/W2553706208","https://openalex.org/W2348463574","https://openalex.org/W2106957639“],”ngrams_url“:”https://api.openalex.org/works/W2172093757/ngrams“,”“abstract_inverted_index”:{“It”:[0],“is”:[1,20,52],“commonly”:[2],“accepted”:[3],“that”:[4,53],“non-logicians”:[5],“have”:[6],“difficiency”:[7],“in”:[8,11,48123150],“expressing”:[9],“self”:[10],“first order”:[12],“logic.”:[13],“Part”:[14],“of”:[15,36,42,54,59]6,65,80,90106129138],“该”:[16,34,43,60127],“视觉”:[17,24,28131],“语言“:[18140],”社区“:[19],”关注“:[21],”with“:[22],”provided“:[23],”notations“:[25],”which“:[26,63,92],”use“:[27,58,79,89],”cules“:[29],“(\u2018declarative“:[30],”diagrams\u2019)”:[31],“to”:[32,99],“make”:[33,77],“structuring”:[35],“logical”:[37],“expressions”:[38],“更多”:[39,44,87],“直观。“:[40],”一“:[41],”成功“:[45],”隐喻“:[46],”使用“:[47],”这样“:[49,81],”图解“:[50,73],”语言“:[51,74],”集合“:[55],”包含“:[56],”制造“:[57],”图形“:[61],”直觉“:[62],”大多数“:[64],”我们“:[66],”are“:[67126147],”教授“:[68],”at“:[69],”学校。“:[70],”现有“:[71],”声明性“:[72],”做“:[75],”不“:[76],”完整“:[78],”基于集合“:[82],”直觉。“:[83],“我们”:[84],“现在”:[85],“a”:[86103116130142],“统一”:[88],“集合”:[91],“允许”:[93],“简单”:[94],“但是”:[95],“高度”:[96],“表达”:[97],“图表”:[98110],“be”:[100],“constructed”:[101],“from”:[102],“small”:[104],“number”:[105],“primitive”:[107],“components”●●●●。“:[108],”这些“:[109],”提供“:[111],”一个“:[112],”替代“:[113],”表示法“:[114],”用于“:[115],”计算“:[117],”逻辑“:[118132144],”和,“:[119],”作为“:[120],”我们“:[121],”显示“:[122],”此“:[124139151],”纸张,“:/125],”基础“:[128],”编程“:[133145],”语言。“:[134],”The“:[135],”first“:[136],”implementation“:[137],”and“:[141],”heteropic“:[143],”environment“:[146],”also“:[148],”presented“:%149],”paper。“:[152]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2172093757“,”“counts_by_year”:[{“年份”:2023,”“cited_by_count”:1},{“年度”:2021,”“cited_by_cunt”:1',{”“年份”“:2020,”“cited_by-count”“:1},{年”:2019,“cited_by_cont”“创建日期”:“2016-06-24”}