{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,18]]，“日期时间”：“2023-01-18T20:52:43Z”，“时间戳”：1674075163066}，“出版商位置”：“柏林，海德堡”，“参考计数”：4，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540232421”，“类型”：“打印”}，{“值”：“9783540302278”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-30227-8_58“，”type“：”book-capter“，”created“：”{“date-part”：[2010,9,19]]，“date-time”：“2010-09-19T01:34:52Z“，”时间戳“：1284860092000}，”页面“：”689-692“，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“Qsmodels:交互式游戏环境中的ASP规划”]，“prefix”：“10.1007”，”author“：[{”given“：”Luca“，”family“：”Padovani“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Alessandro“键”：“58_CR1”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/CBO9780511543357”，“volume-title”：“知识表示、推理和声明性问题解决”，“author”：“C.Baral”，“year”：“2003”，“unstructured”：“Baral，C.：知识表示、理性和声明性解决问题。剑桥大学出版社，剑桥（2003）”}，{“key”：“58_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Baral，C.，Gelfond，M.，Provetti，A.：表示动作：定律、观察和假设。逻辑编程杂志\u00a031（1-3）（1997）”，“doi”：“10.1016\/S0743-1066：“Padovani，L.：交互式游戏环境中的答案集编程。信息学（意大利语）毕业项目（2004）米兰大学，可从http://\/mag.usr.dsi.unimi.it\/获取”，“DOI”：“10.1007\/978-3-540-30227-8_58”}，{“key”：“58_CR4”，“unstructured”：“smodels解算器的Web位置，http://www.tcs.hut.fi\/Software\/smodels\/”}]，“container-title”：[“人工智能中的逻辑”，“计算机科学中的课堂讲稿”]，“original-title“：[]，”link“：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-30227-8_58.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2020,11,19]]，“date-time”：“2020-11-19T04:51:01Z”，“timestamp”：1605761461000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-30227-8_58”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2004]}”，“ISBN”：[“9783540232421”，”9783540302278“]，”reference s-count“：4，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-30227-8_58“，“relation”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”、“type”:“print”}，{“value”：“1611-349”，“type“：”electronic“}]，“subject”：【】，“published”：{“date-parts”：【2004】}}}