×

找到113个文档（结果1-100）

最新的 引文 关联
川崎达木;铃木森口;高桥，Kazuko

双极论证框架上的混合推理。 （英语） Zbl 1440.68267号

Ben Amor，Nahla（编辑）等，可扩展不确定性管理。2019年12月16日至18日，法国康皮涅，第13届国际会议，SUM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11940, 79-92 (2019).
MSC公司：第68页第27页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{T.川崎}等人，Lect。注释计算。科学。11940、79-92（2019年；Zbl 1440.68267）
全文： 内政部
托马斯·艾特;汉内斯·斯特拉斯;特鲁什琴斯基，米洛斯奥;斯特凡·沃尔特兰

格哈德·布鲁卡对人工智能的贡献一瞥。 （英语） Zbl 1432.68003号

Eiter，Thomas（编辑）等人，《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。9060, 1-16 (2015).
MSC公司：68-03 01A70号 第68页第27页 68立方英尺 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，Lect。注释计算。科学。9060，1--16（2015；Zbl 1432.68003）
全文： 内政部
弗朗西丝卡·托尼

通过基于假设的论证在网上进行推理。 （英语） Zbl 1251.68229号

托马斯·艾特（编辑）等人，《推理网络》。高级查询应答的语义技术。2012年9月3日至8日，奥地利维也纳，第八届国际暑期学校。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33157-2/pbk）。计算机科学课堂讲稿7487，370-386（2012）。
MSC公司：第68页第27页 68英里11 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{F.Toni}，莱克特。注释计算。科学。7487370-386（2012年；Zbl 1251.68229）
全文： 内政部
卡塔琳娜·布里茨;托马斯·梅耶;伊万·瓦尔津扎克

模态逻辑的优先推理。 （英语） Zbl 1347.03042号

van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记278，55-69（2011）。
MSC公司：03B45 03B42号 68问题55 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{K.Britz}等人，《电子》。理论注释。计算。科学。278、55-69（2011年；Zbl 1347.03042）
全文： 内政部
铃木、吉隆

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

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

用于次协调推理的简单签名系统。 （英语） 兹比尔1427.68287

Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1126, 404-416 (1996).
MSC公司：第68页第27页 03B53号
PDF格式BibTeX公司 XML格式引用
\textit｛P.Besnard｝和\textit｛T.Schaub｝，Lect。注释计算。科学。1126404-416（1996年；Zbl 1427.68287）
全文： 内政部
迈克尔·卡明斯基;约翰·马考斯基（Johann A.Makowsky）。;迈克尔·蒂姆金

通过域闭合假设对开放缺省理论进行扩展。 （英语） Zbl 1427.68293号

Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1126, 373-387 (1996).
MSC公司：第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{M.Kaminski}等人，Lect。注释计算。科学。1126373-387（1996年；Zbl 1427.68293）
全文： 内政部
安东尼奥（G.Antoniou）。;考特尼，A.P。;J·恩斯特。;威廉姆斯，医学硕士。

计算受约束默认逻辑扩展的系统。 （英语） Zbl 1427.68286号

Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1126, 237-250 (1996).
MSC公司：第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{G.Antoniou}等人，Lect。注释计算。科学。1126237-250（1996年；Zbl 1427.68286）
全文： 内政部
西尔巴，维奥里卡

一种基于Lukaszewicz广义开放缺省理论的查询应答算法。 （英语） Zbl 1427.68288号

Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1126, 208-223 (1996).
MSC公司：第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciorba}，莱克特。注释计算。科学。1126208-223（1996年；Zbl 1427.68288）
全文： 内政部
托尔斯滕·绍布;迈克尔·泰尔舍尔

受限默认逻辑中的怀疑式问答。 （英语） Zbl 1419.68132号

Gabbay，Dov M.（编辑）等人，《实践推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1085, 567-581 (1996).
MSC公司：第68页第27页 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit｛T.Schaub｝和\textit｛M.Thielscher｝，Lect。注释计算。科学。1085567-581（1996年；Zbl 1419.68132）
全文： 内政部
乔里·恩格弗里特;Herre，Heinrich先生;简·特雷尔

多信念集的非单调推理。 （英语） Zbl 1419.68111号

Gabbay，Dov M.（编辑）等人，《实践推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1085, 331-344 (1996).
MSC公司：第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{J.Engelfriet}等人，Lect。注释计算。科学。1085、331--344（1996年；Zbl 1419.68111）
全文： 内政部
弗朗西丝卡·托尼;安东尼奥斯·卡卡斯。

计算可接受语义。 （英语） Zbl 1496.68325号

Marek，V.W.（编辑）等人，《逻辑编程与非单调推理》。第三届国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26-28日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。第928、401-415页（1995年）。
MSC公司：第68页第27页 03B60号 68问题55 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.Toni}和\textit{A.C.Kakas}，莱克特。注释计算。科学。928401--415（1995年；Zbl 1496.68325）
全文： 内政部
加贝，D。;佐丹奴，L。;A.马泰利。;奥利维蒂，N。

逻辑编程语言中的假设更新、优先级和不一致性。 （英语） Zbl 1496.68316号

Marek，V.W.（编辑）等人，《逻辑编程与非单调推理》。第三届国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26-28日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。928, 203-216 (1995).
MSC公司：第68页第27页 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.Gabbay}等人，Lect。注释计算。科学。928203-216（1995年；Zbl 1496.68316）
全文： 内政部
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公司：第68页第27页 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名

软件