孙欣;利维奥·罗巴尔多 关于输入/输出逻辑的复杂性。 (英语) Zbl 1436.03142号 J.应用。日志。 25, 69-88 (2017).MSC公司:03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Sun}和\textit{L.Robaldo},J.Appl。日志。25、69-88(2017;Zbl 1436.03142) 全文: 内政部 链接
伊娃·阿蒙戈尔;普约尔·格鲁亚特(Puyol-Gruart,Josep) 基于奖励的偏好建模方法:案例研究。 (英语) Zbl 1436.91057号 J.应用。日志。 23, 51-69 (2017).MSC公司:91B08型 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{E.Armengol}和\textit{J.Puyol-Gruart},J.Appl。日志。23、51-69(2017年;Zbl 1436.91057) 全文: 内政部
加布里埃尔·克恩·伊斯伯纳;丹尼尔·胡弗曼 多重迭代信念改变需要什么样的独立性? (英语) Zbl 1436.03112号 J.应用。日志。 22, 91-119 (2017).MSC公司:03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Kern-Isberner}和\textit{D.Huvermann},J.Appl。日志。22、91——119(2017;Zbl 1436.03112) 全文: 内政部
Jean-Christophe Magnan;Pierre-Herri,Wuillemin 使用多值决策图进行高效的增量规划和学习。 (英语) Zbl 1436.68325号 J.应用。日志。 22, 63-90 (2017).MSC公司:68T20型 68T05型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Magnan}和\textit{P.-H.Wuillemin},J.Appl。日志。22、63-90(2017年;Zbl 1436.68325) 全文: 内政部 哈尔
安吉丽卡·基米格;盖伊,范登·布勒克;吕克·德·雷德 代数模型计数。 (英语) Zbl 1436.68335号 J.应用。日志。 22, 46-62 (2017).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kimmig}等人,J.Appl。日志。22、46-62(2017年;Zbl 1436.68335) 全文: 内政部 arXiv公司 链接
John C.McCabe-Dansted。;马克·雷诺兹 重写\(\mathrm{CTL}^\ast\)的规则。 (英语) Zbl 1436.03124号 J.应用。日志。 21, 24-56 (2017).MSC公司:03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.McCabe-Dansted}和textit{M.Reynolds},J.Appl。日志。21、24-56(2017年;Zbl 1436.03124) 全文: 内政部
帕维尔·瑙莫夫;陶,贾 隐私的代价。 (英语) Zbl 1442.68240号 J.应用。日志。 20, 32-48 (2017).MSC公司:68T42型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{P.Naumov}和\textit{J.Tao},J.Appl。日志。20,32-48(2017;Zbl 1442.68240) 全文: 内政部 链接
保罗·D·索恩。;格哈德·舒尔茨 变熵水平下的定性概率推理。 (英语) Zbl 1436.03151号 J.应用。日志。 第二部分第19章,87-101(2016).MSC公司:03B48号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{P.D.Thorn}和\textit{G.Schurz},J.Appl。日志。19,第2部分,87--101(2016;Zbl 1436.03151) 全文: 内政部
尼科·波提卡;恩格尔伯特·米特迈尔;大卫·马伦克 概述了在专家系统shell MECore(扩展版)中计算最佳熵分布的算法方法。 (英语) 兹比尔1436.68341 J.应用。日志。 19,第二部分,71-86(2016).MSC公司:68层35 60E05型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{N.Potyka}等人,J.Appl。日志。19,第2部分,71--86(2016;Zbl 1436.68341) 全文: 内政部
贾斯汀·杰科特;埃马纽埃尔·吉诺特;弗兰克·曾克 从合理的偏好,通过论证,到逻辑。 (英语) Zbl 1436.03171号 J.应用。日志。 18, 105-128 (2016).MSC公司:03B65号 91个40个 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{J.Jacot}等人,J.Appl。日志。18、105-128(2016年;Zbl 1436.03171) 全文: 内政部
乔安娜·戈林斯卡·皮拉雷克;埃米利奥·穆尼奥斯·韦拉斯科;安杰尔·莫拉 表简化:朝向模态必要性的最优决策程序。 (英语) Zbl 1436.03132号 J.应用。日志。 17, 14-24 (2016).MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Golin ska-Pilarek}等人,J.Appl。日志。17、14-24(2016;Zbl 1436.03132) 全文: 内政部
毛里西奥·奥索里奥·加林多;维罗尼察博尔贾·马西亚斯;阿拉佐拉·拉米雷斯(Arrazola Ramírez)、何塞·拉蒙·恩里克(JoséRamón Enrique) 重温达科斯塔逻辑。 (英语) Zbl 1437.03104号 J.应用。日志。 16, 111-127 (2016).MSC公司:03B53号 03B20型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Osorio Galindo}等人,J.Appl。日志。16、111-127(2016;Zbl 1437.03104) 全文: 内政部
罗伯特·德莫洛姆;路易斯·法利尼亚斯·德尔·塞罗;纳吉·奥贝德 通过完备性理论将一阶公式转换为基本公式。 (英语) Zbl 1436.03100号 J.应用。日志。 15, 130-149 (2016).MSC公司:03B35型 68T27型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Demolombe}等人,J.Appl。日志。15、130-149(2016年;Zbl 1436.03100) 全文: 内政部
洛伦佐·马格纳尼 绑架的生态认知模型。二、。无关紧要和难以置信被开脱。 (英语) Zbl 1436.03055号 J.应用。日志。 15, 94-129 (2016).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Magnani},J.应用。日志。15、94-129(2016;Zbl 1436.03055) 全文: 内政部
阿金库米,B.O。 时间多次重复理论中的重合问题。 (英语) Zbl 1436.03119号 J.应用。日志。 2016年6月15日至68日.MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.O.Akinkummi},J.应用。日志。15、46-68(2016年;Zbl 1436.03119) 全文: 内政部 arXiv公司
乔纳森·劳里 边界线和边界概率:关于模糊性和不确定性之间的相互联系。 (英语) Zbl 1334.03019号 J.应用。日志。 14113-138(2016).MSC公司:03B48号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.劳里},J.应用。日志。14、113--138(2016;Zbl 1334.03019) 全文: 内政部
安吉洛·吉利奥;尼基·菲弗;朱塞佩·桑菲利波 基于相干性的概率逻辑中的传递性。 (英语) Zbl 1436.03146号 J.应用。日志。 14, 46-64 (2016).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{A.Gilio}等人,J.Appl。日志。14、46-64(2016;Zbl 1436.03146) 全文: 内政部
帕洛特·拉特纳宾达;马雷克·德鲁兹泽尔。 从连续数据流中学习离散贝叶斯网络参数:最佳策略是什么? (英语) Zbl 1409.68240号 J.应用。日志。 13,第4号,第2部分,628-642(2015).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ratnapinda}和\textit{M.J.Druzdzel},J.Appl。日志。13,第4号,第2部分,628--642(2015;Zbl 1409.68240) 全文: 内政部
克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳 使用归纳推理完成OCF网络。 (英语) Zbl 1409.68290号 J.应用。日志。 13,第4号,第2部分,605-627(2015).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{C.Eichhorn}和\textit{G.Kern-Isberner},J.Appl。日志。13,第4号,第2部分,605--627(2015;Zbl 1409.68290) 全文: 内政部
奥费尔·阿列利 约束论证框架的无冲突和容错语义。 (英语) Zbl 1394.68363号 J.应用。日志。 13,第4号,第2部分,582-604(2015).MSC公司:68T27型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli},J.Appl(J.应用程序)。日志。13,第4号,第2部分,582-604(2015;Zbl 1394.68363) 全文: 内政部
尼古拉斯·马泰;朱迪·戈德史密斯;安德鲁·克拉珀;马丁·蒙德亨克 关于不确定信息比赛中贿赂和操纵的复杂性。 (英语) Zbl 1422.91225号 J.应用。日志。 第2部分第4号第13条,557-581(2015).MSC公司:91B12号机组 2017年第68季度 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Mattei}等人,J.Appl。日志。13,第4号,第2部分,557--581(2015;Zbl 1422.91225) 全文: 内政部
马西米利亚诺·巴丹。;莫罗·戈梅斯·卢塞罗;伊格纳西奥·维格利佐;吉列尔莫·西马里。 有标签的论证框架。 (英语) Zbl 1386.68164号 J.应用。日志。 13,第4号,第1部分,534-553(2015).MSC公司:68立方英尺 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.C.D.Budán}等人,J.Appl。日志。13,第4号,第1部分,534--553(2015;Zbl 1386.68164) 全文: 内政部
安德烈亚·科恩;塞巴斯蒂安·戈蒂弗雷迪;亚历杭德罗·加西亚。;吉列尔莫·西马里。 一种具有递归攻击和支持的抽象论证方法。 (英语) Zbl 1386.68156号 J.应用。日志。 13,第4号,第1部分,509-533(2015).MSC公司:68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{A.Cohen}等人,J.Appl。日志。13,第4号,第1部分,509--533(2015;Zbl 1386.68156) 全文: 内政部
亨利埃塔;乔纳森·劳里 非精确断言策略的Dempster-Shafer模型。 (英语) Zbl 1401.68320号 J.应用。日志。 13,第4号,第1部分,458-479(2015).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{H.Eyre}和textit{J.Lawry},J.Appl。日志。13,第4号,第1部分,458--479(2015;Zbl 1401.68320) 全文: 内政部
尼科·波提卡;克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 在最佳熵语义下,关系概率信度状态的演化及其变化的计算的概念。 (英语) Zbl 1401.68326号 J.应用。日志。 13,第4号,第1部分,414-440(2015).MSC公司:68层37 03B42号 03B48号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{N.Potyka}等人,J.Appl。日志。13,第4号,第1部分,414--440(2015;Zbl 1401.68326) 全文: 内政部
瓦夏克·贝勒;Hector J.列夫斯克。 情境演算中的机器人位置估计。 (英语) Zbl 1388.68274号 J.应用。日志。 13,第4号,第1部分,397-413(2015).MSC公司:68T40型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{V.Belle}和\textit{H.J.Levesque},J.Appl。日志。13,第4号,第1部分,397--413(2015;Zbl 1388.68274) 全文: 内政部 arXiv公司
Wáng,YN。;托马斯·奥戈特内斯 动态认知逻辑的相关常识。 (英语) Zbl 1378.03015号 J.应用。日志。 13,第3号,370-393(2015).MSC公司:03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Y.N.Wáng}和\textit{T.奥戈特内斯},J.Appl。日志。13,编号3,370-393(2015年;兹bl 1378.03015) 全文: 内政部
Eric A.Martin。 逻辑编程作为经典推理。 (英语) Zbl 1521.68030号 J.应用。日志。 13,第3号,316-369(2015).MSC公司:68N17号 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Martin},J.Appl。日志。13、编号3、316-369(2015;Zbl 1521.68030) 全文: 内政部
费萨尔·图阿兹;克劳德特·凯罗尔;迪迪埃·杜布瓦 部分有序信念的可能性推理。 (英语) Zbl 1386.03030号 J.应用。日志。 13,第4号,第3部分,770-798(2015).MSC公司:03B70号 03B42号 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{F.Touazi}等人,J.Appl。日志。13,第4号,第3部分,770--798(2015;Zbl 1386.03030) 全文: 内政部
曼弗雷德·埃普;梅胡尔·巴特 一种基于历史的近似认知行为理论,用于有效的后置推理。 (英语) Zbl 1457.68256号 J.应用。日志。 13,第4号,第3部分,720-769(2015).MSC公司:68T27型 65年第68季度 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Eppe}和\textit{M.Bhatt},J.Appl。日志。13,第4号,第3部分,720--769(2015;Zbl 1457.68256) 全文: 内政部
曼弗雷德·埃普;梅胡尔·巴特 使用答案集编程进行近似后置推理。 (英语) Zbl 1457.68255号 J.应用。日志。 13,第4号,第3部分,676-719(2015).MSC公司:68T27型 68N17号 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Eppe}和\textit{M.Bhatt},J.Appl。日志。13,第4号,第3部分,676--719(2015;Zbl 1457.68255) 全文: 内政部
费尔南多·托梅;吉安卢卡·卡特琳娜;恒河、洛克 绑架:一种分类描述。 (英语) Zbl 1323.03009号 J.应用。日志。 第1期第13期,78-90(2015).MSC公司:03A05号 18个C99 PDF格式BibTeX公司 XML格式引用 \textit{F.Tohmé}等人,J.Appl。日志。13,第1号,78--90(2015;Zbl 1323.03009) 全文: 内政部
洛伦佐·马格纳尼 使逻辑自然化。 (英语) Zbl 1311.03021号 J.应用。日志。 13,第1期,13-36(2015).MSC公司:03A05号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{L.Magnani},J.应用。日志。13,第1号,13-36(2015;Zbl 1311.03021) 全文: 内政部
Franz巴德;马赛尔·利普曼 使用时间描述逻辑进行运行时验证-重新访问LTL。 (英语) Zbl 1310.68140号 J.应用。日志。 2014年第4期第12期第584-613页.MSC公司:60年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{M.Lippmann},J.Appl。日志。12,第4号,584--613(2014;Zbl 1310.68140) 全文: 内政部
达戈斯蒂诺,马塞洛;马里奥广场;加布里埃尔·普奇尼 控制单调性的逻辑演算。 (英语) Zbl 1345.03102号 J.应用。日志。 12,第4期,558-569(2014).MSC公司:05年3月 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{M.D'Agostino}等人,J.Appl。日志。12,第4号,558--569(2014;Zbl 1345.03102) 全文: 内政部
苏希拉·卡奇;纳姆拉塔·帕特尔 基于假设的比较偏好陈述分析。 (英语) Zbl 1301.03030号 J.应用。日志。 12,第4期,501-521(2014).MSC公司:03B60号 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kaci}和\textit{N.Patel},J.应用。日志。12,第4号,501--521(2014;Zbl 1301.03030) 全文: 内政部 链接
格劳贝尔·德博纳;法比奥·加利亚迪·科兹曼;马塞洛·芬格 对命题概率逻辑进行分类。 (英语) 兹比尔1352.03032 J.应用。日志。 12,第3期,349-368(2014).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{G.De Bona}等人,J.Appl。日志。12,第3号,349--368(2014;Zbl 1352.03032) 全文: 内政部
伊戈尔·杜文 推理证据。 (英语) Zbl 1352.03006号 J.应用。日志。 12,第3期,263-278(2014).MSC公司:03A05号 03B48号 60A05型 62A01型 62C10个 PDF格式BibTeX公司 XML格式引用 \textit{I.Douven},J.Appl.(《应用》杂志)。日志。12,第3号,263--278(2014;Zbl 1352.03006) 全文: 内政部
路易斯·法利尼亚斯·德尔·塞罗;安德烈亚斯·赫齐格;苏·埃兹吉·伊拉兹 获取模态逻辑中的平衡模型。 (英语) Zbl 1328.03018号 J.应用。日志。 192-207年第2期第12页(2014年).MSC公司:03B45号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Fariñas del Cerro}等人,J.Appl。日志。12,第2号,192--207(2014;Zbl 1328.03018) 全文: 内政部
徐赞生;邱恩·荣·廖;王大伟 隐私保护社交网络发布的逻辑框架。 (英语) Zbl 1328.91263号 J.应用。日志。 12,第2期,151-174(2014).MSC公司:91天30分 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.-s.Hsu}等人,J.Appl。日志。12,第2号,151--174(2014;Zbl 1328.91263) 全文: 内政部
加文·雷恩斯;托马斯·梅耶;格哈德·莱克梅耶 SLAP:具有概率的动作的规范逻辑。 (英语) Zbl 1327.68164号 J.应用。日志。 12,第2期,128-150(2014).MSC公司:60年第68季度 03B35型 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Rens}等人,J.Appl。日志。12,第2号,第128-150条(2014;Zbl 1327.68164) 全文: 内政部
阿图尔·达维拉·加塞斯。;Dov M.加巴伊。;路易斯·兰姆。 论证的神经认知模型及其在法律推理和决策中的应用。 (英语) Zbl 1327.68264号 J.应用。日志。 2014年第2109-127号第12页.MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.d'Avila Garcez}等人,J.Appl。日志。12,第2号,109--127(2014;Zbl 1327.68264) 全文: 内政部
费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。;费尔南多·索勒·托斯卡诺;安格尔,内波穆塞诺·费尔南德斯 溯因推理的认知和动态方法:溯因问题和溯因解决方案。 (英语) 兹比尔1284.03147 J.应用。日志。 11,第4期,505-522(2013).MSC公司:03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.R.Velázquez-Quesada}等人,J.Appl。日志。11,第4号,505--522(2013;Zbl 1284.03147) 全文: 内政部
乔恩·威廉姆森 从贝叶斯认识论到归纳逻辑。 (英语) Zbl 1284.03166号 J.应用。日志。 11,第4期,468-486(2013).MSC公司:03B48号 03A10号 PDF格式BibTeX公司 XML格式引用 \textit{J.Williamson},J.Appl。日志。11,第4号,468--486(2013;Zbl 1284.03166) 全文: 内政部
马库斯·赫特;约翰·劳埃德。;吴基祥;威廉·T·B·乌瑟尔。 表达逻辑中句子的概率。 (英语) Zbl 1284.03161号 J.应用。日志。 11,第4期,386-420(2013).MSC公司:03B48号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Hutter}等人,J.Appl。日志。11,编号4386--420(2013年;兹bl 1284.03161) 全文: 内政部 arXiv公司
文森佐·克鲁皮;卡提亚·腾多里 作为部分蕴涵的确认:归纳逻辑中的一个表示定理。 (英语) Zbl 1284.03157号 J.应用。日志。 11,第4期,364-372(2013); 勘误表同上12,第2号,230-231(2014)。MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{V.Crupi}和\textit{K.Tentori},J.Appl。日志。11,第4号,364--372(2013;Zbl 1284.03157) 全文: 内政部
林克,塞巴斯蒂安 受控不确定性下饱和条件概率独立性的合理近似推理。 (英语) Zbl 1284.68551号 J.应用。日志。 11,第3期,309-327(2013).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.Link},J.应用。日志。11,第3号,309--327(2013;Zbl 1284.68551) 全文: 内政部
汉内斯·斯特拉斯;迈克尔·泰尔舍尔 带圈分支问题的一般一阶解。 (英语) Zbl 1284.68535号 J.应用。日志。 11,第3期,289-308(2013).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.Strass}和\textit{M.Thielscher},J.Appl。日志。11,第3号,289--308(2013;Zbl 1284.68535) 全文: 内政部
詹姆斯·盖特;斯图尔特,伊恩·A。 混合图逻辑片段在有限有向图上的可表达性。 (英语) Zbl 1284.03206号 J.应用。日志。 2013年第3期第11期第272-288页.MSC公司:03B70号 03B45号 03C13号机组 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gate}和\textit{I.A.Stewart},J.Appl。日志。11,第3号,272--288(2013;Zbl 1284.03206) 全文: 内政部
奥费尔·阿列利;马丁·卡米纳达。 一种基于QBF的抽象论证语义的形式化。 (英语) Zbl 1284.68533号 J.应用。日志。 11,第2期,229-252(2013).MSC公司:68T27型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}和\textit{M.W.A.Caminada},J.Appl。日志。11,第2号,229--252(2013;Zbl 1284.68533) 全文: 内政部 链接
刘、胡;任、袁;温雪峰 模拟信念逻辑。 (英语) Zbl 1284.03144号 J.应用。日志。 11,第2期,217-228(2013).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{H.Liu}等人,J.Appl。日志。11,第2号,217--228(2013;Zbl 1284.03144) 全文: 内政部
贝伦,马修;克里斯蒂安·斯特拉 两个正态分布的自适应逻辑。 (英语) Zbl 1284.03194号 J.应用。日志。 11,第2期,147-168(2013).MSC公司:03B53号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Beirlaen}和\textit{C.Straßer},J.Appl。日志。11,第2号,147--168(2013;Zbl 1284.03194) 全文: 内政部 链接
Do Lago Pereira,西尔维奥;莱利安·德·巴罗斯修女 在不确定性面前竭尽全力的计划代理。 (英语) Zbl 1262.68162号 J.应用。日志。 10,第4期,419-430(2012).MSC公司:68T20型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Do Lago Pereira}和\textit{L.Nunes de Barros},J.Appl。日志。10,第4号,419--430(2012;Zbl 1262.68162) 全文: 内政部
菲利普·巴尔比亚尼 判定纯双布尔代数中的单词问题。 (英语) Zbl 1283.06027号 J.应用。日志。 10,第3期,260-273(2012).MSC公司:06至75 03B25号 03D40号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani},J.应用。日志。10,编号3,260-273(2012年;兹bl 1283.06027) 全文: 内政部
罗杰·维尔梅尔;西尔万·霍尔 关于可见性的推理。 (英语) Zbl 1237.68209号 J.应用。日志。 10,第2期,163-178(2012).MSC公司:68T27型 65年第68季度 03B45号 60年第68季度 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{R.Villemaire}和\textit{S.Hallé},J.Appl。日志。10,第2号,163--178(2012;Zbl 1237.68209) 全文: 内政部
朱塞佩·普里米埃罗;马里亚罗萨利亚·塔迪奥 形式化可信通信的模式类型理论。 (英语) Zbl 1254.68247号 J.应用。日志。 10,第1期,92-114(2012). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:68T27型 03B42号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{G.Primiero}和\textit{M.Taddeo},J.Appl。日志。10,第1号,92--114(2012;Zbl 1254.68247) 全文: 内政部 链接
迈克尔·费希尔 可执行时间框架中的代理审议。 (英语) Zbl 1248.68502号 J.应用。日志。 9,第4期,223-238(2011).MSC公司:68T42型 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{M.Fisher},J.Appl。日志。9,第4号,223--238(2011;Zbl 1248.68502) 全文: 内政部
大卫·格罗西 规范作为违反的归属:模态逻辑分析。 (英语) Zbl 1233.03028号 J.应用。日志。 9,第2期,95-112(2011).MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{D.Grossi},J.Appl(J.格罗西)。日志。9,第2号,95-112(2011;Zbl 1233.03028) 全文: 内政部
克里斯蒂安·斯特拉 允许事实分离的道义逻辑框架。 (英语) Zbl 1229.03021号 J.应用。日志。 9,第1期,61-80(2011). 审核人:路易斯·高布尔(塞勒姆) MSC公司:03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.Straßer},J.Appl.(《应用杂志》)。日志。9,第1号,61-80(2011;Zbl 1229.03021) 全文: 内政部 链接
奥费尔·阿列利;安娜·扎曼斯基 具有距离语义的计算机化推理的简化形式。 (英语) Zbl 1216.68254号 J.应用。日志。 9,第1号,1-22(2011).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}和\textit{A.Zamansky},J.Appl。日志。9,第1号,1-22(2011;Zbl 1216.68254) 全文: 内政部
马丁·蒙德亨克;托马斯·施耐德;托马斯·施温蒂克;沃尔克·韦伯 传递框架上混合逻辑的复杂性。 (英语) Zbl 1215.03035号 J.应用。日志。 8,第4期,422-440(2010).MSC公司:03B45号 03B25号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mundhenk}等人,J.Appl。日志。8,编号4,422--440(2010;Zbl 1215.03035) 全文: 内政部
阿恩·迈尔;马丁·蒙德亨克;托马斯·施耐德;迈克尔·托马斯;沃尔克·韦伯;费利克斯·维斯 混合逻辑片段可满足性的复杂性。一、。 (英语) Zbl 1215.03034号 J.应用。日志。 8,第4号,409-421(2010).MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人,J.Appl。日志。8,第4号,409--421(2010;Zbl 1215.03034) 全文: 内政部
乔斯琳·法杜尔;沃尔克·哈尔斯列夫 描述逻辑的代数表推理(mathcal{SHOQ})。 (英语) Zbl 1214.68381号 J.应用。日志。 8,第4期,334-355(2010).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Faddoul}和\textit{V.Haarslev},J.Appl。日志。8,第4号,334--355(2010;Zbl 1214.68381) 全文: 内政部
斯特凡·德姆里;丹尼斯·卢吉兹 具有Presburger约束的模态逻辑的复杂性。 (英语) Zbl 1220.03008号 J.应用。日志。 8,第3期,233-252(2010年). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B45号 03B70号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Lugiez},J.Appl。日志。8,第3号,233--252(2010;Zbl 1220.03008) 全文: 内政部
JoséLuis Carbarlido;毛里西奥索里奥;若泽·拉蒙·阿拉佐拉 (G_3^素)稳定模型语义的等价性。 (英语) Zbl 1192.68660号 J.应用。日志。 8,第1期,82-96(2010).MSC公司:68T27型 03B53号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Carbarlido}等人,J.Appl。日志。8,第1号,82--96(2010;Zbl 1192.68660) 全文: 内政部
古斯塔沃·A·博丹扎。;费尔南多·托梅。 解决自攻论点和一般奇长攻击周期问题的两种方法。 (英语) Zbl 1189.03006号 J.应用。日志。 7,第4期,403-420(2009).MSC公司:03A05号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Bodanza}和\textit{F.A.Tohmé},J.Appl。日志。7,第4号,403--420(2009;Zbl 1189.03006) 全文: 内政部
恰基萨卡马;井上,胜美 诱拐和诱导中的对等问题。 (英语) Zbl 1176.68165号 J.应用。日志。 7,第3期,318-328(2009).MSC公司:68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.Sakama}和\textit{K.Inoue},J.Appl。日志。7,第3号,318--328(2009;Zbl 1176.68165) 全文: 内政部
井沼,Koji;井上,胜美;希德托莫·纳贝希玛 用逐点限定重新考虑限定归纳法。 (英语) Zbl 1172.03015号 J.应用。日志。 7,第3号,307-317(2009).MSC公司:03B48号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Iwanuma}等人,J.Appl。日志。7,第3号,307--317(2009;Zbl 1172.03015) 全文: 内政部
高文伯恩;El Fallah Seghrouchni,阿马尔;尼古拉斯·莫代特 通过传播来完善诱因或归纳假设。 (英语) Zbl 1176.68154号 J.应用。日志。 7,第3期,289-306(2009).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bourgne}等人,J.Appl。日志。7,第3号,289--306(2009;Zbl 1176.68154) 全文: 内政部
越南Tran;奇塔·巴拉尔 关于信令网络的假设。 (英语) 兹比尔1168.92002 J.应用。日志。 7,第3期,253-274(2009年).MSC公司:92B05型 92 C55 68层35 PDF格式BibTeX公司 XML格式引用 \textit{N.Tran}和\textit{C.Baral},J.Appl。日志。7,第3号,253--274(2009;Zbl 1168.92002) 全文: 内政部
Ng、K.S。;劳埃德,J.W。 经典逻辑中的概率推理。 (英语) Zbl 1174.03006号 J.应用。日志。 7,第2期,218-238(2009). 审核人:吉尔根·兰德斯(纳博内) MSC公司:03B48号 03B15号机组 68层37 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Ng}和\textit{J.W.Lloyd},J.Appl。日志。7,第2号,218--238(2009;Zbl 1174.03006) 全文: 内政部 链接
尼基·菲佛;格诺特·克莱特。 通过基于相干性的概率逻辑构建人类推理。 (英语) Zbl 1179.03025号 J.应用。日志。 7,第2期,206-217(2009).MSC公司:03B48号 91E99型 PDF格式BibTeX公司 XML格式引用 \textit{N.Pfeifer}和\textit{G.D.Kleiter},J.Appl。日志。7,编号2206-217(2009年;兹bl 1179.03025) 全文: 内政部
科林·豪森 逻辑能与概率结合吗?可能。 (英语) Zbl 1171.03315号 J.应用。日志。 7,第2期,177-187(2009).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \文本{C.Howson},J.Appl。日志。7,第2号,177--187(2009;Zbl 1171.03315) 全文: 内政部
罗尔夫·哈尼 概率论证。 (英语) Zbl 1183.68617号 J.应用。日志。 7,第2期,155-176(2009).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Haenni},J.Appl。日志。7,第2号,155--176(2009;Zbl 1183.68617) 全文: 内政部
凯西奥·波尔波·德坎波斯;法比奥·加利亚迪·科兹曼;何塞·爱德华多·奥乔亚·卢纳 在具有随机独立性的关系概率逻辑中组合一组一致的句子。 (英语) Zbl 1172.03316号 J.应用。日志。 7,第2期,137-154(2009).MSC公司:03B48号 68T27型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \文本{C.P.de Campos}等人,J.Appl。日志。7,第2号,137--154(2009;Zbl 1172.03316) 全文: 内政部 链接
法比奥·科兹曼;罗尔夫·哈尼;詹·威勒姆·罗梅因;俄罗斯,费德里卡;格雷戈里·惠勒;乔恩·威廉姆森 导言:概率与逻辑相结合。 (英语) Zbl 1170.03305号 J.应用。日志。 第7期,第2期,131-135页(2009年).MSC公司:03-06 03B48号 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{F.Cozman}等人,J.Appl。日志。7,第2号,131--135(2009;Zbl 1170.03305) 全文: 内政部
迈克尔·威塞尔;拉尔夫·莫勒 用于基于本体的信息系统的灵活软件体系结构。 (英语) Zbl 1183.68708号 J.应用。日志。 7,第1期,75-99(2009).MSC公司:68单位35 68第20页 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{M.Wessel}和\textit{R.Möller},J.Appl。日志。7,第1号,75--99(2009;Zbl 1183.68708) 全文: 内政部
彼得·鲍姆加特纳;富克斯,亚历山大;汉斯·德·尼维尔;塞萨尔·蒂内利 通过简化为无函数子句逻辑计算有限模型。 (英语) Zbl 1171.68040号 J.应用。日志。 7,第1期,58-74(2009).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人,J.Appl。日志。7,第1号,58--74(2009;Zbl 1171.68040) 全文: 内政部
孟,贾;劳伦斯·C·鲍尔森。 针对机器生成的解决问题的轻量级关联过滤。 (英语) Zbl 1183.68560号 J.应用。日志。 7,第1期,41-57(2009).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Meng}和\textit{L.C.Paulson},J.Appl。日志。7,第1号,41-57(2009;Zbl 1183.68560) 全文: 内政部
奥费尔·阿列利 通过迭代聚合距离函数,利用优先信息进行推理。 (英语) Zbl 1158.68499号 J.应用。日志。 6,第4号,589-605(2008).MSC公司:68立方英尺 68层37 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli},J.Appl(J.应用程序)。日志。6,第4号,589--605(2008;Zbl 1158.68499) 全文: 内政部
阿雷利斯·迪亚斯;卡洛斯·乌兹卡特吉 基于累积模型的解释性推理的表示定理。 (英语) Zbl 1158.68445号 J.应用。日志。 6,第4期,564-579(2008).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz}和\textit{C.Uzcátegui},J.Appl。日志。6,第4号,564--579(2008;Zbl 1158.68445) 全文: 内政部
塞尔默布林斯乔尔 逻辑学家宣言:终于让基于逻辑的人工智能成为自己的一个领域。 (英语) Zbl 1158.68437号 J.应用。日志。 6,第4号,502-525(2008).MSC公司:68T01型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bringsjord},J.Appl.(美国)。日志。6,第4号,502--525(2008;Zbl 1158.68437) 全文: 内政部
托马斯·艾特;埃斯拉·埃尔登;沃尔夫冈·费伯 撤消动作序列的效果。 (英语) Zbl 1158.68042号 J.应用。日志。 6,第3号,380-415(2008).MSC公司:68T20型 68立方英尺 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,J.Appl。日志。6,第3号,380--415(2008;Zbl 1158.68042) 全文: 内政部
Odintsov,S.P。;Wansing,H。 不一致的描述逻辑。二: \(\mathcal{CALC}^{mathsf C}\)的表格算法。 (英语) Zbl 1149.03023号 J.应用。日志。 6,第3期,343-360(2008).MSC公司:03B53号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Odintsov}和\textit{H.Wansing},J.Appl。日志。6,第3号,343--360(2008;Zbl 1149.03023) 全文: 内政部
大卫·格罗西;John-Jules Ch.梅耶。;弗兰克·迪格纳姆 counts-as的多个方面:对构成规则的形式分析。 (英语) Zbl 1149.68421号 J.应用。日志。 6,第2期,192-217(2008).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Grossi}等人,J.Appl。日志。6,编号2192-217(2008;兹bl 1149.68421) 全文: 内政部
罗伯特·克雷文;马雷克·塞尔戈特 动作语言中的代理串(n\mathcal C++)。 (英语) Zbl 1149.68419号 J.应用。日志。 6,第2期,172-191(2008).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Craven}和\textit{M.Sergot},J.Appl。日志。6,第2号,172--191(2008;Zbl 1149.68419) 全文: 内政部
圭多·波埃拉;范德托雷、伦德特 规范性多智能体系统中的实体和程序规范。 (英语) Zbl 1149.68416号 J.应用。日志。 第6期,第2期,152-171页(2008年).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Boella}和\textit{L.van der Torre},J.Appl。日志。6,第2号,152--171(2008;Zbl 1149.68416) 全文: 内政部
凯蒂·阿特金森;特雷弗长椅盖 通过实际推理解决道德问题。 (英语) Zbl 1203.68192号 J.应用。日志。 6,第2期,135-151(2008).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Atkinson}和\textit{T.Bench-Capon},J.Appl。日志。6,第2号,第135--151条(2008;Zbl 1203.68192) 全文: 内政部
马丁·卡米纳达。 对苏格拉底式论证的正式描述。 (英语) Zbl 1136.03300号 J.应用。日志。 6,第1期,109-132(2008).MSC公司:03A05号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.A.Caminada},J.Appl。日志。6,编号1,109--132(2008;Zbl 1136.03300) 全文: 内政部
贾格尔,格哈德;马蒂斯·克雷茨;托马斯·施图德 无需刻板的常识。 (英语) Zbl 1144.03009号 J.应用。日志。 5,第4号,681-689(2007). 审核人:G.E.Mints(斯坦福) MSC公司:03B42号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}等人,J.Appl。日志。第5号,第4681-689号(2007年;兹bl 1144.03009) 全文: 内政部 链接
苏布拉马尼,K。 零透视调度的多项式时间算法。 (英语) Zbl 1180.90140号 J.应用。日志。 5,第4号,667-680(2007).MSC公司:90B35型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani},J.应用。日志。5,第4号,667--680(2007;Zbl 1180.90140) 全文: 内政部
亨利·朱恩·凯伯格。;滕,Choh Man;格雷戈里·惠勒 条件和后果。 (英语) Zbl 1138.03023号 J.应用。日志。 5,第4号,638-650(2007).MSC公司:03B48号 03B60号 PDF格式BibTeX公司 XML格式引用 \文本{H.E.Kyburg jun.}等人,J.Appl。日志。5,第4号,638--650(2007;Zbl 1138.03023) 全文: 内政部
詹姆斯·霍桑 非单调条件句,其行为类似于阈值以上的条件概率。 (英语) Zbl 1140.03009号 J.应用。日志。 5,第4号,625-637(2007).MSC公司:03B48号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.霍桑},J.应用。日志。5,第4号,625--637(2007;Zbl 1140.03009) 全文: 内政部
皮耶朗基罗·德尔·阿夸;路易斯·莫尼兹·佩雷拉 优先理论修正。 (英语) Zbl 1133.68074号 J.应用。日志。 5,第4号,586-601(2007).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Dell'Acquia}和\textit{L.M.Pereira},J.Appl。日志。5,第4号,586--601(2007;Zbl 1133.68074) 全文: 内政部
阿里德·瓦勒尔;约翰·W·克鲁尔(Johan W.Klüwer)。;托尔·兰霍姆;Lian,Espen H。 只有有信心的人才能知道。 (英语) Zbl 1122.68123号 J.应用。日志。 5,第3期,492-518(2007).MSC公司:68T27型 03B42号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Waaler}等人,J.Appl。日志。5,第3号,492--518(2007;Zbl 1122.68123) 全文: 内政部
Lee亚麻 一种关于信念收缩和非单调蕴涵的代数方法。 (英语) Zbl 1122.68121号 J.应用。日志。 5,第3号,478-491(2007).MSC公司:68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{L.亚麻},J.应用。日志。5,第3号,478--491(2007;Zbl 1122.68121) 全文: 内政部
詹姆斯·德尔格兰德。;托尔斯滕·绍布 用于合并知识库的基于一致性的框架。 (英语) Zbl 1122.68120号 J.应用。日志。 5,第3号,459-477(2007).MSC公司:68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Delgrande}和\textit{T.Schaub},J.Appl。日志。5,第3号,459--477(2007;Zbl 1122.68120) 全文: 内政部
菲利普·巴尔比亚尼;廷切夫、廷科 欧氏平面中基于线性的仿射推理。 (英语) Zbl 1122.68118号 J.应用。日志。 5,第3期,421-434(2007).MSC公司:68T27型 03B45号 51N10号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{T.Tinchev},J.Appl。日志。5,第3号,421--434(2007;Zbl 1122.68118) 全文: 内政部
Franz巴德;巴里斯·瑟特卡亚;安妮·亚斯敏(Anni-Yasmin Turhan) 计算最不常见的消费者w.r.t.背景术语。 (英语) Zbl 1122.68117号 J.应用。日志。 5,第3号,392-420(2007).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,J.Appl。日志。5,第3号,392--420(2007;Zbl 1122.68117) 全文: 内政部
德波尔,F.S。;Hindriks,K.V.公司。;范德霍克,W。;梅耶,J.-J.Ch。 具有声明性目标的代理编程验证框架。 (英语) Zbl 1122.68078号 J.应用。日志。 5,第2期,277-302(2007).MSC公司:60年第68季度 68T01型 03B70号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,J.Appl。日志。5,第2号,277--302(2007;Zbl 1122.68078) 全文: 内政部