×

找到8个文档（结果1-8）

最新的 引文 关联
纳迪亚·克里诺;拉伊达·科塔里;奥德尔·帕皮尼

基于基数的信念修正算子的模型检查的复杂性。 （英语） Zbl 1491.68200号

安东努奇（Antonucci）、亚历山德罗（Alessandro）等，《不确定性推理的符号和定量方法》。2017年7月10日至14日，第14届欧洲会议，ECSQARU 2017，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10369, 387-397 (2017).
MSC公司：第68页第27页 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Creignou}等人，Lect。注释计算。科学。10369、387--397（2017年；Zbl 1491.68200）
全文： 内政部
纳迪亚·克里诺;拉伊达·科塔里;奥德尔·帕皮尼

命题逻辑片段中的信念收缩。 （英语） Zbl 1403.68260号

Kaminka，Gal A.（编辑）等人，ECAI 2016。第22届欧洲人工智能会议，荷兰海牙，2016年8月29日至9月2日。诉讼程序。包括随同召开的智能系统著名应用会议（PAIS 2016）的会议记录。分2卷。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-671-2/pbk；978-1-6499-672-9/ebook）。人工智能和应用前沿285、390-398（2016）。
MSC公司：第68页第27页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{N.Creignou}等人，前面。Artif公司。智力。申请。285390-398（2016年；Zbl 1403.68260）
全文： 内政部
纳迪亚·克里诺;凯塔里，拉伊达;阿恩·迈尔;朱利安·斯特芬·米勒;橄榄、油炸;赫里伯特沃尔默

修改问题的参数化枚举。 （英语） 兹比尔1451.68136

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8977, 524-536 (2015).
MSC公司：68年第27季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{N.Creignou}等人，Lect。注释计算。科学。8977，524--536（2015；Zbl 1451.68136）
全文： 内政部
纳迪亚·克里诺;拉伊达·科塔里;奥德尔·帕皮尼

命题片段中的信念更新。 （英语） Zbl 1465.68237号

Destercke，Sébastien（编辑）等人，用符号和定量方法进行不确定性推理。第13届欧洲会议，ECSQARU 2015，法国康皮涅，2015年7月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9161, 165-174 (2015).
MSC公司：第68页第27页 03B42号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{N.Creignou}等人，Lect。注释计算。科学。9161、165--174（2015；Zbl 1465.68237）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

软件