{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T23:12:05Z”，“时间戳”：1725664325931}，“出版商位置”：“柏林，海德堡”，“参考计数”：35，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783838 540612919“}，{”类型“：“electronic”，“value”：“9783540684503”}]，“license”：[{“start”：{“date-parts”：[[1996,1,1]]，“date-time”：“1996-01-01T00:00:00Z”，“timestamp”：82045400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}，{“start”：时间“：”1996-01-01T00:00:00Z“，”时间戳“：82045440000}，”内容版本“：”tdm“，“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”：[[1996]}，”DOI“：”10.1007\/3-540-61291-2_62“，”type“：”book-chapter“，”created“：{”date-part“：[[2012]}2,26]]，“日期-时间”：“2012-02-26T21:25:36Z”，“时间戳”：1330291536000}，“页面”：“323-335”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：1，”title“：[”抽象的通用推理器“]，”prefix“：”10.1007“，”author“：[{”given“Fausto”，“family”：“Giunchiglia”，“sequence”：“first”，“affiliance”：[]}，{“given”：“Roberto”，“family”：“Sebastiani”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Adolfo”，“family”：“Villafiorita”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Toby”，“family”：“Walsh”，“sequence”：“additional”，“affiliation”：[]｝，“member”：“297”。邦迪。使用明确计划指导归纳证明。R.Luck和R.Overbeek，编辑，Proc。第九届自动扣除会议，第111页\u2013120。Springer-Verlag，1988年。更长的版本可作为爱丁堡人工智能部DAI研究论文第349号获得。“，”key“：”26_CR1“，”DOI“：”10.1007“/BFb0012826”}，{“key”：“26_CR2”，”series-title“：”Technical Report“，“volume-title”：“G\u00f6del’s Incomplete Theory via Abstraction”，“author”：“A.Bundy”，“year”：“1993”，“unstructured”：“A.Bundy，F.Giunchiglia，A。维拉菲奥里塔和T.沃尔什。通过抽象得到G\u00f6del的不完全性定理。技术报告9302-15，IRST，意大利特伦托，1993年。爱丁堡大学DAI研究论文。“}，{“非结构化”：“A.Bundy，F.Giunchiglia和T.Walsh。计算临界值。爱丁堡州立大学人工智能系技术报告，1991年。提交给人工智能。还有IRST-技术报告9112-23，1991年12月。”，“key”：“26_CR3”}，{“unstructured”：“R.L.Constable，S.F.Allen，H.M.Bromley，et al.Implementation Mathematics with the NuPRL Proof Development System。Prentice Hall，1986。”，《key》：“26-CR4”}、{“volume-title”：“Technical Report 92-0010”，“year”：“1994”，“author”：“F.Giunchiglia”，“非结构化”：“F。金奇利亚。GETFOL手册\u2014 GETFOL2.0版。技术报告92-0010，意大利热那亚DIST-热那亚大学，1994年3月。金奇利亚。构建复杂派生的推理规则：prenex类普遍存在公式的判定器。程序中。第七届欧洲人工智能会议，第607\u2013609页，1988年。扩展版本见爱丁堡人工智能部DAI研究论文359。“}，{“非结构化”：“F.Giunchiglia和T.Walsh。用定义证明定理。人工智能和行为模拟研究学会第七届会议记录，第175\u20131831989页。此外，IRST-技术报告8901-03和DAI研究论文429号，爱丁堡大学。“，“key”：“26_CR7”}，{“unstructured”：“F.Giunchiglia和T.Walsh.Using abstractive.In Proc.of the 8th Conference of the Society for the Study for the Artificial Intelligence and Simulation of Behaviour，Leeds，UK，1991。此外，爱丁堡大学IRST-技术报告9010-08和DAI研究论文515。“，”key“：”26_CR8“}，”{“key”：“26_CR9”，”series-title“：”IRST-科技报告9206-23“，”volume-title“：“抽象理论：历史观点”，”author“：”F.Giunchiglia“，”year“：”1992“，”unstructured“：”G.Giunciglia和T。沃尔什。抽象理论：一个历史的视角。程序中。AAAI计算理论近似和抽象研讨会，加州圣何塞，1992年。另请参阅IRST-技术报告9206-23，意大利特伦托IRST。“}，{”issue“：“2\u20133”，”key“：“26_CR10”，”doi-asserted-by“：”crossref“，”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”：“26_CR11”，“series-title”：“IRST-Technical Report 9205-01”，“first-page”：“77”，“volume-title”：”Tree subsumption:Reasoning with outlines“，“author”：“F.Giunchiglia”，“year”：“1992”，“unstructured”：“F Giunchillia and T。沃尔什。树包容：用轮廓推理。程序中。第十届欧洲人工智能会议ECAI-92，第77页\u201381，奥地利维也纳，1992年。此外，IRST-技术报告9205-01，意大利特伦托IRST。“}，{”key“：”26_CR12“，”doi-asserted-by“：”crossref“，”first-page“：”23“，”doi“：”10.1007\/BF00881899“，”volume“：“11”，”author“：”F.Giunchiglia“，”year“：”1993“，”unstructured“：”G.Giunciglia和T.Walsh。不一致抽象空间的必然性。自动推理杂志，11:23\u2013411993。另请参阅意大利特伦托IRST 9006-16 IRST技术报告。“，”journal-title“：”journal of Automated Reasoning“}，{”doi-asserted-by“：”crossref“，”unstructured“：”M.J.Gordon，A.J.Milner，and C.P.Wadsworth.Edinburgh LCF\u2014《计算的机械化逻辑》，计算机科学讲义第78卷。Springer Verlag，1979年。“，”key“：”26_CR13“，”doi“：”10.1007\/3-540-09724-4“}”，{“unstructure”：“R.Harper，D。麦昆和罗宾·米尔纳。标准ML.LFCS报告系列ECS-LFCS-86-2，爱丁堡大学计算机科学系计算机科学基础实验室，1986年非结构化”：“H.Kautz和B.Selman。形成快速推断的概念。程序中。第十届全国人工智能会议，第786\u2013793页，1992年。“，“key”：“26_CR16”}，{“unstructured”：“C.A.Knoblock.抽象河内塔。AAAI-90近似与抽象自动生成研讨会工作笔记，第13\u201323页。AAAI，1990.“，”key“：”26_CR17“}，{“unstructured”：“C.A.Knoblock.自动生成用于解决问题的抽象。博士论文，计算机科学学院，1991年。”，“key”：“26_CR18”}，”key.“：”26 _CR19“，”doi-asserted-by“：”crossref“，“first page”：”65“，”doi“：”10.1016\/0004-3702（87）90051-8“，‘volume’：”33“，‘author’：”R.E.Korf“，’year”：“1987”，“非结构化“：”R.E.Korf，《作为搜索的规划：定量方法》。人工智能，33:65\u2013881987。“，”journal-title“：”Artificial Intelligence“}，{”issue“：”7“，”key“：”26_CR20“，”doi-asserted-by“：”crossref“，”first-page“：”424“，”doi“：”10.1145\/359131.359136“，“volume”：“22”，“author”：“R.Kowalski”，“year”：“1979”，“unstructured”：”R.Kowalski.Algorithmar=logic+control.Communications of the ACM，22（7）：424\u20134361979.“，”journal-title“：”ACM通信“}，{”volume-title”：“技术报告ANL-90\/9，数学与CS.部门”，“年份”：“1990年”，“作者”：“W.W.McCune”，“非结构化”：“W.W.McCune.Otter 2.0用户指南。技术报告ANL90\/9.，数学与CS部门，Argonne National Laboratory，Argone，Illinois，1990年。”，“key”：“26_CR21”}，{“doi-asserted-by”：“crossref”，“unstructured”：“T.F.Melham.硬件验证的抽象机制.技术报告106，剑桥大学计算机实验室，1987年.”，“key”：“26_CR22”，“doi”：“10.1007\/978-14613-2007-4_9”}，{”key“：”26_CR23“，”doi-assert-by“：”crossreff“，”first page“：“363”，”doi“：”10.1007\/BF00248324“，”volume“5”，“author”：“L.Paulson”，“year”：“1989”，“unstructured”：“L.Paulson.泛型定理证明者的基础.自动推理杂志，5:363\u20133961989.”，“Journal-title”：“Journal of Automated Reasoning”}，{“unstrustured”:“D。Plaisted公司。力学定理证明。人工智能中的形式技术。Elsevier Science Publishers B.V.，1990.“，”key“：”26_CR24“}，{“doi-asserted-by”：“crossref”，“unstructured”：“D.A.Plaisted.机械定理证明中的抽象映射.第五届自动演绎会议，第264\u20132801980页.”，“key”：“26_CR25”，“doi”：“10.1007\/3-540-10009-1_21”}，”{“非结构化”：“D。普卢默。凝视：控制改写规则的使用。爱丁堡大学人工智能系博士论文，1987年马可·罗维里和阿道夫·维拉菲奥里塔。使用抽象来证明布尔代数中的定理。接受第三届自动推理研讨会：弥合理论与实践之间的差距，AISB96，英国苏塞克斯大学，1996年4月。“}，{“非结构化”：“E.D.Sacerdoti.抽象空间层次中的规划。第三届国际人工智能联合会议论文集，1973年。”，“关键”：“26_CR28“}，{”key“：”26_CR29“，”首页“：”41“，”volume“：“2”，”author“：”R.Sebastiani“，”year“：”1993“，”unstructured“：”R.Sebassiani.Astrazione:dalla Teoria alla Realizzazione di un Abstract Proof Checker.AI*IA Notizie，2:41\u201353，1993。“，”journal-title“：”AI*IA Nortizie“}”，{“unstructure”：“R.Sebustiani，F.Giunchilia，and M。迪曼佐。交互式使用抽象。In jackson Hole，编辑，《理论改革与抽象研讨会论文集》，怀俄明州（美国），1994年。“，“key”：“26_CR30”}，{“nonstructured”：“J.D.Tenenberg。计划中的抽象。博士论文，罗克斯特大学计算机科学系，1988年。还有TR 250.“，”key“：”26_CR31“}，”{“unstructured”：“A.Unruh和P.Rosenbloom。问题解决和学习中的抽象。第十一届国际人工智能联合会议论文集，第681\u20136871989页。”，“key”：“26_CR32”}。维拉菲奥里塔”，“年份”：“1995年”，“非结构化”：“A.维拉菲奥里塔。通过抽象进行类比推理。《抽象、重构和近似研讨会论文集》，SARA-95，第156\u2013162页，加拿大埃斯特雷尔，1995年8月。另请参阅意大利热那亚热那亚大学DIST技术报告96-0030。“}，{”非结构化“：”D.S.Weld.关于模型准确性的推理。技术报告91-05-02，华盛顿大学计算机科学与工程系，1991年。“，”key“：”26_CR34“}”，{“issue”：“1”，“key”：“26_CR35”，“doi-asserted-by”：“crossref”，“first page”：”133“，”doi“：”10.1016\/0004-3702（80）90015-6“，”volume“：“13”，“author”：“R.W.Weyharuch”，“year”：“1980”，“”非结构化“：”R.W.Weyhrauch。机械化形式推理理论序言。人工智能，13（1）：133\u20131761980。”，“日记标题”：“人工智能”}]，“容器标题”：[“计算机科学讲义”，“人工智能进展”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-61291-2_62”，“内容类型”：“未指定”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,12,31]]，”date-time“：”2021-12-31T10:27:01Z“，”timestamp“：1640946421000}，”score“：1，”resource“：{primary”：{“URL”：“http://\link.springer.com/10.1007\/3-540-61291-2_62”}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[1996]]}，“ISBN”：[“9783540612919“，”9783540684503“]，”references-count“：35，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-61291-2_62“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“类型”：“电子”，“值”：“1611-3399”}]，“主题”：[]，“发布了“：{“date-parts”：[[1996]]}，“assertion”：[{“value”：“2005年6月3日”，“order”：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“ChapterHistory”，“label”：“章节历史”}}]}}