×

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

最新的 引文 关联
瓦伦丁·卡萨诺;劳尔·费尔瓦里;纪尧姆·霍夫曼;卡洛斯·阿雷塞斯;巴勃罗·卡斯特罗。

默认直觉逻辑的表格演算。 （英语） Zbl 1486.03018号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。117161-177（2019年）。
MSC公司：03B20型 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{V.Cassano}等人，Lect。注释计算。科学。11716、161--177（2019；Zbl 1486.03018）
全文： 内政部
汤米·詹胡宁;伊尔卡·尼梅尔

为非单调推理量身定制的累加性。 （英语） 兹比尔1432.68442

Eiter，Thomas（编辑）等人，《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9060, 96-111 (2015).
MSC公司：68T27型 03B60号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{T.Janhunen}和\textit{I.Niemelä}，莱克特。注释计算。科学。9060，96-111（2015；Zbl 1432.68442）
全文： 内政部
托马斯·艾特;汉内斯·斯特拉斯;特鲁什琴斯基，米洛斯奥;斯特凡·沃尔特兰

格哈德·布鲁卡对人工智能的贡献一瞥。 （英语） 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年；兹比尔1432.68003）
全文： 内政部
菲利普·贝斯纳德;埃里克·格雷戈里;塞巴斯蒂安·拉蒙

默认逻辑的默认逻辑补丁。 （英语） Zbl 1245.68180号

Sossai，Claudio（编辑）等人，不确定性推理的符号和定量方法。第十届欧洲会议，ECSQARU 2009，意大利维罗纳，2009年7月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02905-9/pbk）。计算机科学课堂讲稿5590。人工智能课堂讲稿，578-589（2009）。
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{P.Besnard}等人，莱克特。注释计算。科学。5590、578--589（2009年；Zbl 1245.68180）
全文： 内政部 哈尔
博纳蒂，P.A。;奥利维蒂，N。

怀疑默认逻辑的后续演算。 （英语） Zbl 1415.03054号

Galmiche，Didier（编辑），用分析表和相关方法进行自动推理。1997年5月13日至16日，法国蓬特-阿-穆森，TABLEAUX’97国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1227, 107-121 (1997).
MSC公司：03财年03 03B60号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Bonatti}和\textit{N.Olivetti}，莱克特。注释计算。科学。1227，107-121（1997；Zbl 1415.03054）
全文： 内政部
安东尼奥（G.Antoniou）。;考特尼，A.P。;J·恩斯特。;威廉姆斯，M.A。

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

Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1126, 237-250 (1996).
MSC公司：68T27型
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公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciorba}，莱克特。注释计算。科学。1126208-223（1996年；Zbl 1427.68288）
全文： 内政部
阿图尔·米基图克

理性缺省逻辑中缺省理论的半再现性。 （英语） Zbl 1427.68294号

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

受限默认逻辑中的怀疑式问答。 （英语） 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}，莱克特。注释计算。科学。1085567-581（1996年；Zbl 1419.68132）
全文： 内政部
阿图尔·米基图克;米罗斯瓦·特鲁什钦斯基

怀疑理性扩展。 （英语） Zbl 1496.68318号

Marek，V.W.（编辑）等人，《逻辑编程和非单调推理》。第三届国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26-28日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。928, 259-272 (1995).
MSC公司：第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{A.Mikitiuk}和\textit{M.Truszczyn ski}，莱克托。注释计算。科学。928259-272（1995年；Zbl 1496.68318）
全文： 内政部
袁丽燕;你，贾怀

关于逻辑程序设计的推广，通过统一证明否定。 （英语） Zbl 1496.68094号

Marek，V.W.（编辑）等人，《逻辑编程和非单调推理》。第三届国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26-28日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。928, 231-244 (1995).
MSC公司：68N17号 68问题55 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.Y.Yuan}和\textit{J.H.You}，Lect。注释计算。科学。928231--244（1995年；Zbl 1496.68094）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件