{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T06:49:40Z”，“时间戳”：1648882180979}，“出版商位置”：“查姆”，“参考计数”：22，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783030297640”，“类型”：”打印“}，{“值”：“9783030297657”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2019,1,1]]，“date-time”：“2019-01-01T00:00:00Z”，“timestamp”：1546300800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”用法：{“date-parts”：[2019]]}，“DOI”：“10.1007\/978-3-030-29765-7_32”，“type”：“book-chapter”，“created”：{”date-part“：[[2019,9,3]]，“date-time”：“2019-09-03T19:03:54Z”，“timestamp”：1567537434000}，”page“：”385-396“，”update-policy“http://dx.DOI.org\/10.10007\/springer_crossmark_policy”，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“推理时间行为的概率逻辑”]，“前缀”：“10.1007”，“作者”：[{“给定”：“\u0160ejla”，“家族”：“Dautovi\u0107”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“Dragan”，“家庭”：“Doder”，“顺序”：“附加”，“隶属关系”：[]}]，“成员”：“297”，”在线发布“：{“日期段”：[2019,9,4]]}，“引用”：[{“键”：“32_CR1”，“series-title”：“计算机科学课堂讲稿（人工智能课堂讲稿）”，“doi-asserted-by”：“publisher”，“first page”：“47”，“doi”：“10.1007\/978-3-540-93920-7_4”，“volume-title”：《声明性代理语言和技术VI》，“author”：“J Broersen”，“year”：“2009”，“unstructured”：“Broersen，J.：知识和行动的完整STIT逻辑及其一些应用。摘自：Baldoni，M.，Son，T.C.，van Riemsdijk，M.B.，Winikoff，M.（编辑）DALT 2008。LNCS（LNAI），第5397卷，第47\u201359页。斯普林格，海德堡（2009）。\n https:\/\/doi.org\/10.1007\/978-3-540-93920-7_4“}，{”key“：”32_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“9”，”doi“：”10.1007\/9783-642-11829-6_4“，”volume-title“：“信息和知识系统基础”，”author“：”D Doder“，”year“：”2010“，”unstructured“：”Doder，D.，Markovi\u0107，Z.，Ognjanovi\u0107,Z.，Perovi\u 0107,A.，Ra\u 0161kovi\u 0107，M.：可以对证据推理建模的概率时间逻辑。收录：Link，S.，Prade，H.（编辑）FoIKS 2010。LNCS，第5956卷，第9\u201324页。施普林格，海德堡（2010）。\n https:\/\/doi.org\/10.1007\/978-3-642-11829-6_4“}，{“key”：“32_CR3”，“unstructured”：“Doder，D.，Ognjanovic，Z.：推理不确定时间信息的概率逻辑。摘自：《UAI 2015年会报》，荷兰阿姆斯特丹，第248\u2013257（2015）页”}，}，“issue”：“11”，“key“：”32_CR4“，“first page”：”1439“volume”：16“，“author”：“D Doder”，“year”：“2010”，“unstructured”：“Doder，D.，Ognjanovic，Z.，Markovic，Z.：一阶分支时间时序逻辑的公理化。J.UCS 16（11），1439\u20131451（2010）“，”日记标题“：”J.UCS“}，{”issue“：”3“，”key“：”32_CR5“，”doi-asserted-by“：”publisher“，”first page“：“332”，”doi“：”10.1007\/s10458-009-9079-8“，“volume”：“19”，”author“：”P Doherty“，”year“：”2009“，”unstructured“：”Doherty，P.，Kvarnstr \u00f6m，J.，Heintz，F.：无人机系统基于时序逻辑的规划和执行监控框架。汽车。代理人。多代理系统。19（3），332\u2013377（2009）“，“新闻标题”：“自动。代理人。多代理系统。“}，{”issue“：”1\/2“，”key“：”32_CR6“，”doi-asserted-by“：”publisher“，”first page“：“78”，”doi“：”10.1016\/0890-5401（90）90060-U“，“volume”：“87”，“author”：“R Fagin”，“year”：“1990”，“unstructured”：“Fagin，R.，Halpern，J.Y.，Megiddo，N.：概率推理逻辑。Inf.Compute.87（1\/2），78\u2013128（1990）“，”journal-title“：”Inf.Comput.“}，{”key“：”32_CR7“，”doi asserted by“：”crossref“，”unstructured“：”van\u00a0der Hoek，W.：关于逻辑PDF的一些注意事项。J.应用。非经典逻辑7（3）（1997）“，“DOI”：“10.1080\/11663081.1997.10510916”}，{“key”：“32_CR8”，“unstructured”：“Kvarnstr\u00f6m，J.：TALplanner and other extensions to Temporal Action Logic.博士论文，Link\u00f 6pings Universite（2005）”}、{“issue”：“2”，“key“：”32_CR9“，”“DOI-asserted-by”：“publisher”，“first page”：10.1016\/J.jal.2014.03.002“，”卷：“12”，“作者”：“B Marinkovic”，“年份”：“2014”，“非结构化”：“Marinkovi，B.，Ognjanovic，Z.，Doder，D.，Perovic，A.：时间流同构于\n\n\n\n$$\\omega$$\n\n\n\u03c9\n\n\n\n的命题线性时间逻辑\n\n\n${}^{\\text{2}}$$\n\n\n\n\n\n 2 \n\n\n\n \n。J.应用。逻辑12（2），208\u2013229（2014）“，“期刊标题”：“J.Appl。逻辑“}，{“key”：“32_CR10”，“volume-title”：“Commonsense Reasoning”，“author”：“ET Mueller”，“year”：“2010”，“unstructured”：“Mueller，E.T.：Commonsence Reasoning.Morgan Kaufmann，Burlington（2010）”}，}，“issue”：“1”，“key“32_CR11”，“doi-asserted-by”：“publisher”，“first page”：”71“，“doi”：“10.1016\/0004-3702（86）90031-7”，“：”28“，”author“：”NJ Nilsson“，”year“：”1986年”，“非结构化”：“新泽西州尼尔森：概率逻辑。Artif公司。智力。28（1），71\u201387（1986）”，“期刊标题”：“人工制品。智力。“}，{”key“：”32_CR12“，”series-title“：”计算机科学课堂讲稿（人工智能课堂讲稿）“，”doi-asserted-by“：”publisher“，”first page“：“219”，”doi“：”10.1007\/978-3642-23963-2_18“，”volume-title“：“可扩展不确定性管理”，”author“：”Z Ognjanovi\u0107“，”year“：”2011“，”unstructured“：”Ognjanovi\u0107，Z.，Doder，D.，Markovi\u0107,Z.：具有两种概率运算符的分支时间逻辑。摘自：Benferhat，S.，Grant，J.（编辑）SUM 2011。LNCS（LNAI），第6929卷，第219页\u2013232。斯普林格，海德堡（2011）。\n https:\/\/doi.org\/10.1007\/978-3-642-23963-2_18“}，{”issue“：”2\u20133“，”key“：”32_CR13“，“首页”：“217”，“卷”：“65”，“作者”：“Z Ognjanovic”，“年份”：“2012”，“非结构化”：“Ognjanovic，Z，Markovic，Z，Raskovic，M，Doder，D，Perovic，A：用于证据推理的具有离散线性时间的命题概率逻辑。安。数学。Artif公司。智力。65（2\u20133），217\u2013243（2012）“，“新闻标题”：“数学年鉴。Artif公司。智力。“}，{”key“：”32_CR14“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-319-47012-2“，”volume-title“：”Probability Logics“，”author“：”Z Ognjanovi\u0107“，”year“：”2016“，”unstructured“：”Ognjano vi\u0117，Z.，Ra\u0161kovi\u1017，M.，Markovi\u0107,Z.：Probability Logics.Springer，Cham（2016）.\n https:\/\/doi.org\/10.1007\/978-3-319-47012-2“}，{”issue“：”3“，”key“：”32_CR15“，”doi-asserted-by“：”publisher“，”first page“：“315”，”doi“：”10.1142\/S0218213001265“，“volume”：“12”，“author”：“n Papadakis”，“year”：“2003”，“unstructured”：“Papadakis，N.，Plexousakis，D.：具有持续时间和约束的动作：时态数据库中的分支问题。国际艺术杂志。智力。工具12（3），315\u2013353（2003）“，“期刊标题”：“国际期刊Artif。智力。工具“}，{“key”：“32_CR16”，“doi-asserted-by”：“publisher”，“doi”：“10.7551\/mitpress\/4074.001.00001”，“volume-title”：“实际知识：指定和实现动态系统的逻辑基础”，“author”：“R Reiter”，“year”：“2001”，“unstructured”：“Reiter，R.：《行动中的知识：指定和实现动态系统的逻辑基础》。麻省理工学院出版社，剑桥（2001）“}，{“issue”：“3”，“key”：“32_CR17”，“doi-asserted-by”：“publisher”，“first-page”：“1011”，“doi”：“10.2307\/2695091”，“volume”：”66“，“author”：“M Reynolds”，“year”：“2001”，“unstructured”：“Reynold，M.：完整计算树逻辑的公理化。J.Symbl.Log.66（3），1011\u20131057（2001）”，“journal-title”：“J.Symb.Log”.“}，{”issue“：”3“，”key“：”32_CR18“，”doi-asserted-by“：”publisher“，”first-pages“：”315“，”doi“：”10.1023\/A:1010558931274“，”volume“：“67”，”author“：”M Thielscher“，”year“：”2001“，”unstructured“：”Thielschel，M.：并发、连续流畅的微积分。Studia Logica 67（3），315\u2013331（2001）“，“日记标题”：“Studia Logica”}，{“key”：“32_CR19”，“volume-title”：“理性代理推理”，“author”：“M Wooldridge”，“year”：“2000”，“unstructured”：“Wooldrige，M.：理性代理推理。麻省理工学院出版社，Cambrdge（2000）”}van Zee，M.、Dastani，M.，Doder，D.、van der Torre，L.：信念和意图的一致性条件。摘自：第十二届常识推理逻辑形式化国际研讨会（2015）“}，{“key”：“32_CR21”，“unstructured”：“van Zee，M.，Doder，D.：AGM风格的信念和意图修正。摘自：ECAI 2016，海牙，pp.1511\u20131519（2016）”}，}，“key“：”32_CR22“非结构化”：“van Zee，M.、Doder，D.、Dastani，M.和van der Torre，L.：AGM对行动和时间信念的修正。摘自：《国际人工智能联合会议论文集》（2015）“}”，“容器-时间”：[“计算机科学讲义”，“不确定性推理的符号和定量方法”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-030-29765-7_32”，“内容类型”：“未指定“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,9,3]]，”date-time“：”2019-09-03T19:13:07Z“，”timestamp“：1567537987000}，”score“：1，”resource“：{primary“：title“：[]，”issued“：{”date-parts“：[2019年]]}，“ISBN”：[“9783030297640”，“97830.30297657”]，“references-count”：22，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-030-29765-7_32”，“relation”：{}，“ISSN”：【“0302-9743”，“1611-3349”】，“ISSN-type”]，“subject”：[]，“published”：{“date-parts”：[2019]]}，“assertion”：[{“value”：“2019年9月4日”，“订单”：1，“名称”：“first_online”，“标签”：“首次在线”，“群组”：{“名称”:“章节历史”，“label”：“章节历史“}}，{“值”：“ECSQARU”，“顺序”：1、“名称”∶“conference_acrombit”，“标号”：“会议缩写”，“组”：{name”：“ConferenceInfo”，”label“：“会议信息”}}、{“value”：“具有不确定性的符号和定量方法欧洲会议”，“顺序”：2，“名称”：“Conference_name”，“标签”：“会议名称”：“会议信息”}}，{“值”：“塞尔维亚”，“顺序”：4，“名称”：“会议国家”，“标签”：“国家”，组：{“名称”:“会议信息“，”标签“：”会议信息“}}：“2019年9月18日”，“order”：7，“name”：“conference_start_date”，“label”：“会议开始日期”，“group”：{“name”:“ConferenceInfo”：9，“name”：“conference_number”，“label”：“conference number”，“group”：{“name”:“ConferenceInfo”，”label“：“Confection Information”}}，{“value”：“ecsqaru2019”，“order”：10，“name“：”conference_id“，”lable“：”ConferenceID“，”group“：{”name“：“confenceInfo”\/“，”订单“：11，”名称“：“conference_url”，“label”：“会议url”，“group”：{“name”：“ConferenceInfo”，“table”：“大会信息”}}，{“value”：“Single-blind”，“order”：1，“name”:“type”，”label“：“type”，“group”：{name”：”ConfEventPeerReviewInformation“，”lable“：”同侪审查信息（由会议组织者提供）“}}”，{value“：”EasyChair“，”order“：2，”name“：“conference_management_system”，“label”：“会议管理系统”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”｝｝，｛“value”：“62”，“order”：3，“name”：“number_of_submissions_sent_for-Review”，“label”：“发送供评审的提交数量”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}：“3”，“order”：5，“name”：“number_of_short_papers_accepted”，“label”：“接受的短文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评审信息（由会议组织者提供）”}}，{“value”：“66%-值由等式计算\”已接受的全文数\/已发送供审阅的提交数*100“，然后四舍五入为整数。”，“顺序”：6，“名称”：“acceptance_rate_of_Full_Papers”，“标签”：“全文接受率”，“组”：{“名称”:“ConfEventPeerReviewInformation”，“label”：“同行审阅信息（由会议组织者提供）”}}，{“值”：“3.1”，“order”：7，“name”：“average_number_of_reviews_per_paper”，“label”：“每篇论文的平均评论数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同侪评论信息（由会议组织者提供）”}}，{“value”：“2.9”，“order:8，”name“average _number_ of_papers_per_reviewer”，”label“：“每位审阅者的平均论文数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}}]}}