{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,28]]，“日期时间”：“2024-04-28T07:26:11Z”，“时间戳”：1714289171093}，“引用计数”：76，“发布者”：“爱思唯尔”，“isbn-type”：[{“值”：“9780444817143”，“类型”：”打印“}]，“许可证”：[}“开始”：“日期部分”：[[1997,1,1]]，“日期时间”：“1997-01-01T00:00:00Z”，“timestamp”：852076800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[[1997]}”，“DOI”：“10.1016\/b978-044481714-3\/50012-6”，“type”：“book-chipter”，“created”：{“date-parts”：[[2007,10,11]]，“date-time”：“2007-10-11T12:59:16Z”，“timestamp”：1192107556000}，“page”：“475-533”，“source”：”Crossref“，“is-referenced-by-count”：12，“title”：[“Feature Logics”]，“prefix”：“10.1016”，“author”：[{“givent”：“William C.”，“family”：“Rounds”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/B978-044481714-3\/50012-6_bib1”，“doi-asserted-by”：“crossref”，“doi”：“10.12016\/0168-0072（91）90065-T”，《文章-标题》：“逻辑形式的领域理论”，“卷”：“51”，“作者”：“Abramsky”，“年份”：“1991”，“日志标题”：“Ann.Pure Appl.Logic”}，{“key”：“10.0016\/B978-04481714-3\/50012-6_b ib2“，”article-title“：”非完整集“，”作者“：“Aczel”，“year”：“1988”，“journal-title”：“语言与信息研究中心课堂讲稿第14号”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib3”，“article-title“：“基于偏序型结构微积分的格理论计算方法”，“author”：“A\u00eft-Kaci”，“year”：”1984“}”，{：“10.1016\/B978-044481714-3\/50012-6_bib4”，“series-title”：“逻辑程序设计国际会议论文集”，“article-title”：“生命有意义吗？”，“author”：“a\u00eft-Kaci”，“year”：“1990”}，{“key”：：“关于带否定、函数不确定性和排序方程的特征逻辑的表达性”，“作者”：“Baader”，“年份”：“1991年”，“期刊标题”：“技术报告RR-91-01，DFKI”}，{“关键”：“10.1016\/B978-044481714-3\/50012-6_bib6”，“系列标题”：《计算语言学协会第31届年会报》，“第一页”：“201”，“article-title”：“关于函数不确定性的可判定性”，“author”：“Backofen”，“year”：“1993”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib7”，“doi-asserted-by”：“crossref”，“first page”：：“25”，“author”：“Ben-Ari”，“year”：“1982”，“journal-title”：“J.Compute.System Sci.”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib8”，“series-title”：”Diamonds and Defaults“，”article-title“：”模态逻辑和属性值结构“，”author“：”Blackburn“，”year“：”1993 _bib9“，”doi-asserted-by“：”crossref“，“首页”：“129”，“DOI”：“10.1007\/BF01050635”，“文章标题”：“属性值语法计算复杂性的模态视角”，“卷”：“2”，“作者”：“Blackburn”，“年份”：“1993”，“期刊标题”：“J.Logic，Lang.，Inform.”}，｛“key”：“10.1016\/B978-044481714-3\/50012-6_bib10”，“系列标题”：“计算理论与逻辑”，“首页”：“20”，“article-title”：“存在定点逻辑”，“author”：“Blass”，“year”：“1987”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib11”，“首页”：“183”，“article-title:“特征结构与非单调性”，“volume”：”18“，”author“：”Bouma“，”year“：”1992“，”journal-title“：”Compute.Ling.“}，”{“issue”：“2”，“key“10.1”016\/B978-044481714-3\/50012-6_bib12“，“doi-asserted-by”：“crossref”，“first page”：“171”，”doi“：”10.1207\/s15516709cog0902_1“，”article-title“：”kl-one知识表示系统概述“，”volume“：”9“，”author“：”Brachman“，”year“：”1985“，”journal-title”：“Cog.Science”}，{“issue”：“4”，“key”：”10.1016\/B978-044481714-3\/50012-6_bib13“，”doi-assert by“：”crossref“，”first page“：”471“，“DOI”：“10.1145\/6041.6042”，“article-title”：“关于理解类型、数据抽象和多态性”，“volume”：“17”，“author”：“Cardelli”，“year”：“1985”，“journal-title“：”ACM Compute.Surv.“}，{“key”：”10.1016\/B978-044481714-3\/50012-6_bib14“，”author“：”Carpenter“，”year“：”1992“}”，{”key“：“10.1016\/B978-0.44481717171717”4-3\/50012-6_bib15“，”作者“：”乔姆斯基“，“年份”：“1965”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib16”，“author”：“Chomsky”，“year”：“1957”}、{“key”：“101016\/B978-0444 81714-3 \/50012-26_bib”，“series-title”：“计算语言学协会第27届年会论文集”，“article-title”：”“特征结构描述中否定的三值解释”，“author”：“Dawar”，“year”：“1991”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib18”，“series-title”：“第十届全国人工智能会议论文集：AAAI 92”，“首页”：“761”，“article-title”：”术语周期的非充分依据方法“，”author“：”Dionne“，”year“：”1992“”，“doi-asserted-by”：“crossref”，“first page”：“441”，“doi”：“10.1016\/S0747-7171（08）80107-1”，“article-title”：“On subsumption and semi unified in feature algebras”，“volume”：”13“，“author”：“D\u00f6rre”，“year”：“1992”，“journal-title“：”J.Symb.Comput.“}，{”key“10.1016 \/B978-044481714-3 \/50012-6_bib20”，“连拍”：“类别、多态性和统一”，“article-title”：“迈向gpsg中默认值的正式规范”，“author”：“Evans”，“year”：“1988”}，{“issue”：“2”，“key”：“10.1016\/B978-044481714-3\/50012-6_bib21”，“doi-asserted-by”：“crossref”，《首页》：“194”，”doi“10.1016 \/0022-0000（79）90046-1”，“article-title”：“正则程序的命题动态逻辑”，“volume”：“18”，“author”：“Fischer”，“year”：“1979”，“journal-title”：“J.Compute.System Sci.”}，{“key”：”10.1016\/B978-044481714-3\/50012-6_bib22“，”author“：”Gazdar“，”year“：”1985“}，”{“key”：tle“：”类别结构“，”卷“：”14“，”作者“：“Gazdar”，“year”：“1988”，“journal title”：“Comput.Ling.”}，｛“key”：“10.1016\/B978-044481714-3\/50012-6_bib24”，“doi断言者”：“crossref”，“首页”：“173”，“doi”：“10.1016\/0168-0072（89）90032-8”，“文章标题”：“复代数的多样性”，“卷”：“44”，“作者”：“Goldblatt”，“year”：“1989”，“journal title”：“Ann.Pure Appl.Logic”}，｛“键”：“10.1016\/B978-044481714-3\/50012-6_bib25”，“首页”：“633”，“文章标题”：“语义域”，“作者”：“Gunter”，“年份”：“1990”}，{“key”：“10.106\/B978-104481714-3\/50012-6_bip26”，“第一页”：”25“，“文章题目”：“某些半群类的单词问题”，“卷”：“5”，”作者“：”古列维奇“，”年：“”1966年“，《新闻标题》：《代数与逻辑》}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib27”，“author”：“Haegeman”，“year”：“1991”}，{”key“：”10.1016\/B978-0444 81714-3 \/50012-26_bib28“，”article-title“：”Dynamic logic“，”volume“：“Vol.II”，“author”:“Harel”，“year”：”1984“}，“issue”：“1”，“key“:”10.1016 \/50012-6_bib29“，”doi-asserted-by“：”crossref“，”首页“：”137“，“doi”：“10.1145\/2455.2460”，“article-title”：“不确定性和并发性的代数定律”，“volume”：“32”，“author”：“Hennessy”，“year”：“1985”，“journal-title“：”J.Assoc.Comput.Mach.“}，{”key“：”10.1016\/B978-044481714-3\/50012-6_bib30“，”article-title““：”约束语言上的定义关系“，”author“：”H\u00f6hfeld“，”year“：”1988“}，{“键”：“10.1016\/B978-044481714-3\/50012-6_bib31”，“series-title”：“第十四届ACM计算理论研讨会”，“首页”：“147”，“文章-标题”：“可在多项式时间计算的关系查询”，“作者”：“Immerman”，“年份”：“1982”}，{“key”：“10.116\/B978-104448181714-3”，“序列-标题”：“计算语言学协会第31届年会公报”，“第一页”：“97”，“article-title”：“基于统一的关系语法分析器”，“author”：“Johnson”，“year”：“1993”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib33”，“doi-asserted-by”：“crossref”，“doi”：“101007\/BF02451552”，“article-titel”：“分层特征语法的一些形式属性”，“volume”：“8”，“author”：“Johnson”，“year”：“1993”，“journal-title”：“Ann.Math.Artif.Intell.”}，{“key”：”10.1016\/B978-044481714-3\/50012-6_bib34“，”author“：”Johnson“，”year“：”1980 1988年“}，{”密钥“：“10.1016\/B978-044481714-3\/50012-6_bib36”，“首页”：“131”，“文章标题”：“功能和公式”，“卷”：“17”，“作者”：“约翰逊”，“年份”：“1991”，“日记标题”：”计算灵“}，{“key”：“10.116\/B978-04481714-3 \/50012-6_bib37”，“series-title”：“IJCAI会议记录”，“第一页”：”992“文章标题“：“逻辑和特征结构”，“作者”：“Johnson”，“year”：“1991”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib38”，“series-title”：“树自动机和语言”，“article-title”：”树邻接语法和词汇化语法“，”author“：”Joshi“，”year“：”1992第页“：“173”，“article-title”：“词汇-功能语法：语法表示的形式系统”，“author”：“Kaplan”，《year》：“1982”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib40”，“series-title”：《计算语言学协会第二十四届会议纪要》，“first page”：《257》，“artice-title》：“特征结构的逻辑语义学”，“author”：“Kasper”，“year”：“1986”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib41”，“doi-asserted-by”：“crossref”，“first-page”：“33”，“doi”：“101007\/BF00630516”，“article-title”：“语法统一的逻辑”，“volume”:“13”，“auther”：“卡斯珀”，”year“1990”，“journal-title“：”Ling.and Philos。“}”，{“密钥”：“10.1016\/B978-044481714-3\/50012-6_bib42”，“系列标题”：“伯克利语言学家学会第五届年会论文集”，“第一页”：“142”，“文章标题”：“功能语法”，“作者”：“Kay”，“年份”：“1979”}，{“密钥”：“10.1016\/B978-044481714-3\/50012-6_bib43”，“第一页”：“111”，“文章标题”：“论范畴定义的逻辑”，“卷”：“15”，“作者”：“Kracht”，“年份”：“1989”，“journal-title”：“Compute.Ling.”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib44”，“doi-asserted-by”：“crossref”，“first-page”：“317”，“doi”：“101016\/0022-0000（80）90027-6”，“article-title“：”量化公式类的复杂性结果“，”volume“：”21“，”author“：”Lewis“，”year“：”1980“，”journal-title“:”J.Compute.System科学“}，{”键“：“10.1016\/B978-044481714-3\/50012-6_bib45”，“series-title”：“非单调推理中的阅读”，“首页”：“145”，“文章-标题”：“外写\u2014a形式的非单调推理”，“作者”：“麦卡锡”，“年份”：“1987”}，{“key”：“10.116\/B978-04481714-13\/50022-6_ib46”，“系列-标题”“形式哲学：理查德·蒙塔古文选”，“first page”：“247”，“article-title”：“普通英语中量化的正确处理”，“author”：“Montague”，“year”：“1974”}，{“key”：”10.1016\/B978-044481714-3\/50012-6_bib47“，”article-title“：”统一语法的扩展，用于描述编程语言“，”author“：”Moshier“，”year“：”1988“}，”{“key”：“10.1016\/B978-044481714-3\/50012-6_bib48”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/BF02451553”，“article-title”：“特征结构逻辑的完备性定理”，“volume”：“8”，“author”：“Moshier”，“year”：“1993”，“journal-title“Ann.Math.Artif.Intell.”}，{“key”：_bib49“，”系列标题“：“第14届ACM编程语言原理研讨会论文集”，“文章标题”：“部分指定数据结构的逻辑”，“作者”：“Moshier”，“年份”：“1987”}，｛“密钥”：“10.1016\/B978-044481714-3\/50012-6_bib50”，“系列标题”：“MSRI计算机科学逻辑研讨会论文集”，“文章标题”：“特征结构逻辑的完备性定理”，“author”：“Moss”，“year”：“1991”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib51”，“article-title”：“用于语言分析的逻辑编程系统”，“author”:“Mukai”，“year”:“1990”}（阿法）：具有紧凑约束的horn子句的共导语义“，”volume“：”volume2“，”author“：”Mukai“，”year“：”1991“}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib53”，”series-title“：”Artificial Intelligence中的排序和类型“，”first page“：Nebel“，”year“：”1989“}，{”key“：”10.1016\/B978-044481714-3\/50012-6_bib54“，”series-title“：”第十届计算语言学国际会议论文集：COLING“，”first page“：10.1016\/B978-044481714-3\/50012-6_bib55“，”doi-asserted-by“：”crossref“，”first page“：”231“，”doi“：”10.1016\/0004-3702（80）90003-X“，”article-title“：”语言分析的定语从句语法：形式主义的调查和与扩充转换网络的比较“，”volume“：“13”，”author“：”Pereira“，”year“：”1980“，”journal-title:“Artif”。智力。“}，{”key“：”10.1016\/B978-044481714-3\/50012-6_bib56“，”author“：”Perlmutter“，”year“：”1983“}”，{“key”：“10.1016//B978-0444 81714-3 \/50012-6 _bib57”，“article-title”：“统一集合的部分描述”，“volume”：第I卷，“author”：“Pollard”，“year”：“1990”}，”{“密钥”：“1016\/B97 8-044481 714-3\/50012-6_bib58“，”作者“：”波拉德“，”年份“：”1987“}，{”密钥“：”10.1016\/B978-044481714-3\/50012-6_bib59“，“author”：“Postal”，“year”：“1986”}，{“key”：“10.1016\/B978-0.44481714-1\/50012-26_bip60”，“series-title”：“关系文法研究III”，“年份”：“1990”}“，”文章标题“：”关于floyd-hare逻辑的语义思考“，”author“：”Pratt“，”year“：”1976“}，”{“key”：“10.1016\/B978-044481714-3\/50012-6_bib62”，”auther“：”Previor“，”year“：“1967”}，“key 50012-6_bib64“，”doi-asserted-by“：”crossref“，”first page“：”177“，“doi”：“10.1007\/BF01418780“，”文章标题“：”平面瓷砖的不确定性和非周期性“，”卷“：”12“，”作者“：”罗宾逊“，”年份“：”1971“，”期刊标题“：“发明”。数学。“}，{”key“：”10.1016\/B978-044481714-3\/50012-6_bib65“，”series-title“：”计算语言学协会第25届年会论文集“，”article-title“：“函数语法的逻辑版本”，“author”：“Rounds”，“year”：“1987”}，“key”：“10.1016\\B978-0444 81714-3 \/50012-26_bip66”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/BFb0012801“，”article-title“：”指称语义的领域“，”volume“：”vol.140“，”author“：”Scott“，”year“：”1982“，”journal-title”：“计算中的课堂笔记。科学。“}，{”key“：”10.1016\/B978-044481714-3\/50012-6_bib67“，”series-title“：”Proceedings of 12th COLING“，”first page“：“211”，”article-title“：“语言信息的计算机语言设计”，”author“：”Shieber“，”year“：”1986“}”，{“key”：“10.1016\/B978-004481714-3\/50012-6_bip68”，”article-title“：”自然语言和计算机语言的解析和类型推断“，”author“：”Shieber“，”year“：”1989“}，”{“key”：“10.1016\/B978-044481714-3\/50012-6_bib69”，”author“：”希伯“，”year“：“1992”}，“{”key“：”10.1016\/B978-004481714-3\/50012-6_bib“，”doi-asserted-by“：”crossref“，”first page“：“51”，”doi“：”1016\/0743-10 66（92）90039-6“，“文章标题”：”统一文法的特征约束逻辑“，”卷“：”12“，”作者“：”Smolka“，”年份“：”1992“，”日志标题“：”J.Logic Programming“}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib71”，“author”：“Takeuti”，“year”：“1987”}，“key“：”10.1016\/B978-004481714-3\/50012-6_bib 72“，”series-title“：”第十四届美国计算机学会计算理论研讨会论文集”，“首页”：“137”，“文章标题”：“关系查询语言的复杂性”，“作者”：“Vardi”，“年份”：“1982”}，{“密钥”：“10.1016\/B978-044481714-3\/50012-6_bib73”，“作家”：“维克斯”，“年”：“1989”}树邻接语法研究”，“author”：“Vijay-Shanker”，“year”：“1987”}，{“key”：“10.1016\/B978-044481714-3\/50012-6_bib75”，“series-title”：“Proceedings of Teth National Conference on Artificial Intelligence:AAAI 92”，“first page”：《596》，“article-title”：《特征结构的非单调分类》，“audor”：《Young》，“year:”1992“}”，{《key》：“10.1016\/B978-044481714-3\/50012-6_bib76“，”author“：”Zhang“，”year“：”1991“}]，”container-title“：[”Logic and Language“]，”original-title”：[]，”Language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com\/content\/article\/PII:B97804417143500126？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-vers ion“：”vor“，”intended-application“：”text-mining“}，{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:B9780444817143500126？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-miniing”}]，“deposed”：{“date-parts”：[[2019,1,3]]，“date-time”：“2019-01-03T12:54:27Z”，“timestamp”：154650067000}，“score“：1，”resource“：{”primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/B9780444817143500126“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[1997]]}，“ISBN”：[“97804448017143”]，”references-count“：76，”URL“：”http://\/dx.doi.org\/101016\/b978-044481714-3\/50012-6“，”relation“：{}”主题“：[]，”已发布“：{“日期-部分”：[[1997]]}}