｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,9,12]]，“date time”：“2024-09-12T03:55:38Z”，“timestamp”：1726113338838｝，“publisher location”：“Cham”，“reference count”：19，“publisher”：“Springer International Publishing”，“isbn type”：[｛“type”：“print”，“value”：“9783030674373”｝，｛“type”：“electronic”，“value”：“9783030674380”}]，“license”：[{“start”：{“date-parts”：[[2021,1,1]]，“date-time”：“2021-01-01T00:00:00Z”，“timestamp”：1609459200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“开始”：“date-ports”：[2021,1,1]]，00:00Z“，”timestamp“：1609459200000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2021]]}，”DOI“：”10.1007\/978-3-030-67438-0_5“，”type“：”book-capter“，”created“：{”date-part“：[2021,1,15]]，“日期-时间”：“2021-01-15T06:04:40Z”，“时间戳”：1610690680000}，“页面”：“73-89”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：0，”title“：[“基于回归的错误初始信念修复的逻辑编程方法”]，“前缀”：“10.1007”，《作者》：[{“给定”：“Fabio”，“family”：“Tardivo”，，“sequence”：“first”，“affiliation”：[]}，{“given”：“Loc”，“family”：“Pham”，“sequence”：“additional”，“affaliation”（附加）：[]}[2021,1,13]]}，“参考”：[{“问题”：“2”，“关键”：“5_CR1”，“首页”：“510”，《卷》：“50”，“作者”：“CE Alchourr\u00f3n”，“年份”：“1985”，“非结构化”：“Alchourr\u00f3dn，C.E.，G\u00e4rdenfors，P.，Makinson，D.：论理论变革的逻辑：部分满足收缩和修订功能。JSL 50（2），510\u2013530（1985）”，“日记标题”：“JSL”}，{“key”：“5_CR2”，“doi-asserted-by“：”publisher“，“非结构化”：“Aravanis，T.I.，Peppas，P.，Williams，M.：迭代信念修正和Dalal\u2019s运算符。摘自：希腊人工智能会议，第26:1\u201326:4页（2018年）。https:\/\/doi.org\/10.1145\/320947.3201038”，“doi”：“10.1145\/3200947.320038”}，{“key”：“5_CR3”，“doi-asserted-by”：“crossref”，“非结构性”：“Balduccini，M.，Gelfond，M.：用a-prolog进行诊断推理。理论与实践。逻辑程序。3（4,5），425\u2013461（2003）”，“DOI”：“10.1017\/S1471068403001807”}，{“key”：“5_CR4”，“非结构化”：“Baral，C.，McIlraith，S.，Son，T.C.：使用带有叙述和感知的动作语言制定诊断问题解决方案。见：KRR，pp.311\u2013322（2000）”}，{“问题”：“4”，“关键”：“5_CR5”，“doi-asserted-by”：“出版商”，“首页”：“563”，“doi”：“10.1145 \/4879.4995”，《卷》：“10”，“作者”：“A Borgida”，“年份”：“1985”，“非结构化”：“Borgida，A.：信息系统中灵活处理异常的语言特征。ACM Trans.Database Syst.10（4），563\u2013603（1985）”，“journal-title”：“ACM Trans.Database Sys.”}，{“key”：“5_CR6”，“unstructured”：“Dalal，M.：知识库修订理论研究。in:《AAAI学报》，pp.449\u2013479（1988）”}、{“key”：“5_CR7”，“doi-asserted-by”：“publisher”，“unstructured”：“Delgrand，J.P.，Peppas，P.，Woltran，S.：一般信念修正。J.ACM 65（5），29:1\u201329:34（2018）。https:\/\/doi.org\/10.1145\/3203409”，“doi”：“10.1145\/320309”}，{“key”：“5_CR8”，“非结构化”：“Delgrand，J.P.，Schaub，T.，Tompits，H.，Woltran，S.：答案集语义下逻辑程序的信念修正。摘自：KRR，第411\u2013421页（2008）。http://www.aaai.org\/Library\/KR\/2008\/kr08-040.php”}，{“key”：“5_CR9”，“doi-asserted-by”：“publisher”，“first page”：”269“doi”：“10.1613\/jair.3132”，”“volume”：第40页，“author”“：”A Hunter“，”year“：”2011“，“非结构化”：“Hunter，A.，Delgrand，J.P.：由于行动和观察导致的反复信念改变。J.Artif.Intell.Res.（JAIR）40，269\u2013304（2011）”，“日志标题”：“J.Artif.Intell.Res.（JAIR）”}，{“key”：“5_CR10”，“doi-asserted-by”：“publisher”，“first page”：”779“doi”：“10.1613\/JAIR.4558”，“volume”：第53页，“author”：“A Hunter”，“年份”：“2015年”，“非结构化”：“Hunter，A.，Delgrand，J.P.：不确定行动历史的信念改变。J.Artif.Intell.Res.（JAIR）53，779\u2013824（2015）”，“新闻标题”：“J.Artif.Intell.Res.（JAIR）”}，{“key”：“5_CR11”，“非结构性”：“Lobo，J.，Mendez，G.，Taylor，S.：向行动描述语言A添加知识。摘自：AAAI 1997，第454\u2013459（1997）页“}，{“key”：“5_CR12”，“series-title”：“对逻辑的杰出贡献”，“doi-asserted-by”：“publisher”，“first page”：《71》，“doi”：“10.1007\/978-94-007-7759-0_5”，“volume-title”：《David Makinson论非经典问题的经典方法》，“author”：“P Peppas”，“year”：“2014”，“unstructured”：“Peppas，P.：反复修订的全景。收录：Hansson，S.O.（编辑）David Makinson关于非经典问题的经典方法。OCL，第3卷，第71页\u201394。施普林格，多德雷赫特（2014）。https:\/\/doi.org/10.1007\/978-94-007-7759-0_5“｝，｛“key”：“5_CR13”，“unstructured”：“Pham，L.，Pontelli，E.，Tardivo，F.，Son，T.C.：一种基于回归修复错误初始信念状态的逻辑编程方法。技术报告，NMSU（2020）”｝，｛“key”：“5_CR14”，“unstructured”：“Satoh，K.：通过最小信念修正进行非单调推理。摘自：FGCS会议记录，第455\u2013462页。Springer（1988）“}，{”key“：”5_CR15“，”doi-asserted-by“：”crossref“，”unstructured“：”Scherl，R.，Levesque，H.：“知识、行动和框架问题。Artif.Intel.144（1\u20132）（2003）“，”doi“：”10.1016\/S0004-3702（02）00365-X“}”，{“issue”：“1”，“key”：“5_CR16”，“”doi-sserted-by”：“publisher”，“first page”：”165“，doi“：”10.1016\/j.artint.2010.04.003“，”卷“：”175“，”author“：”S Shapiro“，”year“：”2011“，”unstructured“：”Shapiro，S.，Pagnucco，M.，Lesp\u00e9rance，Y.，Levesque，H.J.：情境演算中的反复信念改变。Artif公司。智力。175（1），165\u2013192（2011）“，“新闻标题”：“文章。智力。“｝，｛”issue“：”1\u20132“，”key“：”5_CR17“，”doi断言“：”publisher“，”首页“：”19“，”doi“：”10.1016\/S004-3702（00）00080-1“，”volume“：”125“，”author“：”TC Son“，”year“：”2001“，”nonstructured“：”Son，T.C.，Baral，C.：形式化传感动作-一种基于转换函数的方法。Artif.Intell.125（1\u20132），19\u201391（2001）“，”期刊标题“：””Artif公司。智力。“}，{”问题“：”1“，”关键“：”5_CR18“，”首页“：”79“，”卷“：”175“，”作者“：”P图“，”年份“：”2011“，”非结构化“：”图，P.，Son，T.，Gelfond，M.，Morales，R.：行动理论的近似及其在一致性规划中的应用。AIJ 175（1），79\u2013119（2011）“，”日志标题“：”AIJ“}”，{“关键”：“5_CR19”，“非结构化”：”Winslett，M.：使用可能的模型方法推理行动。收录于：AAAI，第89\u201393（1988）页“}”，“container-title”：[“计算机科学课堂讲稿”，“声明性语言的实用方面”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-030-67438-0_5”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2021,1,15]]，“日期时间”：“2021-01-15T06:06:25Z”，“时间戳”：1610690785000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3030-67438-0_5”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2021]]}，“ISBN”：[“9783030674373”，“978330674380”]，“references-count“：19，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-030-67438-0_5“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期段“：[2021]]}，“assertion”：[{“value”：“2021年1月13日”，“order”：1，“name”：“first_online”，“label”：“First Online”，“group”：{“name”：“ChapterHistory”，“label”：“章节历史”}}，{“value”：“PADL”，“order”：1，“name”:“conference_acrombit”，“table”：“conference-Acromnim”，“群名”：{name“：ConferenceInfo”，”label“：“会议信息”}，”{value“：”声明语言实用方面国际研讨会“，”order“：2，”name“：”conference_name“，”label“：”会议名称“，”group“：{”Name“：”ConferenceInfo“，”label“，”conferenceInformation“}}，”value“：”Copenhagen“，”order“：3，”Name“:”Conference_city“，”table“：”conferentCity“，”glob“：ConferenceInfo“，”label“：”ConferenceInformation“}}，{”value“：”2021“，”order“：5，”name“：”Conference_year“，”标签“：”会议年份“，”group“：会议信息“}}，{“value”：“2021年1月19日”，“order”：8，“name”：“Conference_end_date”，“label”：“Conference end date”，“group”：{“name”:“ConferenceInformo”，“table”：“会议信息”}}“”padl2021“，”order“：10，”name“：”conference_id“，”label“：”会议id“，”group“：｛”name“：”ConferenceInfo“，”label“：”会议信息“｝｝｝，｛”value“：”https:\/\/popul21.sigplan.org/home\/PADL-2021“，”order“：11，”name“：”conferenceurl“，”label“：”会议url“，”group“：｛”name“：”ConferenceInfo“，”label“：”会议信息“｝｝｝，｛”value“：”单盲“，“order“：1，”name“：”type“，”label“：”type“，”group“：｛”name“：”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“｝｝｝，｛”value“：”EasyChair“，”order“：2，”name“：”conference_management_system“，”label“：”会议管理系统“，”group“：｛”name“：”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{“value”：“21”，“order”：3，“name”：“number_of_submissions_sent_for_Review”，“label”：“发送供评审的提交数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息”（由会议主办方提供）number_of_full_papers_accepted“，”label“：”接受的全文数“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行评审信息（由会议组织者提供）“}}，{”value“：”0“，”order“：5，”name“:”number_ of_short_papers_Accepteded“，”table“：”已接受的短文数“，“group”：{“name”：“”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{”value“：”48%-该值由等式“接受的全文数”/“发送供评审的提交数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_Full_Papers“，”标签“：”全文接受率“，”group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{”value“：”3“，”order“：7，”name“:”average_number_of_reviews_per_paper“，”标签“：”每篇论文的平均评论数“，”google“：同行评议信息（由会议组织者提供）“}}，{“value”：“3,5”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评议资料（由会议主办方提供）”}}external_reviewers_involved“，”label“：”涉及的外部审阅者“，”group“：评审过程附加信息“，”组“：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}]}}