{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T16:38:42Z”，“时间戳”：1725467922764}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540649939“}，{”类型“：“electronic”，“value”：“9783540497936”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1998]]}，”DOI“：”10.1007\/bfb0057460“，”type“：”book-chapter“，”created“：”{“date-part”：[2006,7,31]]，“date-time”：“2006-07-31T00:47Z”，“时间戳”：1154306867000}，“页面”：“377-388”，“源”：“Crossref”，“is-referenced-by-count”：1，“title”：[“基于SAT的正规模态逻辑决策程序：理论框架”]，“prefix”：“10.1007”，”author“：[{”given“：”Roberto“，”family“：”Sebastiani“，”sequence“：”first“，”affiliation“：[]}，{”given“”：“Adolfo”，“family”：“Villafiorita”，“sequence”：“additional”，“affiliance”：[]2]，“member”：“297”，“在线发布”：｛“日期部分”：[[2006,6,27]｝，“参考”：[｛“键”：“31_CR1”，“非结构化”：“P.Bresciani、E.Franconi和S.Tessaris。实现和测试表达性描述逻辑：初步报告。在Proc.国际描述逻辑研讨会上，意大利罗马，1995年。”｝，｛“键”：“31_CR2”，“doi断言”：“crossref”，“非结构化”：“B.F.Chellas.模态逻辑\u2014简介，剑桥大学出版社，1980年。”，“DOI”：“10.1017\/CBO9780511621192”}，{“issue”：“3”，“key”：“31_CR3”，”DOI-asserted-by“：”crossref“，“first page”：”285“，”DOI“：”10.1093\/logcom\/4.2.85“，”volume“：”4“，”author“：”M.D'Agostino“，”year“：”1994“，”unstructured“：”蒂诺和蒙达多里。缓和切口。《逻辑与计算杂志》，4（3）：285\u20133191994.“，”Journal-title“：”Journal of Logic and Computation“}，{“key”：“31_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Davis，G.Longemann，and D.Loveland。定理证明的机器程序。ACM杂志，5（7），1962.”，“doi”：“10.1145\/368273.368557”}，“{”key“：”31_CR5“，”非结构化“：”G.DeGiacomo和F.Massacci。带逆命题动态逻辑的表和算法。程序中。第五届知识表示与推理原理国际会议，2014 KR’96，美国马萨诸塞州剑桥，1996年11月非结构化“：”E.Giunchiglia、F.Giunchillia、R.Sebastiani和A.Tacchella。模态逻辑决策程序的更多评估。程序中。第六届知识表示与推理原理国际会议，2014年9月，意大利特伦托，1997年11月。塞巴斯蒂安。根据命题决策程序构建模态逻辑的决策程序——2014年模态K（m）的案例研究。技术报告9611-06，IRST，特伦托，意大利，1996年。“}，{“卷-时间”：“人工智能课堂讲稿”，“年份”：“1996年”，“作者”：“F.Giunchiglia”，“key”：“31_CR9”，“非结构化”：“F·Giunchillia和R.Sebastiani。从命题决策程序构建模态逻辑的决策程序2014年模态K的案例研究。程序中。第13届自动演绎会议，人工智能讲义，新泽西州新不伦瑞克，美国，1996年8月。斯普林格·弗拉格。此外，DIST-Technical Report 96-0037和IRST-Technical Report 9601-02。“}，{“key”：“31_CR10”，“unstructured”：“F.Giunchiglia和R.Sebastiani.ALC基于SAT的决策程序。第五届知识表示和推理原理国际会议论文集\u2014 KR’96，美国马萨诸塞州剑桥，1996年11月。此外，DIST-技术报告9607-08和IRST-技术报告9601-02。塞巴斯蒂亚尼“，“key”：“31_CR12”，“unstructured”：“R.塞巴斯蒂安尼和D.麦卡莱斯特。模态逻辑中可满足性的新上界\u2014年模态K的案例研究。技术报告9710-15，IRST，意大利特伦托，1997年10月。“}，{“key”：“31_CR13”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-3642-86718-7”，“volume-title”：“一阶逻辑”，“author”：“R.M.Smullyan”，“year”：“1968”，“unstructured”：“R M。斯穆利安。一阶逻辑。Springer-Verlag，NY，1968。“}”，“container-title”：[“计算机科学课堂讲稿”，“人工智能：方法、系统和应用”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10007\/BFb0057460”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“寄存”：｛“日期部分”：[[2019,4,20]，“日期-时间”：“2019-04-20T08:15:34Z”，“时间戳”：1555748134000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/BFB057460”｝，“副标题”：[]，“短标题”：[]，“发行”：｛“日期部分”：[[1998]]｝，“ISBN”：[“9783540649939”，“9783540497936”]，“引用次数”：13，“URL”：“http://\/dx.doi.org\/10.1007\/bfb0057460”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“种类”：“电子”，“数值”：“1611-33049”}]，“主题”：[]，“发布”：{“日期段”：[1998]]}}}}