{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T16:38:35Z”，“时间戳”：1725467915241}，“出版商位置”：“柏林，海德堡”，“参考计数”：8，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540649939“}，{”类型“：”电子“，“value”：“9783540497936”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1998]]}，”DOI“：”10.1007\/bfb0057464“，”type“：”book-chapter“，”created“：”{“date-part”：[[2006,7,31]]，“date-time”：“2006-07-31T04:47:47Z”，“timestamp”：1154321267000}，“页面”：“427-437”，“源”：“Crossref”，“is-referenced-by-count”：0，“title”：[“抽象作为细化公差的一种形式”]，“prefix”：“10.1007”，“author”：[{“given”：“Adolfo”，“family”：“Villafiorita”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2006,6,27]]}，“reference”：[[{”key“：”35_CR1“，“first-page”：“131”，”volume-ti tle“：“机器智能3，第3卷”，“作者”：“S.Amarel”，“年份”：“1968年”，“非结构化”：“Saul Amarel.关于行为推理问题的表征。摘自Donald Michie，编辑，《机器智能3》第3卷，第131\u2013171页。Elsevier，北霍兰德，阿姆斯特丹，伦敦，纽约，1968年。沃尔什。一个通过抽象得到的不完全性定理。自动推理杂志，19（3）：319\u20133461997年12月。还有IRST技术报告9302-15，意大利IRST；爱丁堡大学DAI研究论文，n.809.“，“期刊标题”：“自动推理杂志”}，{“卷-时间”：“技术报告92-0010”，“年份”：“1994年”，“作者”：“F.Giunchiglia”，“关键字”：“35_CR3”，“非结构化”：“G.Giunciglia。GETFOL手册\u2014 GETFOL2.0版。技术报告92-0010，DIST\u2014意大利热那亚热那亚大学，1994年3月。“}，{”key“：”35_CR4“，”first page“：“167”，“volume”：“10”，“author”：“F.Giunchiglia”，“year”：“1997”，“unstructured”：“F Giunchillia，A.Villafiorita，and T.Walsh。抽象理论。AI Communications，10:167\u2013176，1997年12月。”，“新闻标题”：“AI Communications“}，{”issue“：”2\u20133“，”key“：”35_CR5“，”doi-asserted-by“：”publisher“，”first page“：“323”，“doi”：“10.1016\/0004-3702（92）90021-O”，“volume”：“57”，“author”：“F.Giunchiglia”，“year”：“1992”，“unstructured”：“G.Giunciglia和T.Walsh。抽象理论。人工智能，57（2\u2013）：323\u2013390，1992。还有意大利特伦托IRST 9001-14 IRST技术报告。“，”journal-title“：”Artificial Intelligence“}，{”key“：”35_CR6“，”first-page“：”77“，”volume-title”：“IRST-Technical Report 9205-01”，“author”：“F.Giunchiglia”，“year”：“1992”，“unstructured”：“F Giunchillia and T。沃尔什。树包容：用轮廓推理。程序中。第十届欧洲人工智能会议ECAI-92，第77页\u201381，奥地利维也纳，1992年。此外，IRST-技术报告9205-01，意大利特伦托IRST。“｝，｛”key“：”35_CR7“，”doi asserted by“：”crossref“，”nonstructured“：”Fausto Giunchiglia and Adolfo Villafiorita。ABSFOL:一个具有抽象的校对器。在第13届自动推导会议（CADE-13）的会议记录中，第136页\u2013140。施普林格，1996年。此外，IRST技术报告9602-20，意大利IRST。“，”DOI“：”10.1007\/3-540-61511-3_74“}，{”volume-title“：”精化容差“，”year“：”1998“，”author“：”J.McCarthy“，”key“：”35_CR8“，”unstructured“：”John McCarth。精化容受。第四届常识推理逻辑形式化研讨会（98年常识）1998年1月，英国伦敦大学玛丽女王学院和韦斯特菲尔德学院。网址：http://\/www-formal.stanford.edu\/jmc\/extension.html。“}”，“container-title”：[“计算机科学课堂讲稿”，“人工智能：方法论、系统和应用”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BFb0057464”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2019,4,20]]，“date-time”：“2019-04-20T12:15:23Z”，“timestamp”：1555762523000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com/10.1007\/BFb0057464”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[1998]}，540497936“]，”references-count“：8，”URL“：”http:\/\/dx.doi.org\/10.1007\/bfb0057464“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[1998]]}}}}