×

找到67个文档（结果1–67）

最新的 引文 关联
纳迪亚·克里诺；莱因哈德·皮克勒；斯特凡·沃尔特兰

在Krom片段中，与SAT相关的推理任务变得更容易了吗？ （英语） Zbl 1403.68078号

日志。方法计算。科学。 14，第4号，第10号论文，25页（2018年）。
MSC公司：65年第68季度 03B05号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Creignou}等人，日志。方法计算。科学。14，第4号，第10号论文，25页（2018；Zbl 1403.68078）
全文： 内政部 arXiv公司
路易斯·克鲁兹·菲利佩

固定固定点和活动完整性约束。 （英语） Zbl 1428.68139号

Carro，Manuel（编辑）等人，第32届逻辑编程国际会议的技术交流，ICLP 2016，2016年10月16日至21日，美国纽约。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。52，第11条，第14页（2016年）。
MSC公司：第68页，共15页 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{L.Cruz-Filipe}，OASIcs--开放存取服务器。通知。52，第11条，第14页（2016年；Zbl 1428.68139）
全文： 内政部 arXiv公司
亚伦·亨特；Eric Tsang先生

GenB：AGM修订的通用解决方案。 （英语） Zbl 1483.68380号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，2016年JELIA，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10021, 564-569 (2016).
MSC公司：68T27型 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Hunter}和\textit{E.Tsang}，Lect。票据计算。科学。10021564--569（2016；Zbl 1483.68380）
全文： 内政部
纳迪亚·克里诺；拉伊达·科塔里；奥德尔·帕皮尼

命题片段中的信念更新。 （英语） Zbl 1465.68237号

Destercke，Sébastien（编辑）等人，用符号和定量方法进行不确定性推理。第13届欧洲会议，ECSQARU 2015，法国康皮涅，2015年7月15日至17日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9161, 165-174 (2015).
MSC公司：68T27型 03B42号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{N.Creignou}等人，Lect。票据计算。科学。9161、165--174（2015；Zbl 1465.68237）
全文： 内政部 哈尔
詹姆斯·德尔格兰德

行动理论中信念修正的思考。 （英语） Zbl 1357.68215号

Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学讲义7265，164-177（2012）。
MSC公司：68T27型 03B42号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Delgrande}，莱克特。票据计算。科学。7265，164--177（2012；Zbl 1357.68215）
全文： 内政部
塞德里克馅饼；尤塞夫·哈马迪；拉赫达尔·塞伊斯

MUS计算决策过程的有效组合。 （英语） Zbl 1193.68226号

Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学讲义5749。人工智能课堂讲稿，335-349（2009）。
MSC公司：68吨15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Piette}等人，Lect。票据计算。科学。5749335--349（2009年；Zbl 1193.68226）
全文： 内政部
埃里克·格雷戈里；贝特朗·马祖尔；塞德里克馅饼

这组条款是否与至少一个MUS重叠？ （英语） Zbl 1250.68234号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲义5663。《人工智能讲义》，100-115（2009）。
MSC公司：68吨15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{埃里·格雷戈伊尔}等人，Lect。票据计算。科学。5663100-115（2009年；Zbl 1250.68234）
全文： 内政部
劳伦特·加西亚；圣埃芬·恩戈马；帕斯卡·尼古拉斯

通过在ASP中引入特殊性来自动处理异常。 （英语） Zbl 1245.68185号

Sossai，Claudio（编辑）等人，《不确定性推理的符号和定量方法》。第十届欧洲会议，ECSQARU 2009，意大利维罗纳，2009年7月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02905-9/pbk）。计算机科学课堂讲稿5590。人工智能课堂讲稿，614-625（2009）。
MSC公司：68T27型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{L.Garcia}等人，Lect。票据计算。科学。5590、614--625（2009年；Zbl 1245.68185）
全文： 内政部
菲利普·贝斯纳德；埃里克·格雷戈里；塞巴斯蒂安·拉蒙

默认逻辑的默认逻辑补丁。 （英语） 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）
全文： 内政部 哈尔
奥马尔·杜卡里；埃里克·沃贝尔；罗伯特·詹索林

基于距离的C结构信念修正语义。 （英语） Zbl 1245.03020号

Sossai，Claudio（编辑）等人，《不确定性推理的符号和定量方法》。第十届欧洲会议，ECSQARU 2009，意大利维罗纳，2009年7月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02905-9/pbk）。计算机科学课堂讲稿5590。人工智能课堂讲稿，359-370（2009）。
MSC公司：03B42号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{O.Doukari}等人，Lect。票据计算。科学。5590359-370（2009年；兹bl 1245.03020）
全文： 内政部
埃里克·格雷戈里；贝特朗·马祖尔；塞德里克馅饼

必须：提供不满足的详细解释。 （英语） Zbl 1145.68516号

Bessière，Christian（编辑），约束编程的原则和实践–CP 2007。2007年9月23日至27日，第13届国际会议，CP 2007，美国罗得岛州普罗维登斯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74969-1/pbk）。计算机科学课堂讲稿4741，317-331（2007）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{埃里·格雷戈伊尔}等人，Lect。票据计算。科学。4741、317--331（2007；Zbl 1145.68516）
全文： 内政部
托马斯·艾特；乔治·戈特洛布

复杂性类\（\varTheta^\mathrm{p} _2\)：人工智能和模态逻辑的最新结果和应用。 （英语） Zbl 1507.68121号

Chlebus，Bogdan S.（编辑）等人，《计算理论基础》。第11届国际研讨会，1997年9月1日至3日，波兰克拉科夫贾吉略大学FCT’97。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1279, 1-18 (1997).
MSC公司：2015年第68季度 03B45号 68N17号 19年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}和\textit{G.Gottlob}，莱克特。票据计算。科学。1279年1月18日（1997年；Zbl 1507.68121）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件