｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,3,29]，“日期时间”：“2022-03-29T16:30:48Z”，“时间戳”：1648571448687｝，“发布者位置”：“柏林，海德堡”，“引用计数”：17，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783540425939”，“类型”：“打印”｝，｛“值”：“9783540454021”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[2001]]}，”DOI“：”10.1007\/3-540-45402-0_22“，”type“：”book-capter“，”created“：”{“date-part”：[2010,11,19]]，“date-time”：“2010-11-19T22:10:11Z”，“时间戳”：1290204611000}，“页面”：“295-308”，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“优化答案集编程系统的启发式计算”]，“prefix”：“10.1007”，”author“：[{”given“：”Wolfgang“，”family“：”Faber“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Nicola：“Pfeifer”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2001,7,17]]}，“reference”：[{“issue”：“3”，“key”：“22_CR1”，“first-page”：“448”，“volume”：”9“author”：“M.Cadoli”，“year”：“1997”，“unstructured”：“M Cadoli，T.Eiter，and G.Gottlob。作为查询的默认逻辑语言。IEEE TKDE，9（3）：448\u20134631997。304，305“，”journal-title“：”IEEE TKDE“}，{”issue“：”1-2“，”key“：”22_CR2“，”first page“：“99”，“volume”：“12”，“author”：“T.Eiter”，“year”：“1999”，“unstructured”：“T·Eiter，W.Faber，N.Leone，and G.Pfeifer。dlv系统的诊断前端。AI Communications，12（1-2）：99\u20131111999。295“，“journal-title”：“AI Communications”}，{“key”：“22_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“T.Eiter，W.Faber，N.Leone和G.Pfeifer。使用DLV系统解决声明性问题。基于逻辑的人工智能，第79\u2013103页。Kluwer，2000年。297“，“DOI”：“10.1007\/978-1-4615-1567-8_4”}，{“key”：“22_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“T.Eiter，N.Leone，C.Mateis，G.Pfeifer，and F.Scarcello。析取演绎数据库系统进度报告dlv.FQAS\u201998，pp.148\u2013163。斯普林格。295“，“DOI”：“10.1007\/BFb0055998”}，{“key”：“22_CR5”，“unstructured”：“T.Eiter，N.Leone，C.Mateis，G.Pfeifer，and F.Scarcello。KR系统dlv:进度报告、比较和基准。KR\u201998，pp.406\u2013417。摩根·考夫曼出版社，1998年。295“}，{”key“：”22_CR6“，”unstructured“：”E.Erdem.逻辑编程在规划中的应用：计算实验。未出版草稿。http://www.cs.utexas.edu\/users\/esra\/papers.html，1999年。304，305“}，{“key”：“22_CR7”，“unstructured”：“W.Faber，N.Leone，C.Mateis，and G.Pfeifer.Using Database Optimization Techniques for Non-单调推理.DDLP\u201999，pp.135\u2013139。298，304“}，{“key”：“22_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“W.Faber，N.Leone，and G.Pfeifer.在DLP计算中推动目标推导。LPNMR\u201999，pp.177\u2013191。296、299、300、301“，“DOI”：“10.1007\/3-540-46767-X13”}，{“key”：“22_CR9”，“unstructured”：“W.Faber，N.Leone，and G.Pfeifer。试探答案集编程。在IJCAI 2001中，美国华盛顿州西雅图，2001年8月。出现。296“}，{”key“：”22_CR10“，”doi-asserted-by“：”publisher“，”first page“：“365”，”doi“：”10.1007\/BF03037169“，”volume“：‘9’，”author“：”M.Gelfond“，“year”：“1991”，“unstructured”：“M.Gelfund and V.Lifschitz。逻辑程序和析取数据库中的经典否定。新一代计算，9:365\u20133851991。295、297、298“，“journal-title”：“新一代计算”}，{“key”：“22_CR11”，“unstructured”：“C.L.Li和Anbulagan.基于单元传播的可满足性问题启发式。见IJCAI 1997，第366\u2013371页。297，303“}，{”key“：”22_CR12“，”first page“：“69”，”volume-title“：”Knowledge Representation原则“，”author“：”V.Lifschitz“，”year“：”1996“，”unstructured“：”V.Lifschicz.Foundations of logic programming。Principles of Knowled Representating，pp.69\u2013127。CSLI出版物，斯坦福，1996年。298“}，{“key”：“22_CR13”，“unstructured”：“V.Lifschitz。答案集规划。ICLP\u201999，第23\u201337页。麻省理工学院出版社。296“}，{”issue“：”2“，”key“：”22_CR14“，”doi-asserted-by“：”publisher“，”first-page“：”69“，”doi“：”10.1006\/inco.1997.2630“，”volume“：“135”，“author”：“N.Leone”，“year”：“1997”，“unstructured”：“N.Leone，P.Rullo，and F.Scarcello。析取稳定模型：无基础集，不动点语义和计算。信息与计算，135（2）：69\u20131121997。300“，”journal-title“：”Information and Computation“}，{”key“：”22_CR15“，”series-title“：“Lect Notes Comput Sci”，”doi-asserted-by“：”crossref“，”first page“：“292”，”doi“：”10.1007\/BFb0000066“，”volume-title”：“CADE\u201982”，“author”：“J.Minker”，“year”：“1982”，“unstructured”：“J。明克尔。关于不确定数据库和封闭世界假设。CADE\u201982，LNCS 138，第292\u2013308页，纽约，1982年。斯普林格。295“}，{“key”：“22_CR16”，“volume-title”：“扩展和实现稳定模型语义”，“author”：“P.Simons”，“year”：“2000”，“unstructured”：“P.Simons。扩展和实现稳定模型语义。芬兰赫尔辛基理工大学博士论文，2000年。305“}，{“key”：“22_CR17”，“unstructured”：“B.Selman和H.Kautz，1997。ftp:\/\/ftp.research.att.com\/dist\/ai\/305“}]，“container-title”：[“逻辑编程和非动力推理”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-45402-0_22”，“content-type”：“未指定”，“内容版本”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2019,6,6]]，“日期时间”：“2019-06-06T11:43:46Z”，“时间戳”：1559821426000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/link.springer.com\/10.1007\/3-540-45402-0_22”}，“ISBN”：[“9783540425939”，“978354454021”]，“references-count”：17，“URL“：”http://\/dx.doi.org\/10.1007\/3-540-45402-0_22“，”关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”value“：”0302-7743“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[2001]]}}}}