×

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

最新的 引文 关联
奥费尔·阿列利;安娜·扎曼斯基

引言：非经典逻辑-介于语义和证明理论之间（与阿诺·阿夫伦的工作有关）。 （英语） Zbl 07451996年

Arieli，Ofer（编辑）等人，Arnon Avron关于非经典逻辑的语义和证明理论。查姆：斯普林格。外部。控制日志。21, 1-11 (2021).
MSC公司：03年XX月 68倍
PDF格式BibTeX公司 XML格式引用
\textit{O.Arieli}和\textit{A.Zamansky}，Outst。控制日志。21、1--11（2021；Zbl 07451996）
全文： 内政部
托拜厄斯·盖宾格;汉斯·托姆皮茨

非单调次协调逻辑系统的序列型计算。 （英语） Zbl 07455717号

Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）325178-191（2020）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{T.Geibinger}和\textit{H.Tompits}，电子。程序。西奥。计算。科学。（EPTCS）325178--191（2020；Zbl 07455717）
全文： arXiv公司 链接
艾伦·P·黑森（Allen P.Hazen）。;弗朗西斯·杰弗里·佩利蒂埃

K3、Ł3、LP、RM3、A3、FDE、M：如何使多值逻辑为您工作。 （英语） Zbl 1469.03063号

Omori，Hitoshi（编辑）等人，关于Belnap-Dunn逻辑的新论文。查姆：斯普林格。合成。伦敦银行同业拆借利率。418, 155-190 (2019).
MSC公司：03B50号 03B47型 03B53号
PDF格式BibTeX公司 XML格式引用
\textit｛A.P.Hazen｝和\textit｛F.J.Pelletier｝，Synth。伦敦银行同业拆借利率。418155-190（2019年；Zbl 1469.03063）
全文： 内政部 arXiv公司
陈良婷;马库斯·罗根巴赫;约翰·V·塔克。

数据链接的代数理论。 （英语） Zbl 1444.68066号

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。第24届IFIP工作组1.3国际研讨会，2018年7月2日至5日，英国埃格姆，WADT 2018。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11563, 47-66 (2019).
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{L.-T.Chen}等人，Lect。注释计算。科学。11563、47-66（2019年；Zbl 1444.68066）
全文： 内政部 arXiv公司 链接
奥费尔·阿列利;阿诺·阿夫隆

三值次协调命题逻辑。 （英语） Zbl 1423.03092号

Beziau，Jean-Yves（编辑）等人，《次协调逻辑的新方向》。2014年2月13日至17日在印度加尔各答举行的第五届世界不一致性大会论文集。新德里：斯普林格。Springer程序。数学。Stat.152，91-129（2015）。
MSC公司：03B53号 03B50号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{O.Arieli}和\textit{A.Avron}，Springer Proc。数学。Stat.152，91-129（2015；Zbl 1423.03092）
全文： 内政部
彼得罗·巴罗尼;马西米利亚诺·贾科明;辽、北水

我不在乎，我不知道我知道的太多了！论抽象论证中的不完全性和不确定性。 （英语） Zbl 1432.68423号

Eiter，Thomas（编辑）等人，《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9060, 265-280 (2015).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{P.Baroni}等人，Lect。注释计算。科学。9060，265--280（2015；Zbl 1432.68423）
全文： 内政部
尤里·莫夫西扬。;瓦哈根·A·阿斯兰扬。

超德摩根函数和自由德摩根拟格。 （英语） Zbl 1346.08004号

美分。欧洲数学杂志。 第12号，第12期，1749-1761（2014）.
审核人：方杰（广州）
MSC公司：08B05号 08B20号 06B25号 06时30分 06E30年 6点20分 03G25号
PDF格式BibTeX公司 XML格式引用
\textit{Y.M.Movsisyan}和\textit{V.A.Aslanyan}，中央。欧洲数学杂志。12，第12号，1749-1761（2014；Zbl 1346.08004）
全文： 内政部
迈克尔·安德森。;瓦利德·戈马;约翰·格兰特;佩利斯，唐

一种人类层面的常识推理方法。 （英语） Zbl 1261.03014号

Tanaka，Koji（编辑）等人，Parasconsistence。逻辑和应用。2008年，澳大利亚墨尔本，第四届准一致性世界大会论文集。柏林：施普林格出版社（ISBN 978-94-007-4437-0/hbk）。《逻辑、认识论和科学的统一》26，201-222（2013）。
MSC公司：03A05号 03B53号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛M.L.Anderson｝等人，日志。认识论。统一科学。26、201-222（2013；Zbl 1261.03014）
全文： 内政部
西尔维·科斯特·马奎斯;皮埃尔·侯爵

通过忘记不一致来恢复一致性。 （英语） Zbl 1178.03038号

Hölldobler，Steffen（编辑）等人，《人工智能中的逻辑》。第11届欧洲会议，JELIA 2008，德国德累斯顿，2008年9月28日至10月1日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87802-5/pbk）。计算机科学课堂讲稿5293。《人工智能讲义》，113-125（2008）。
MSC公司：03B53号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.科斯特马奎斯}和\textit{P.马奎斯，莱克特。注释计算。科学。5293、113--125（2008年；Zbl 1178.03038）
全文： 内政部 哈尔
马，岳;桂林齐;帕斯卡·希茨勒;林，左权

一种通过次一致语义计算不一致性度量的算法。 （英语） Zbl 1148.68495号

Mellouli，Khaled（编辑），不确定性推理的符号和定量方法。第九届欧洲会议，2007年10月31日至11月2日，ECSQARU，突尼斯哈马马特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75255-4/pbk）。计算机科学课堂讲稿4724。《人工智能课堂讲稿》，91-102（2007）。
MSC公司：68立方英尺 68T27型 03B53号
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Ma｝等人，Lect。注释计算。科学。4724，91-102（2007；Zbl 1148.68495）
全文： 内政部
马，岳;桂林齐;帕斯卡·希茨勒;林，左权

基于次一致语义的描述逻辑不一致性度量。 （英语） Zbl 1148.68487号

Mellouli，Khaled（编辑），不确定性推理的符号和定量方法。第九届欧洲会议，2007年10月31日至11月2日，ECSQARU，突尼斯哈马马特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75255-4/pbk）。计算机科学课堂讲稿4724。人工智能课堂讲稿，30-41（2007）。
MSC公司：68T27型 03B53号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Ma}等人，Lect。注释计算。科学。4724，30--41（2007；Zbl 1148.68487）
全文： 内政部 链接
Deschrijver，很高兴;奥费尔·阿列利;克里斯·科内利斯;艾蒂安·凯尔（Etienne E.Kerre）。

处理分级真实性和不精确性的基于双参数的框架。 （英语） Zbl 1121.03073号

国际J.不确定。模糊知道-基于系统。 15，第1期，13-41（2007）.
审核人：维托尔德·佩德里茨（埃德蒙顿）
MSC公司：03E72型 68层37
PDF格式BibTeX公司 XML格式引用
\textit{G.Descrijver}等人，《国际期刊不确定性》。模糊知道-基于系统。15、第1号、第13-41号（2007；Zbl 1121.03073）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件