Guyet,T。 将时间序列概括为编年史是可以接受的。 (英语) Zbl 07757225号 J.应用。非类别。日志。 33,编号3-4,641-653(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{T.Guyet},J.Appl(J.应用程序)。非类别。日志。33,编号3--4,641--653(2023;Zbl 07757225) 全文: 内政部
马丁·吉斯;汉斯·托姆皮茨 有限值非确定性逻辑的序列型拒绝系统。 (英语) Zbl 07757224号 J.应用。非类别。日志。 33,编号3-4,606-640(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Gius}和\textit{H.Tompits},J.Appl。非类别。日志。33,编号3--4606-640(2023;Zbl 07757224) 全文: 内政部
迪迪埃·杜布瓦;路易斯·戈多;亨利·普拉德 一种基本的信念函数逻辑。 (英语) Zbl 07757223号 J.应用。非类别。日志。 33,编号3-4,582-605(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Dubois}等人,J.Appl。非类别。日志。33,编号3--4,582--605(2023;Zbl 07757223) 全文: 内政部 arXiv公司
Belabbes,Sihem教堂;塞勒姆·本费哈特 在部分排序的不一致DL-Lite知识库中选择接受的断言。 (英语) Zbl 07757222号 J.应用。非类别。日志。 33,编号3-4,561-581(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Belabbes}和\textit{S.Benferhat},J.Appl。非类别。日志。33,编号3--4,561--581(2023;Zbl 07757222) 全文: 内政部
约翰·格兰特 假设满足单调逻辑和数据库中的不一致性度量。 (英语) Zbl 07757221号 J.应用。非类别。日志。 33,编号3-4,537-560(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant},J.Appl。非类别。日志。33,编号3--4,537--560(2023;Zbl 07757221) 全文: 内政部
佛罗伦萨Dupin de Saint-Cyr;亨利·普拉德 信仰修正与不一致:这是一个玩笑吗? (英语) 兹伯利07757218 J.应用。非类别。日志。 33,编号3-4,467-494(2023). 审核人:David Makinson(伦敦) MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{F.Dupin de Saint-Cyr}和\textit{H.Prade},J.Appl。非类别。日志。33,编号3--4,467--494(2023;Zbl 07757218) 全文: 内政部 arXiv公司
伊莎贝尔·布洛赫;杰罗姆·朗;拉蒙皮诺·佩雷斯;卡洛斯·乌兹卡特吉 知识动力学的形态学:修正、融合和溯源。 (英语) Zbl 07757217号 J.应用。非类别。日志。 33,编号3-4,421-466(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{I.Bloch}等人,J.Appl。非类别。日志。33,编号3--4,421--466(2023;Zbl 07757217) 全文: 内政部 arXiv公司
马塞洛·法拉帕。;亚历杭德罗·加西亚。;吉列尔莫·西马里。 在配备论证推理的分层信念基础上合并算子。 (英语) Zbl 07757216号 J.应用。非类别。日志。 33,编号3-4,387-420(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Falappa}等人,J.Appl。非类别。日志。33,编号3--4,387--420(2023;Zbl 07757216) 全文: 内政部
伊莉莎·邦松;杰罗姆·德罗贝尔;塞巴斯蒂安·科尼埃奇尼;尼古拉斯·莫代特 抽象论证中基于等级的语义的实证和公理比较。 (英语) Zbl 07757215号 J.应用。非类别。日志。 33,编号3-4,328-386(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \文本{E.Bonzon}等人,J.Appl。非类别。日志。33,编号3--4,328--386(2023;Zbl 07757215) 全文: 内政部
德沃夏克,W。;Keshavarzi Zafarghandi,A。;沃尔特兰,S。 三值语义下SETAF和无支持ADF的表达性。 (英语) Zbl 07757214号 J.应用。非类别。日志。 33,编号3-4,298-327(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人,J.Appl。非类别。日志。33,编号3--4,298--327(2023;Zbl 07757214) 全文: 内政部 链接
西尔维·杜特;Marie-Christine,Lagasquie-Schiex RAF分隔器:在高阶抽象论证框架中计算语义的分布式算法。 (英语) Zbl 07757213号 J.应用。非类别。日志。 33,编号3-4,244-297(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Doutre}和\textit{M.-C.Lagasquie-Schiex},J.Appl。非类别。日志。33,编号3--4,244--297(2023;Zbl 07757213) 全文: 内政部
弗朗西丝卡·托尼;安东尼奥·拉戈;克利斯蒂约纳斯·采拉 利用基于陪审团的概率论证进行预测。 (英语) Zbl 07757212号 J.应用。非类别。日志。 33,编号3-4,224-243(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{F.Toni}等人,J.Appl。非类别。日志。33,编号3--4,224--243(2023;Zbl 07757212) 全文: 内政部
亨利·普拉肯 论证什么时候是演绎的? (英语) Zbl 07757211号 J.应用。非类别。日志。 33,编号3-4,212-223(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \文本{H.Prakken},J.Appl。非类别。日志。33,编号3--4,212-223(2023;Zbl 07757211) 全文: 内政部
西尔维·杜特(编辑);安德烈亚斯·赫齐格(编辑);安东尼·亨特(编辑) 逻辑、论点和矛盾:为纪念菲利普·贝斯纳德而举行的节日庆典介绍。 (英语) Zbl 07757210号 J.应用。非类别。日志。 33,编号3-4,207-211(2023).MSC公司:00亿Bxx 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Doutre}(编辑)等人,J.Appl。非类别。日志。33,编号3--4,207--211(2023;Zbl 07757210) 全文: 内政部
阿纳塞·查菲克;Fahima Cheikh-Alili;Jean-François康多塔;伊万·瓦尔津扎克 可延迟线性时序逻辑。 (英语) Zbl 07708149号 J.应用。非类别。日志。 33,第1期,1-51页(2023年).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Chafik}等人,J.Appl。非类别。日志。33,编号1,1--51(2023;Zbl 07708149) 全文: 内政部
Hiroyuki Kido;辽、北水 一种用于正向和反向抽象论证问题的贝叶斯方法。 (英语) Zbl 1517.68358号 J.应用。非类别。日志。 32,编号4,273-304(2022).MSC公司:第68页第27页 2015年1月62日 68层37 PDF格式BibTeX公司 XML格式引用 \textit{H.Kido}和\textit{B.Liao},J.Appl。非类别。日志。32,编号4,273--304(2022;Zbl 1517.68358) 全文: 内政部
克里斯托弗·勒图尔;盖,格里戈里 关于多智能体系统中操纵的推理。 (英语) Zbl 1517.03032号 J.应用。非类别。日志。 32,编号2-3,89-155(2022).MSC公司:03B70号 03B45 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{C.Leturc}和\textit{G.Bonnet},J.Appl。非类别。日志。32,编号2--3,89-155(2022;Zbl 1517.03032) 全文: 内政部 哈尔
阿盖利基·查尔基;科斯塔斯·库特拉斯。;齐科斯,约戈斯 关于复杂性的注释S4.2标准. (英语) Zbl 1515.03090号 J.应用。非类别。日志。 31,第2号,108-129(2021).MSC公司:03B45 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Chalki}等人,J.Appl。非类别。日志。31,第2号,108--129(2021;Zbl 1515.03090) 全文: 内政部
约翰·格兰特 测量一些分支时间逻辑中的不一致性。 (英语) Zbl 1515.03083号 J.应用。非类别。日志。 31,编号2,85-107(2021).MSC公司:03B44号 03B70号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant},J.Appl。非类别。日志。31,编号2,85-107(2021;Zbl 1515.03083) 全文: 内政部
G.Primiero。 消极信任的逻辑。 (英语) Zbl 1486.03053号 J.应用。非类别。日志。 30,第3期,193-222(2020).MSC公司:03B70号 第68页第27页 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{G.Primiero},J.应用。非类别。日志。30,第3号,193--222(2020;Zbl 1486.03053) 全文: 内政部 链接
雷吉斯·里维雷特 关于搜索解释性论证图。 (英语) 兹比尔1486.68185 J.应用。非类别。日志。 30,第2期,123-192(2020年).MSC公司:第68页第27页 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Riveret},J.应用。非类别。日志。30,编号2,123--192(2020;Zbl 1486.68185) 全文: 内政部
马克·艾吉尔;伊莎贝尔·布洛赫 基于分层机构中数学形态学的逻辑对偶概念:在空间推理中的应用。 (英语) Zbl 1444.03183号 J.应用。非类别。日志。 29,第4号,392-429(2019).MSC公司:03G30型 03B70号 第68页第27页 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}和\textit{I.Bloch},J.Appl。非类别。日志。29,第4号,392--429(2019;Zbl 1444.03183) 全文: 内政部 arXiv公司
Puoksook,吉拉波恩;潘明·邓;肯·佐藤;乔瓦尼·萨托 在刑法中模拟最后行为未遂犯罪。 (英语) Zbl 1423.68485号 J.应用。非类别。日志。 29,第4号,327-357(2019).MSC公司:第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{J.Pooksook}等人,J.Appl。非类别。日志。29,第4号,327--357(2019;Zbl 1423.68485) 全文: 内政部 链接
杰玛·罗伯斯;弗朗西斯科·萨尔托;何塞·梅恩德斯。 Kleene强三值矩阵自然关联展开的Belnap-Dunn语义。II:只有一个指定值。 (英语) 兹比尔1484.03043 J.应用。非类别。日志。 29,第3号,307-325(2019).MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{G.Robles}等人,J.Appl。非类别。日志。29,第3号,307--325(2019;Zbl 1484.03043) 全文: 内政部 链接
卢西亚诺卡罗普莱斯;埃斯特·赞帕诺 不确定的诱拐性解释。 (英语) Zbl 1452.68181号 J.应用。非类别。日志。 29,第3期,233-254(2019).MSC公司:第68页第27页 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Caroprese}和\textit{E.Zumpano},J.Appl。非类别。日志。29,第3号,233--254(2019;Zbl 1452.68181) 全文: 内政部
贾里德·米尔森;克里斯蒂安·斯特拉 最佳解释的逻辑。 (英语) Zbl 1445.03036号 J.应用。非类别。日志。 29,第2期,184-231(2019). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B60号 03B65号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Millson}和\textit{C.Straßer},J.Appl。非类别。日志。29,第2号,184--231(2019;Zbl 1445.03036) 全文: 内政部
杰玛·罗伯斯;何塞·梅恩德斯。 具有两个指定值的Kleene强三值矩阵的自然关联展开的Belnap-Dunn语义。 (英语) Zbl 1444.03092号 J.应用。非类别。日志。 29,第1号,37-63(2019).MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{G.Robles}和\textit{J.M.Méndez},J.Appl。非类别。日志。29,第1号,37-63(2019年;Zbl 1444.03092) 全文: 内政部 链接
丹尼尔·罗内达尔 道士逻辑:一种新方法。 (英语) Zbl 1436.03115号 J.应用。非类别。日志。 第4期第28期第313-347页(2018年).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{D.Rönnedal},J.Appl。非类别。日志。28,第4号,313--347(2018;Zbl 1436.03115) 全文: 内政部
徐玉明;克劳德特·凯罗尔 抽象论证框架中的初始集合。 (英语) Zbl 1436.68329号 J.应用。非类别。日志。 28,编号2-3,260-279(2018).MSC公司:第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Xu}和\textit{C.Cayrol},J.Appl。非类别。日志。28,编号2--3,260-279(2018;Zbl 1436.68329) 全文: 内政部 链接
巴德兰·拉德道伊 冲突度量:基于论证的框架。 (英语) Zbl 1436.68339号 J.应用。非类别。日志。 28,编号2-3,240-259(2018).MSC公司:68立方英尺 第68页第27页 68层35 PDF格式BibTeX公司 XML格式引用 \textit{B.Raddaoui},J.应用。非类别。日志。28、编号2--3、240-259(2018;Zbl 1436.68339) 全文: 内政部
恰基萨卡马 论证框架中的诱拐。 (英语) Zbl 1436.68328号 J.应用。非类别。日志。 28,编号2-3218-239(2018).MSC公司:第68页第27页 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.Sakama},J.应用。非类别。日志。28,编号2--3,218--239(2018;Zbl 1436.68328) 全文: 内政部
加布里埃拉·皮戈齐;范德托雷、伦德特 关于构成规范和监管规范的争论。 (英语) Zbl 1436.03141号 J.应用。非类别。日志。 28,编号2-3,189-217(2018).MSC公司:03B45 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{G.Pigozzi}和\textit{L.van der Torre},J.Appl。非类别。日志。28,编号2--3,189-217(2018;Zbl 1436.03141) 全文: 内政部 链接
石、陈伟;斯梅茨,索尼娅;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 二进制参数支持的信念。 (英语) Zbl 1436.03116号 J.应用。非类别。日志。 28,编号2-3,165-188(2018).MSC公司:03B42号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{C.Shi}等人,J.Appl。非类别。日志。28,编号2--3,165-188(2018;Zbl 1436.03116) 全文: 内政部
塔季亚纳·伊万诺娃 扩展分配接触格的逻辑。 (英语) Zbl 1436.03169号 J.应用。非类别。日志。 28,第1号,140-162(2018).MSC公司:03B60号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{T.Ivanova},J.Appl(J.伊万诺娃)。非类别。日志。28,第1号,140--162(2018;Zbl 1436.03169) 全文: 内政部
卡塔琳娜·布里茨;伊万·瓦尔津扎克 从KLM风格的条件句到可废除的模式,再到后面。 (英语) 兹比尔1436.03129 J.应用。非类别。日志。 28,第1期,92-121(2018).MSC公司:03B45 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{K.Britz}和\textit{I.Varzinczak},J.Appl。非类别。日志。28,第1号,92-121(2018;Zbl 1436.03129) 全文: 内政部
安德烈亚斯·赫齐格 动态认知逻辑:承诺、问题、缺点和观点。 (英语) Zbl 1398.03072号 J.应用。非类别。日志。 27,No.3-4,328-341(2017).MSC公司:03B42号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{A.Herzig},J.应用。非类别。日志。27、编号3--4、328--341(2017;Zbl 1398.03072) 全文: 内政部 链接
塞里托、塞雷内拉;玛塔·齐尔迪亚·迈耶;罗伯特·德莫洛姆 生物化学反应的时间溯源推理。 (英语) Zbl 1398.03154号 J.应用。非类别。日志。 27,编号3-4,269-291(2017).MSC公司:03B80号 03B44号 92C40型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cerrito}等人,J.Appl。非类别。日志。27、编号3--4、269--291(2017;Zbl 1398.03154) 全文: 内政部 链接
佩德罗·卡巴拉;大卫·皮尔斯;阿古斯汀·瓦尔弗德 稳定的推理。 (英语) Zbl 1400.68203号 J.应用。非类别。日志。 27、第3-4、238-254号(2017).MSC公司:第68页第27页 03A05号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,J.Appl。非类别。日志。27、编号3--4、238--254(2017;Zbl 1400.68203) 全文: 内政部
莫华·班纳吉;迪迪埃·杜布瓦;路易斯·戈多;亨利·普拉德 论可能性逻辑与信念和知识的模态逻辑的关系。 (英语) Zbl 1398.03128号 J.应用。非类别。日志。 27,编号3-4,206-224(2017).MSC公司:03B52号 03B45 03B42号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{M.Banerjee}等人,J.Appl。非类别。日志。27,编号3-4206-224(2017;兹bl 1398.03128) 全文: 内政部 链接
莱拉·阿姆古德;菲利普·贝斯纳德;安东尼·亨特 论证逻辑的基础。 (英语) Zbl 1398.03066号 J.应用。非类别。日志。 27,第3-4号,178-195(2017).MSC公司:03B42号 第68页第27页 68层37 PDF格式BibTeX公司 XML格式引用 \textit{L.Amgoud}等人,J.Appl。非类别。日志。27、编号3--4、178-195(2017;Zbl 1398.03066) 全文: 内政部 哈尔
乔治耶夫,D.T。 所有KD45帧类中的可定义性–可计算性和复杂性。 (英语) Zbl 1398.03093号 J.应用。非类别。日志。 27,第1-2、1-26号(2017).MSC公司:03B45 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.T.Georgiev},J.Appl。非类别。日志。27,编号1--2,1--26(2017;Zbl 1398.03093) 全文: 内政部
Jorge A.Morales。;毛里西奥·莫利纳·德尔加多 科学理论的形式模型和计算模型中的发现/证明语境二分法:基于非单调逻辑视角的区别减弱。 (英语) Zbl 1398.03059号 J.应用。非类别。日志。 26,第4号,315-335(2016).MSC公司:03A10号 03B60号 03B80号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Morales}和\textit{M.M.Delgado},J.Appl。非类别。日志。26、第4号、315--335(2016;Zbl 1398.03059) 全文: 内政部
克里斯特尔·格里莫德 模拟自然代理中的推理过程:用于基本非单调推理和学习的基于部分世界的逻辑框架。 (英语) Zbl 1400.68204号 J.应用。非类别。日志。 26,第4期,251-285(2016).MSC公司:第68页第27页 03B60号 PDF格式BibTeX公司 XML格式引用 \文本{C.Grimaud},J.Appl。非类别。日志。26,第4号,251--285(2016;Zbl 1400.68204) 全文: 内政部 哈尔
迪米特里斯·阿斯库尼斯;科斯塔斯·库特拉斯。;尤戈斯·齐科斯 知识意味着“全部的',信念意味着'最’. (英语) Zbl 1398.03067号 J.应用。非类别。日志。 26,第3期,173-192(2016).MSC公司:03B42号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{D.Askounis}等人,J.Appl。非类别。日志。26,第3号,173--192(2016;Zbl 1398.03067) 全文: 内政部
何塞·梅恩德斯。;杰玛·罗伯斯 由Anderson和Belnap的一级蕴涵逻辑的Smiley矩阵决定的逻辑。 (英语) Zbl 1398.03109号 J.应用。非类别。日志。 26,第1号,47-68(2016).MSC公司:03B50号 03B53号 03B45 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Méndez}和\textit{G.Robles},J.Appl。非类别。日志。26,第1号,47--68(2016;Zbl 1398.03109) 全文: 内政部
汉斯·范·迪特马什;伊利耶夫·P·。 封面形式的简洁。 (英语) Zbl 1398.03099号 J.应用。非类别。日志。 25,第4期,373-405(2015).MSC公司:03B45 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}和\textit{P.Iliev},J.Appl。非类别。日志。25,第4号,373--405(2015;Zbl 1398.03099) 全文: 内政部
伊戈尔·塞德拉尔 亚结构认知逻辑。 (英语) 兹比尔1398.03074 J.应用。非类别。日志。 25,第3期,256-285(2015).MSC公司:03B42号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sedlár},J.Appl(J.应用)。非类别。日志。25,第3号,256--285(2015;Zbl 1398.03074) 全文: 内政部
丹尼尔·波雷洛;北特罗夸德。 线性逻辑变体中的非正规形式。 (英语) Zbl 1398.03208号 J.应用。非类别。日志。 25,第3期,229-255(2015).MSC公司:03楼52 03B45 03B47号 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Porello}和\textit{N.Troquard},J.Appl。非类别。日志。25,第3号,229--255(2015;Zbl 1398.03208) 全文: 内政部 arXiv公司
拉斐尔·乌尔巴尼亚克;帕韦·西尼奥 (选定的)次协调逻辑的不适用性。 (英语) Zbl 1398.03139号 J.应用。非类别。日志。 24,第4期,368-383(2014).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{R.Urbaniak}和\textit{P.Siniło},J.Appl。非类别。日志。24,第4号,368--383(2014;Zbl 1398.03139) 全文: 内政部
Khellaf-Haned、Hadja Faiza;塞勒姆·本费哈特 定量可能性理论:基于逻辑和图形的表示。 (英语) Zbl 1400.68219号 J.应用。非类别。日志。 24,第3期,236-261(2014).MSC公司:68层37 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.F.Khellaf-Haned}和\textit{S.Benferhat},J.Appl。非类别。日志。24,第3号,236--261(2014;Zbl 1400.68219) 全文: 内政部
莱拉·阿姆古德;菲利普·贝斯纳德;斯尔詹·维西奇 基于逻辑的论证中的等效性。 (英语) Zbl 1400.68202号 J.应用。非类别。日志。 24,第3期,181-208(2014).MSC公司:第68页第27页 68层37 PDF格式BibTeX公司 XML格式引用 \textit{L.Amgoud}等人,J.Appl。非类别。日志。24,第3号,181--208(2014;Zbl 1400.68202) 全文: 内政部 链接
艾曼纽尔·安娜·迪茨;斯特芬·Hölldobler;Christoph Wernhard公司 在弱完成和良好语义基础下对抑制任务进行建模。 (英语) Zbl 1398.03152号 J.应用。非类别。日志。 24,编号1-2,61-85(2014).MSC公司:03B70号 03B60号 03B50号 第68页第27页 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.-A.Dietz}等人,J.Appl。非类别。日志。24、编号1--2、61-85(2014;Zbl 1398.03152) 全文: 内政部
埃米利亚诺·洛里尼 时序STIT逻辑及其在规范推理中的应用。 (英语) Zbl 1398.03080号 J.应用。非类别。日志。 23,第4期,372-399(2013).MSC公司:03B44号 03B42号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{E.Lorini},J.应用。非类别。日志。23,第4号,372--399(2013;Zbl 1398.03080) 全文: 内政部
莱拉·阿姆古德;菲利普·贝斯纳德 抽象论证框架的逻辑限制。 (英语) Zbl 1400.68201号 J.应用。非类别。日志。 第3期第23期,第229-267页(2013年).MSC公司:第68页第27页 68层37 PDF格式BibTeX公司 XML格式引用 \textit{L.Amgoud}和\textit{P.Besnard},J.Appl。非类别。日志。23、3号、229--267(2013;Zbl 1400.68201) 全文: 内政部 哈尔
Polleres,阿克塞尔;约翰·彼得·沃纳 SPARQL1.1与答案集编程的关系。 (英语) Zbl 1400.68065号 J.应用。非类别。日志。 23,编号1-2,159-212(2013).MSC公司:第68页,共15页 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Polleres}和\textit{J.P.Wallner},J.Appl。非类别。日志。23、编号1--2、159-212(2013;Zbl 1400.68065) 全文: 内政部
大卫·皮尔斯;莱文·乌里迪亚 模态逻辑和超直觉非单调逻辑的代数语义。 (英语) Zbl 1398.03096号 J.应用。非类别。日志。 23,编号1-2,147-158(2013).MSC公司:03B45 03B60号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Pearce}和\textit{L.Uridia},J.Appl。非类别。日志。23,编号1--2,147-158(2013;Zbl 1398.03096) 全文: 内政部
弗拉基米尔·利夫希茨;杨芳凯 功能完成。 (英语) Zbl 1400.68205号 J.应用。非类别。日志。 23,编号1-2121-130(2013).MSC公司:第68页第27页 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}和\textit{F.Yang},J.Appl。非类别。日志。23、编号1--2、121-130(2013;Zbl 1400.68205) 全文: 内政部
迈克尔·盖尔芬德;达尼埃拉·因利赞 \(\mathcal的系统描述的一些属性{铝}_d\). (英语) Zbl 1400.68207号 J.应用。非类别。日志。 23,编号1-2,105-120(2013).MSC公司:68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}和\textit{D.Inclezan},J.Appl。非类别。日志。23,编号1--2,105-120(2013;Zbl 1400.68207) 全文: 内政部
托马斯·艾特;迈克尔·芬克;元首,约尔格;汉斯·托姆皮茨;斯特凡·沃尔特兰 答案集编程中基于模型的重铸。 (英语) Zbl 1400.68048号 J.应用。非类别。日志。 23,编号1-2,75-104(2013).MSC公司:68N17号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,J.Appl。非类别。日志。23、编号1--2、75-104(2013;Zbl 1400.68048) 全文: 内政部
娜塔莎·亚历奇纳;菲利普·巴尔比亚尼;德米特里·什卡托夫 关于二进制关系的无限并集和交集的推理的模态逻辑。 (英语) Zbl 1398.03084号 J.应用。非类别。日志。 22,第4期,275-294(2012).MSC公司:03B45 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,J.Appl。非类别。日志。22,第4号,275--294(2012;Zbl 1398.03084) 全文: 内政部
汉斯·范·迪特马什;安德烈亚斯·赫齐格;利马,蒂亚戈 公告、公开任务及其逻辑的复杂性。 (英语) Zbl 1398.03076号 J.应用。非类别。日志。 第3249-273号第22页(2012年).MSC公司:03B42号 第68页第27页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,J.应用。非类别。日志。22,第3号,249--273(2012;Zbl 1398.03076) 全文: 内政部
范晓聪;Yen,John(约翰·严) 重新审视意图和潜在意图。 (英语) Zbl 1400.68237号 J.应用。非类别。日志。 22,第3期,203-230(2012).MSC公司:68T42型 PDF格式BibTeX公司 XML格式引用 \textit{X.Fan}和\textit{J.Yen},J.Appl。非类别。日志。22,第3号,203--230(2012;Zbl 1400.68237) 全文: 内政部
迈赫迪·达斯塔尼;约翰·朱尔斯·迈耶;Nick Tinnemeier 编程规范更改。 (英语) Zbl 1400.68055号 J.应用。非类别。日志。 22,编号1-2,151-180(2012).MSC公司:68号30 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Dastani}等人,J.Appl。非类别。日志。22、编号1--2、151-180(2012;Zbl 1400.68055) 全文: 内政部
克里斯蒂安·斯特拉 在正规的条件逻辑中自适应地应用模态推理。 (英语) Zbl 1398.03146号 J.应用。非类别。日志。 22,编号1-2,125-148(2012).MSC公司:03B60号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{C.Straßer},J.Appl.(《应用杂志》)。非类别。日志。22、编号1--2、125-148(2012;Zbl 1398.03146) 全文: 内政部 链接
鲍里斯·科瓦勒丘克;列奥尼德·帕洛夫斯基;格雷戈里·惠勒 现象建模和现象的动态逻辑。 (英语) Zbl 1398.03153号 J.应用。非类别。日志。 22,编号1-2,53-82(2012).MSC公司:03B70号 03B60号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{B.Kovalerchuk}等人,J.Appl。非类别。日志。22、编号1--2、53-82(2012;Zbl 1398.03153) 全文: 内政部 arXiv公司
埃米利亚诺·洛里尼 从自我评价到战略博弈中的他人评价:逻辑分析。 (英语) Zbl 1242.91025号 J.应用。非类别。日志。 21,编号3-4,443-475(2011).MSC公司:91A26型 03B45 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{E.Lorini},J.应用。非类别。日志。21,编号3--4,443--475(2011;Zbl 1242.91025) 全文: 内政部
洛伦兹·德米 关于认知似然模型的模型理论的一些评论。 (英语) Zbl 1242.03037号 J.应用。非类别。日志。 21,编号3-4,375-395(2011).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{L.Demey},J.Appl。非类别。日志。21,编号3--4,375--395(2011;Zbl 1242.03037) 全文: 内政部 arXiv公司
富兰克林·卡马乔;拉蒙皮诺·佩雷斯 显性——合理规则和及物性。 (英语) Zbl 1242.91042号 J.应用。非类别。日志。 21,编号3-4,355-373(2011).MSC公司:91B06型 91B08型 PDF格式BibTeX公司 XML格式引用 \textit{F.Camacho}和\textit{R.Pino Pérez},J.Appl。非类别。日志。21,编号3-4355-373(2011年;兹bl 1242.91042) 全文: 内政部
纪尧姆拍卖行 DEL-sequents用于进展。 (英语) Zbl 1242.03034号 J.应用。非类别。日志。 21,编号3-4,289-321(2011).MSC公司:03B42号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{G.Aucher},J.Appl。非类别。日志。21、编号3--4、289--321(2011;Zbl 1242.03034) 全文: 内政部 哈尔
范德托雷、伦德特 违规游戏:道义逻辑的新基础。 (英语) Zbl 1242.03052号 J.应用。非类别。日志。 20,第4期,457-477(2010).MSC公司:03B45 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{L.van der Torre},J.Appl(J.应用)。非类别。日志。20,第4号,457--477(2010;Zbl 1242.03052) 全文: 内政部
Dov M.加巴伊。;卡尔·施莱赫塔 语义插值。 (英语) Zbl 1242.03025号 J.应用。非类别。日志。 20,第4期,345-371(2010).MSC公司:03B05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{K.Schlechta},J.Appl。非类别。日志。20,第4号,345--371(2010;Zbl 1242.03025) 全文: 内政部 arXiv公司
安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 从未来回来。 (英语) Zbl 1242.03046号 J.应用。非类别。日志。 20,第3期,241-277(2010).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Masini}等人,J.Appl。非类别。日志。20,第3号,241--277(2010;Zbl 1242.03046) 全文: 内政部
塞勒姆·本费哈特;卡里玛·塞奇 基于安全操作员的知识和偏好的警报关联方法。 (英语) Zbl 1242.68321号 J.应用。非类别。日志。 20,编号1-2,7-37(2010).MSC公司:68层35 PDF格式BibTeX公司 XML格式引用 \textit{S.Benferhat}和\textit{K.Sedki},J.Appl。非类别。日志。20,编号1--2,7--37(2010;Zbl 1242.68321) 全文: 内政部
西尔维·科斯特·马奎斯;卡罗琳·德弗雷德;皮埃尔·侯爵 处理有争议的论点。 (英语) Zbl 1192.68661号 J.应用。非类别。日志。 19,第3期,311-369(2009).MSC公司:第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{S.Coste-Marquis}等人,J.Appl。非类别。日志。19,第3号,311--369(2009;Zbl 1192.68661) 全文: 内政部
Dov M.加巴伊。;卡尔·施莱赫塔 优先逻辑路线图。 (英语) Zbl 1187.03026号 J.应用。非类别。日志。 19,第1期,43-95(2009年). 审核人:David Makinson(伦敦) MSC公司:03B60号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{K.Schlechta},J.Appl。非类别。日志。19,第1号,43--95(2009;Zbl 1187.03026) 全文: 内政部 arXiv公司
巴巴安,塔玛拉;詹姆斯·施莫尔泽(James G.Schmolze)。 利用感知对开放世界规划的知识状态进行实际推理。 (英语) Zbl 1183.68566号 J.应用。非类别。日志。 19,第1期,7-41(2009).MSC公司:68T20型 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{T.Babaian}和\textit{J.G.Schmolze},J.Appl。非类别。日志。19,第1号,第7--41号(2009年;Zbl 1183.68566) 全文: 内政部
毛里西奥·奥索里奥·加林多;JoséLuis Carbarlido Carranza (文本{G}'_3)逻辑的简要研究。 (英语) Zbl 1180.03031号 J.应用。非类别。日志。 18,第4号,475-499(2008).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Osorio Galindo}和\textit{J.L.Carbarlido Carranza},J.Appl。非类别。日志。18,第4号,475--499(2008;Zbl 1180.03031) 全文: 内政部
尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 条件逻辑的定理证明:CondLean和目标D\(\mathcal U\)CK公司。 (英语) Zbl 1180.03014号 J.应用。非类别。日志。 18,第4期,427-473(2008).MSC公司:03B35型 03B60号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{N.Olivetti}和\textit{G.L.Pozzato},J.Appl。非类别。日志。18,第4号,427--473(2008;Zbl 1180.03014) 全文: 内政部
米哈伊尔·里巴科夫 直觉主义命题逻辑及其片段的复杂性。 (英语) Zbl 1181.03006号 J.应用。非类别。日志。 18,编号2-3267-292(2008).MSC公司:03B20型 03-02 03-03 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Rybakov},J.Appl。非类别。日志。18,编号2--3,267--292(2008;Zbl 1181.03006) 全文: 内政部
伊恩·普拉特·哈特曼 条件性和全面知识。 (英语) Zbl 1181.03010号 J.应用。非类别。日志。 18,编号2-3,247-266(2008).MSC公司:03B42号 03A05号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann},J.应用。非类别。日志。18、编号2--3、247--266(2008;Zbl 1181.03010) 全文: 内政部 链接
保罗·E·邓恩。;范德霍克,威比;迈克尔·伍尔德里奇 定性联盟游戏的逻辑特征。 (英语) Zbl 1187.68622号 J.应用。非类别。日志。 17,第4期,477-509(2007).MSC公司:68T42型 03B45 91A12号机组 第68页第27页 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne}等人,J.Appl。非类别。日志。17,第4号,477--509(2007;Zbl 1187.68622) 全文: 内政部
巴特尔·库伊 通过约简公理实现公共更新逻辑的表达性和完整性。 (英语) Zbl 1185.03014号 J.应用。非类别。日志。 17,第2期,231-253(2007).MSC公司:03B42号 03B70号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{B.Kooi},J.应用。非类别。日志。17,第2231-253号(2007年;兹bl 1185.03014) 全文: 内政部 链接
约翰·范·本特姆;刘芬荣 偏好升级的动态逻辑。 (英语) Zbl 1186.03034号 J.应用。非类别。日志。 17,第2号,157-182(2007).MSC公司:03B42号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}和textit{F.Liu},J.Appl。非类别。日志。17,第2号,157--182(2007;Zbl 1186.03034) 全文: 内政部
约翰·范·本特姆 信念修正的动态逻辑。 (英语) Zbl 1186.03033号 J.应用。非类别。日志。 17,第2期,129-155(2007).MSC公司:03B42号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},J.Appl。非类别。日志。17,No.2,129--155(2007;Zbl 1186.03033) 全文: 内政部
菲利普·巴尔比亚尼;廷切夫、廷科;迪米特·瓦卡雷洛夫 离散空间区域理论的动态逻辑。 (英语) Zbl 1186.03039号 J.应用。非类别。日志。 17,第1号,39-61(2007).MSC公司:03B45 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,J.Appl。非类别。日志。17,第1号,39--61(2007;Zbl 1186.03039) 全文: 内政部
纪尧姆拍卖行 根据我们的感知和期望来解释行动。 (英语) Zbl 1186.03026号 J.应用。非类别。日志。 17,第1号,9-38(2007).MSC公司:03B42号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \文本{G.Aucher},J.Appl。非类别。日志。17,第1号,第9--38号(2007;Zbl 1186.03026) 全文: 内政部 链接
潘国强;乌尔里克·萨特勒;莫舍·瓦尔迪。 基于BDD的模态逻辑决策程序K(K). (英语) Zbl 1184.68466号 J.应用。非类别。日志。 16,第1-2169-207号(2006年).MSC公司:第68页第15页 03B35型 03B45 PDF格式BibTeX公司 XML格式引用 \textit{G.Pan}等人,J.Appl。非类别。日志。16,编号1--2,169-207(2006;Zbl 1184.68466) 全文: 内政部
帕特里克·多尔蒂;马丁·马格努森;斯扎·阿斯、安德烈吉 近似数据库:近似推理的支持工具。 (英语) Zbl 1184.68215号 J.应用。非类别。日志。 16,编号1-2,87-117(2006).MSC公司:第68页,共15页 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{P.Doherty}等人,J.Appl。非类别。日志。16,编号1--2,87-117(2006;Zbl 1184.68215) 全文: 内政部
汤米·詹胡宁 正常逻辑程序和命题理论的一些可译性结果。 (英语) Zbl 1184.68160号 J.应用。非类别。日志。 16,编号1-2,35-86(2006).MSC公司:68N17号 第68页第15页 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{T.Janhunen},J.Appl(J.应用)。非类别。日志。16,编号1--2,35-86(2006;Zbl 1184.68160) 全文: 内政部
斯扎·阿斯、安德烈吉 描述逻辑中的二阶推理。 (英语) Zbl 1185.68680号 J.应用。非类别。日志。 16,编号3-4,517-530(2006).MSC公司:第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Szałas},J.Appl。非类别。日志。16,编号3--4,517--530(2006;Zbl 1185.68680) 全文: 内政部
乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 空间推理的关系证明系统。 (英语) Zbl 1185.68672号 J.应用。非类别。日志。 16,编号3-4,409-431(2006).MSC公司:第68页第27页 03G15年 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Golin ska-Pilarek}和\textit{E.Orłowska},J.Appl。非类别。日志。16,编号3--4,409--431(2006;Zbl 1185.68672) 全文: 内政部
安德烈亚·福米萨诺;玛丽安娜·尼科洛西·阿斯蒙多 命题非经典逻辑的有效关系演绎系统。 (英语) Zbl 1186.03044号 J.应用。非类别。日志。 16,第3-4367-408号(2006).MSC公司:03B45 03B35型 03B70号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Formisano}和\textit{M.Nicolosi Asmundo},J.Appl。非类别。日志。16,编号3--4,367--408(2006;Zbl 1186.03044) 全文: 内政部
斯特凡·德姆里 具有Presburger约束的线性时间时序逻辑:概述。 (英语) Zbl 1186.03036号 J.应用。非类别。日志。 16,编号3-4,311-347(2006).MSC公司:03B44号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},J.Appl.(《应用》杂志)。非类别。日志。16,编号3--4,311--347(2006;Zbl 1186.03036) 全文: 内政部
彼得·琼森 为穷人的逻辑添加子句(但不增加复杂性)。 (英语) Zbl 1185.03030号 J.应用。非类别。日志。 15,第3期,341-357(2005).MSC公司:03B45 65年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson},J.Appl(J.应用程序)。非类别。日志。15,第3号,341--357(2005;Zbl 1185.03030) 全文: 内政部
保罗·利伯拉托雷 半规范化默认理论。 (英语) Zbl 1185.03052号 J.应用。非类别。日志。 15,第3期,321-340(2005).MSC公司:03B60号 第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Liberatore},J.Appl.(《应用杂志》)。非类别。日志。15,第3号,321--340(2005;Zbl 1185.03052) 全文: 内政部
保拉·福切里;保罗·金蒂里尼 基于逻辑熵测度的准一致性推测推理。一: \(C\)-系统作为非标准推理框架。 (英语) Zbl 1185.03046号 J.应用。非类别。日志。 15,第3期,285-319(2005).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{P.Forcheri}和\textit{P.Gentilini},J.Appl。非类别。日志。15,第3号,285--319(2005;Zbl 1185.03046) 全文: 内政部
张东墨;诺曼·福 动态逻辑中的框架问题。 (英语) 兹比尔1185.03059 J.应用。非类别。日志。 15,第2期,215-239(2005).MSC公司:03B70号 03B45 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhang}和\textit{N.Foo},J.Appl。非类别。日志。15,第2号,215--239(2005;Zbl 1185.03059) 全文: 内政部
斯特凡诺·博尔戈 具有顺序Kripke语义的量化模态逻辑。 (英语) Zbl 1185.03026号 J.应用。非类别。日志。 15,第2期,137-188(2005).MSC公司:03B45 第68页第27页 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{S.Borgo},J.应用。非类别。日志。15,第2号,137--188(2005;Zbl 1185.03026) 全文: 内政部
比塔·科尼科夫斯卡 一种具有不一致性和不确定性的逻辑分解演绎系统。 (英语) Zbl 1185.03048号 J.应用。非类别。日志。 15,第1期,25-44(2005).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{B.Konikowska},J.Appl。非类别。日志。15、第1号、第25-44号(2005年;Zbl 1185.03048) 全文: 内政部
克莱尔·迪克森;Cláudia Nalon;迈克尔·费希尔 时间和知识的逻辑表以及与同步相关的交互。 (英语) Zbl 1185.03013号 J.应用。非类别。日志。 14,第4期,397-445(2004).MSC公司:03B42号 03B44号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人,J.Appl。非类别。日志。14,第4号,397--445(2004;Zbl 1185.03013) 全文: 内政部