{“id”：“https://openalex.org/W1533158178“，”doi“：”https://doi.org/10.1007/978-3-540-30227-8_25“，”title“：“Prolog的\u201cEfficient\u201d否定的正确性和完整性”，“display_name”：“Prolog的\u 201cEffective\u 201d否定正确性和完全性”，”publication_year“：2004，”publitation_date“：”2004-01-01“，”ids“：{”openalex“：”https://openalex.org/W1533158178“，”doi“：”https://doi.org/10.1007/978-3-540-30227-8_25“，”mag“：”1533158178“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-30227-8_25“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5055654444“，”display_name“：”Juan Jos\u00e9 Moreno-Navarro“，”orcid“：”https://orcid.org/0000-0001-8842-8359}，“机构”：[{“id”：https://openalex.org/I88060688“，”display_name“：”马德里政治大学“，”ror“：”https://ror.org/03n6nwv02“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I88060688“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Juan Jos\u00e9 Moreno-Navarro“，”raw _affiliation_strings“：[“LSIIS\u2013 Facultad de Inform \u00e1tica，Universidad Polit\u00e 9cnica de Madrid Dpto，Campus de Montegancedo s/n，28660，Madrid，Spain”]，“afliations”：[{“raw_affiliation _string”：“LSIIS\u2013马德里政治大学信息学院（Facultad de Inform\u00e1tica，Universidad Polit\u00e 9cnica de Madrid Dpto，Campus de Montegancedo s/n，28660，Madrid，Spain）“，”institution_ids“：[”https://openalex.org/I88060688“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5053617307“，”display_name“：”Susana Mu\u00f1oz-Hern\u00e1ndez“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I88060688“，”display_name“：”马德里政治大学“，”ror“：”网址：https://ror.org/03n6nwv02“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I88060688“]}]，”countries“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Susana Mu\u00f1oz-Hern\u00e1ndez“，”raw _affiliation_strings“：【”LSIIS\u2013马德里政治大学信息学院\u00e11tica，Universidad Politis\u00e9cnica de Madrid Dpto，Campus de Montegancedo s/n，28660，Madrid“】，”affiliations“：[{”raw_affiliation_string“：”LSIIS\u2013马德里政治大学信息学院（Facultad de Inform\u00e1tica，Universidad Polit\u00e 9cnica de Madrid Dpto，Campus de Montegancedo s/n，28660，Madrid，Spain）“，”institution_ids“：[”https://openalex.org/I88060688“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：null，”has_fulltext“：false，”cited_by_count _year“：{“min”：0，“max”：64}，“biblio”：{”volume“：null，”issue“：nul，”first_page“：”279“，”last_page“：”293“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9975，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9942，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.520949}]，”concepts“：[{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.88892734}，{”id“：”https://openalex.org/C81721847，“wikidata”：https://www.wikidata.org/wiki/Q163468“，”display_name“：”Prolog“，”level“：2，”score“：0.840123}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.790318}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.7705032}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.73779494}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完整性（有序理论）“，”level“：2，”score“：0.71716005｝，｛”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.65907246}，{”id“：”https://openalex.org/C2185349，“wikidata”：https://www.wikidata.org/wiki/Q190558“，”display_name“：”Negation“，”level“：2，”score“：0.60089207}，{”id“：”https://openalex.org/C194146651，“wikidata”：https://www.wikidata.org/wiki/Q2119400“，”display_name“：”否定为失败“，”level“：5，”score“：0.5674711}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.46526292}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4521544}，{”id“：”https://openalex.org/C3845977，“wikidata”：https://www.wikidata.org/wiki/Q4826262“，”display_name“：”自认知逻辑“，”level“：4，”score“：0.28920585}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.14915484}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.127972｝，｛”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.123996645}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-30227-8_25“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：15，“referenced_works“：[”https://openalex.org/W1587636146","https://openalex.org/W1598059193","https://openalex.org/W1600913074","https://openalex.org/W1605977342","https://openalex.org/W1766332311","https://openalex.org/W2010104109","https://openalex.org/W2034075659","https://openalex.org/W2041608581","https://openalex.org/W2057124712","https://openalex.org/W2077494135","https://openalex.org/W2082994045","https://openalex.org/W2086959410","https://openalex.org/W2128585349","https://openalex.org/W2156627868网址","https://openalex.org/W2561675875“]，”related_works“：[”https://openalex.org/W592311106","https://openalex.org/W4319165641","https://openalex.org/W4214701509","https://openalex.org/W4212824748网址","https://openalex.org/W2741053223","https://openalex.org/W2077585551","https://openalex.org/W1999702466","https://openalex.org/W1596105581","https://openalex.org/W1493824320","https://openalex.org/W1481700938“]，”ngrams_url“：”https://api.openalex.org/works/W1533158178/ngrams网站“，”abstract_inverted_index“：{”The“：[0159]，”role“：[1]，”for“：[2,48132]，”logic“：[3]，”in“：[4,74155227]，”knowledge“：[5]，”and“：[6,11,16,36,82113148152210240]，”artificial“：[7]，“intelligence”：[8]，”（AI）“：[9]，”representation“：[10]，”reasoning“：[12]，”is“：[13,92104109220]，”an“：[14,26]66]，“有趣”：[15]，“活跃”：[17]，“区域”：[18]，““：[19,51122143163170177202212]”研究。“：[20]，”In“：[21,89124184]，”this“：[22,97185217]，”framework“，：[23]，”negation“：[24,68101108134203]，”plays“：[25]，”essential“：[27]，“role”。“：[28]，”On“：[29]，”the“：[30,49171175178213231]，”other“：[31]，“hand”：[32]，“Logic”：[33]，“Programming”：[34]，“（LP），”：[35]，“Prolog”：[37,62137]，“as”：[38,84,86102205207]，“its”：[39238]，“most”：[40]，“representative”：[41]，“Programming”：[42]，“language”：[43]，“has”：[44]，“被”：[45]，“广泛”：[46]，“使用”：[47195]，“实现”：[50,63121]，“基于逻辑的“：[52]，”系统。“：[53]，”“然而，”：[54174]，“向上”：[55]，“到”：[56111197222]，“现在”：[57]，“我们”：[58,79127187229234]，“不能”：[59]，“查找”：[60]，“a”：[61129136141156167189]，“that”：[64192233]，“支持”：[65]，“足够”：[67,78]，“子系统”：[69]，“什么”：[70]，“排除”：[71]，“重要”：[72]，“使用”：[73153]，“AI”：[75]，“应用程序。“：[76]，”By“：[77]，”mean“：[80]，”correct“：[81]，”complete“：[83]，”well“：[85206]，”effectively“：[87]，”implemented。“：[88]，”事实“：[90]，”那里“：[91117]，”否“：[93119]，”单一“：[94]，”方法“：[95131160]，”with“：[96]，”特征“：[98]，”（for“：[99]，”instance“：[100]，”failure“：[103]，”incomplete“：[105]，”while“：[106]，”constructively“：[107]，”hard“：[110]，”implementation“：[112]，”until“：[114]，”our“：+115]，“work”：[116]，“were”：[118]，“running”：[120]，“it”）。“：[123]，”先前“：[125]，”工作“：[126]，”呈现“：[128]，”新颖“：[130]，”合并“：[133]，”并入“：[135]，”编译器“：[138]，”哪个“：[139]，”采用“：[140]，”数字“：[142]，”现有“：[144]，”方法“：[145]，”（一些“：[146]，”修改“：[147]，”改进“：[149]，”通过“：[150166200]，”我们“：[151]，”他们“：[154]，”组合“：[157]，”时尚。“：[158]，”makes“：[161]，”use“：[162]，”information“：[164]，”provided“：[165]，”global“：[168]，”analysis“：[169]，”source“：[172]，”code。“：[173]，”正确性“：[176209]，”系统“：[179]，”是“：[180]，”仅“：[181]，”非正式“：[182]，”略图。“：[183]，”论文“：[186]，”现在“：[188]，”一般“：[190]，”框架“：[191218]，”可以“：[193]，”是“：[194]，”任择“：[196]，”定义“：[198223]，”策略“：[199225]，”组合“：[201]，”技术“：[204]，”证明“：[208237]，”完整性“：[211]，”结果“：[214]，”系统。“：[215]，”From“：[216]，”it“：[219]，”possible“：[221]，”new“：[224]，”and，“：[226]，”special“，”：[228]，“describe”：[230]，“strategy”：[232]，“have”：[235]，“implemented”：[236]，“稳健性”：[239]，“完整性”。“：[241]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1533158178“，”counts_by_year“：[]，”updated_date“：”2024-06-28T11:29:17.949776“，”创建日期“：”2016-06-24“}