×

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

最新的 引文 关联
克里斯托夫·贝尔;乔纳斯·哈尔迪曼;丹尼尔·科勒;凯·索尔瓦尔德;利昂·施瓦泽

用系统W实现非单调推理。 （英语） Zbl 1522.68521号

Bergmann，Ralph（编辑）等人，KI 2022：人工智能的进展。2022年9月19日至23日在德国特里尔举行的第45届德国人工智能会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13404, 1-8 (2022).
MSC公司：第68页第27页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Beierle}等人，Lect。注释计算。科学。13404，1--8（2022；Zbl 1522.68521）
全文： 内政部
乔纳斯·哈尔迪曼;克里斯托夫·贝尔

系统W的性质及其与其他归纳推理算子的关系。 （英语） 兹比尔07630647

Varzinczak，Ivan（编辑），《信息和知识系统基础》。第十二届国际研讨会，FoIKS 2022，芬兰赫尔辛基，2022年6月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13388, 206-225 (2022).
MSC公司：第68页，共15页 第68页第27页 68层35 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{J.Haldimann}和\textit{C.Beierle}，莱克特。注释计算。科学。13388、206-225（2022；Zbl 07630647）
全文： 内政部
克里斯托夫·贝尔;乔纳斯·哈尔迪曼

关于系统隐含和签名重命名的条件知识库的标准形式。 （英语） Zbl 1508.68355号

安。数学。Artif公司。智力。 90，编号2-3，149-179（2022）.
审核人：埃里克·马丁（悉尼）
MSC公司：第68页第27页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Beierle}和\textit{J.Haldimann}，安.数学。Artif公司。智力。90，编号2--3，149-179（2022；Zbl 1508.68355）
全文： 内政部
劳拉·佐丹奴

关于具有典型性的模糊DL的KLM性质。 （英语） Zbl 07542368号

Vejnarová，Jiřina（编辑）等人，用符号和定量方法进行不确定性推理。第16届欧洲会议，ECSQARU 2021，捷克共和国布拉格，2021年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12897, 557-571 (2021).
MSC公司：68层37
PDF格式BibTeX公司 XML格式引用
\文本{L.Giordano}，Lect。注释计算。科学。12897、557--571（2021；Zbl 07542368）
全文： 内政部 arXiv公司
克里斯托夫·贝尔;乔纳斯·哈尔迪曼;Kern Isberner，加布里埃尔

条件信念基的语义分裂。 （英语） Zbl 07495054号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 82-95 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{C.Beierle}等人，Lect。注释计算。科学。12750，82-95（2021；Zbl 07495054）
全文： 内政部
杰西·海因尼克;Kern Isberner，加布里埃尔;马蒂亚斯·蒂姆;肯尼斯·斯基巴

抽象辩证框架与非单调条件逻辑的对应。 （英语） Zbl 1496.68317号

安。数学。Artif公司。智力。 89，编号10-11，1075-1099（2021）.
审核人：Mauricio Reis（丰沙尔）
MSC公司：第68页第27页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛J.Heynick｝等人，Ann.Math。Artif公司。智力。89，编号10--11，1075--1099（2021；Zbl 1496.68317）
全文： 内政部
劳拉·佐丹奴;塞塞迪尔·杜普雷，丹尼尔

深度神经网络模型的加权可解知识库和多参考语义。 （英语） Zbl 07437044号

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 225-242 (2021).
MSC公司：第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}和\textit{D.Theseider Dupré}，莱克特。注释计算。科学。12678、225--242（2021；Zbl 07437044）
全文： 内政部 arXiv公司
乔纳斯·哈尔迪曼;克里斯托夫·贝尔;Kern Isberner，加布里埃尔

使用选择策略对排序函数进行迭代收缩、忽略和修订的语法拆分。 （英语） Zbl 07437035号

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 85-100 (2021).
MSC公司：第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{J.Haldimann}等人，Lect。注释计算。科学。12678，85-100（2021；Zbl 07437035）
全文： 内政部
乔纳斯·哈尔迪曼;凯·索尔瓦尔德;马丁·冯·伯格;Kern Isberner，加布里埃尔;克里斯托夫·贝尔

条件描述符修订及其通过CSP建模。 （英语） Zbl 1519.68249号

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 35-49 (2021).
MSC公司：第68页第27页 03B42号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Haldimann}等人，Lect。注释计算。科学。12678，35-49（2021；Zbl 1519.68249）
全文： 内政部
皮拉尔·德尔隆德;路易斯·戈多;阿曼达·维达尔

概率论证：一种基于条件概率的方法。初步报告。 （英语） Zbl 07437031号

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 25-32 (2021).
MSC公司：第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{P.Dellunde}等人，Lect。注释计算。科学。12678，25-32（2021；Zbl 07437031）
全文： 内政部 链接
克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;Kern Isberner，加布里埃尔;史蒂文·库奇

条件知识库的怀疑c-推理的性质及其作为约束满足问题的实现。 （英语） Zbl 1448.68397号

安。数学。Artif公司。智力。 83，编号3-4，247-275（2018）.
MSC公司：第68页第27页 68立方英尺 68层37
PDF格式BibTeX公司 XML格式引用
\textit{C.Beierle}等人，《数学年鉴》。Artif公司。智力。83，No.3--4，247--275（2018；Zbl 1448.68397）
全文： 内政部
亚伦·亨特

推理社交网络上的信任和信念变化：一种正式方法。 （英语） Zbl 1503.68255号

Liu，Joseph K.（编辑）等，《信息安全实践与经验》。2017年12月13日至15日在澳大利亚维多利亚州墨尔本举行的2017年第13届国际会议，ISPEC。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10701, 783-801 (2017).
MSC公司：第68页第27页 91天30分
PDF格式BibTeX公司 XML格式引用
\textit{A.Hunter}，莱克特。注释计算。科学。10701783--801（2017；Zbl 1503.68255）
全文： 内政部
Kern Isberner，加布里埃尔;马可·威廉;克里斯托夫·贝尔

使用最大熵原理和Gröbner基理论的概率知识表示。 （英语） Zbl 1420.68203号

安。数学。Artif公司。智力。 79，编号1-3，163-179（2017）.
MSC公司：68立方英尺 13页第10页 第68页第27页 68层37 94甲17
PDF格式BibTeX公司 XML格式引用
\textit{G.Kern-Isberner}等人，《数学年鉴》。Artif公司。智力。79，编号1--3，163-179（2017；Zbl 1420.68203）
全文： 内政部
拉斐尔·佩尼亚洛萨;尼科·波提卡

描述逻辑（mathcal{ALCP}）中基于最大熵原理的概率推理。 （英语） Zbl 1366.68293号

Schockaert，Steven（编辑）等，可扩展不确定性管理。2016年9月21日至23日在法国尼斯举行的2016年SUM第十届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-45855-7/pbk；978-3-3169-45856-4/电子书）。计算机科学课程讲稿9858。人工智能课堂讲稿，246-259（2016）。
MSC公司：第68页第27页 68立方英尺 68层37
PDF格式BibTeX公司 XML格式引用
\textit{R.Peñaloza}和\textit{N.Potyka}，莱克特。注释计算。科学。9858、246——259（2016年；Zbl 1366.68293）
全文： 内政部 arXiv公司
克里斯托夫·贝尔;尼科·波提卡;约瑟夫·鲍迪什;马克·芬瑟默

概率关系FO-PCL知识库在最大熵下的提升推理。 （英语） Zbl 1465.68234号

Destercke，Sébastien（编辑）等人，用符号和定量方法进行不确定性推理。第13届欧洲会议，ECSQARU 2015，法国康皮涅，2015年7月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9161, 506-516 (2015).
MSC公司：第68页第27页 03B48号 68立方英尺 68层37
PDF格式BibTeX公司 XML格式引用
\textit{C.Beierle}等人，Lect。注释计算。科学。9161506--516（2015；Zbl 1465.68234）
全文： 内政部
克里斯蒂安·艾奇霍恩;Kern Isberner，加布里埃尔

LEG网络用于排名功能。 （英语） Zbl 1432.68459号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8761, 210-223 (2014).
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Eichhorn}和\textit{G.Kern-Isberner}，莱克特。注释计算。科学。8761、210-223（2014年；Zbl 1432.68459）
全文： 内政部
马克·芬塔默;克里斯托夫·贝尔

如何在关系概率逻辑中利用参数一致性进行最大熵推理。 （英语） Zbl 1361.68226号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。正在进行。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。《人工智能课堂讲稿》，189-201（2012）。
MSC公司：第68页第27页 03B48号
PDF格式BibTeX公司 XML格式引用
\textit｛M.Finthammer｝和\textit｛C.Beierle｝，Lect。注释计算。科学。7519、189--201（2012；Zbl 1361.68226）
全文： 内政部
马蒂亚斯·蒂姆;Kern Isberner，加布里埃尔;Jens Fisseler公司

最大熵下的关系概率条件推理。 （英语） Zbl 1341.68270号

Liu，Weiru（编辑），不确定性推理的符号和定量方法。2011年6月29日至7月1日，第11届欧洲会议，ECSQARU 2011，英国贝尔法斯特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22151-4/pbk）。计算机科学课堂讲稿6717。人工智能课堂讲稿，447-458（2011）。
MSC公司：68层37 第68页第27页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Thimm}等人，Lect。注释计算。科学。6717447-458（2011年；Zbl 1341.68270）
全文： 内政部
Kern Isberner，加布里埃尔;马蒂亚斯·蒂姆;马克·芬塔默

定性知识发现。 （英语） Zbl 1165.68415号

Schewe，Klaus-Dieter（编辑）等人，《数据和知识库中的语义》。第三次国际研讨会，2008年3月29日，法国南特，SDKB 2008。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-88593-1/pbk）。计算机科学课堂讲稿492577-102（2008）。
MSC公司：68T05型
PDF格式BibTeX公司 XML格式引用
\textit{G.Kern-Isberner}等人，Lect。注释计算。科学。4925，77-102（2008；Zbl 1165.68415）
全文： 内政部
克里斯托夫·贝尔;Kern Isberner，加布里埃尔

信念修正的AsmL验证实现。 （英语） Zbl 1156.68468号

Börger，Egon（编辑）等人，抽象状态机，B和Z。第一届国际会议，ABZ 2008，英国伦敦，2008年9月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87602-1/pbk）。计算机科学课堂讲稿5238，98-111（2008）。
MSC公司：60年第68季度 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{C.Beierle}和\textit{G.Kern-Isberner}，莱克特。注释计算。科学。5238，98--111（2008；Zbl 1156.68468）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件