×

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

最新的 引文 关联
加森·哈姆迪;穆罕默德·纳齐赫·奥姆里;塞勒姆·本费哈特;扎伊德·布劳伊;奥德尔·帕皮尼

从隐藏数据集查询DL-Lite知识库。 （英语） Zbl 1518.68379号

安。数学。Artif公司。智力。 89，编号3-4，271-299（2021）.
MSC公司：68层35 第68页，共15页 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{G.Hamdi}等人，《数学年鉴》。Artif公司。智力。89，编号3--4，271--299（2021；Zbl 1518.68379）
全文： 内政部
让-弗朗索瓦Baget;塞勒姆·本费哈特;扎伊德·布劳伊;马达琳娜·克罗伊托鲁;玛丽·劳雷·穆格尼尔;奥德尔·帕皮尼;罗氏，斯旺;卡里姆·塔比亚

不一致容忍查询应答：合理性属性和计算复杂性分析。 （英语） Zbl 1483.68393号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 64-80 (2016).
MSC公司：68立方英尺 65年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Baget}等人，Lect。注释计算。科学。10021，64-80（2016；Zbl 1483.68393）
全文： 内政部 链接
海宁·科勒;乌韦·莱克;林克，塞巴斯蒂安;亨利·普拉德

可能性键的逻辑基础。 （英语） Zbl 1432.68462号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第876181-195页（2014年）。
MSC公司：68层37 第68页，共15页 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.Koehler}等人，Lect。注释计算。科学。8761181--195（2014年；Zbl 1432.68462）
全文： 内政部
理查德·布斯;托马斯·梅耶;伊万·瓦尔津扎克

PTL：命题典型性逻辑。 （英语） Zbl 1286.68411号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。人工智能课堂讲稿，107-119（2012）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Booth}等人，Lect。注释计算。科学。7519、107——119（2012；Zbl 1286.68411）
全文： 内政部
迪迪埃·杜布瓦

在定性和定量环境中进行信息融合和修订。迈向统一框架的步骤。 （英语） Zbl 1341.68224号

Liu，Weiru（编辑），不确定性推理的符号和定量方法。2011年6月29日至7月1日，第11届欧洲会议，ECSQARU 2011，英国贝尔法斯特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22151-4/pbk）。计算机科学课堂讲稿6717。人工智能课堂讲稿，1-18（2011）。
MSC公司：68立方英尺 03B42号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{D.Dubois}，莱克特。注释计算。科学。6717，1--18（2011；Zbl 1341.68224）
全文： 内政部
铃木、吉隆

变化最大的附加固结。 （英语） Zbl 1262.03031号

Mints，G.（ed.）等人，《第十三届逻辑、语言、信息和计算研讨会论文集》（WoLLIC 2006），美国加利福尼亚州斯坦福市，2006年7月18日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记165177-187（2006）。
MSC公司：03B42号 03B60号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{Y.铃木}，电子。注释Theor。计算。科学。165177-187（2006年；Zbl 1262.03031）
全文： 内政部
康斯坦蒂诺斯·乔治亚托斯

有理推理的基于顺序的表示。 （英语） Zbl 1427.68302号

Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1126, 176-191 (1996).
MSC公司：68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{K.Georgatos}，莱克特。注释计算。科学。1126176--191（1996年；Zbl 1427.68302）
全文： 内政部 arXiv公司
Joáo C.P.达席尔瓦。;Sheila R.M.维洛索。

默认推理的球体世界语义。 （英语） Zbl 1496.68314号

Marek，V.W.（编辑）等人，《逻辑编程和非单调推理》。第三届国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26-28日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。928, 175-188 (1995).
MSC公司：68T27型 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{J.C.P.da Silva}和\textit{S.R.M.Veloso}，莱克特。注释计算。科学。928175-188（1995年；Zbl 1496.68314）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件