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 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) 全文: 内政部
阿德里安·米罗尤;米尔恰·杜米特鲁 在Łukasiewicz的三值逻辑中表示投票规则。 (英语) 兹比尔1517.03034 J.应用。非类别。日志。 32,编号1,72-88(2022)。MSC公司:03B80号 03B50号 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Miroiu}和\textit{M.Dumitru},J.Appl。非类别。日志。32,编号1,72--88(2022;Zbl 1517.03034) 全文: 内政部
Dimitar P.Guelev。;本·莫斯科夫斯基 离散时间区间时序逻辑的分离定理。 (英语) Zbl 1517.03014号 J.应用。非类别。日志。 32,编号1,28-54(2022); 更正同上,32,第4号,335-338(2022)。MSC公司:03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{B.Moszkowski},J.Appl。非类别。日志。32,编号1,28--54(2022;Zbl 1517.03014) 全文: 内政部
阿古德洛·阿古德罗,胡安·C。;埃切韦里·巴伦西亚,圣地亚哥 模态逻辑的多项式语义。 (英语) Zbl 1444.03039号 J.应用。非类别。日志。 29,第4号,430-449(2019)。MSC公司:03B45号 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Agudelo Agudelo}和\textit{S.Echeverri Valencia},J.Appl。非类别。日志。29,第4号,430-449(2019;Zbl 1444.03039) 全文: 内政部
A.扎曼斯基。 关于准一致逻辑最近的应用:一篇探索性的文献综述。 (英语) Zbl 1444.03100号 J.应用。非类别。日志。 29,第4号,382-391(2019)。MSC公司:03B53号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Zamansky},J.Appl。非类别。日志。29,第4号,382--391(2019;Zbl 1444.03100) 全文: 内政部
卢西亚诺卡罗普莱斯;埃斯特·赞帕诺 不确定的诱拐性解释。 (英语) Zbl 1452.68181号 J.应用。非类别。日志。 29,第3期,233-254(2019)。MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Caroprese}和\textit{E.Zumpano},J.Appl。非类别。日志。29,第3号,233--254(2019;Zbl 1452.68181) 全文: 内政部
巴德兰·拉德道伊 冲突度量:基于论证的框架。 (英语) Zbl 1436.68339号 J.应用。非类别。日志。 28,编号2-3,240-259(2018)。MSC公司:68立方英尺 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{B.Raddaoui},J.应用。非类别。日志。28、编号2--3、240-259(2018;Zbl 1436.68339) 全文: 内政部
阿诺·阿夫隆 超一致性、超完整性、Gentzen系统和三价语义。 (英语) Zbl 1398.03135号 J.应用。非类别。日志。 24,第1-2、12-34号(2014)。MSC公司:03B53号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},J.应用。非类别。日志。24,编号1--2,12--34(2014;Zbl 1398.03135) 全文: 内政部
莱拉·阿姆古德;菲利普·贝斯纳德 抽象论证框架的逻辑限制。 (英语) Zbl 1400.68201号 J.应用。非类别。日志。 23,第3期,229-267(2013)。MSC公司:68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{L.Amgoud}和\textit{P.Besnard},J.Appl。非类别。日志。23、3号、229--267(2013;Zbl 1400.68201) 全文: 内政部 哈尔
帕诺斯·朗多吉安尼;安东尼斯·特隆波基斯 无限值语义:概述、最新结果和未来方向。 (英语) 兹比尔1400.68051 J.应用。非类别。日志。 23,编号1-2,213-228(2013)。MSC公司:68N17号 03B50号 68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Rondogiannis}和\textit{A.Troumpoukis},J.Appl。非类别。日志。23、编号1--2、213--228(2013;Zbl 1400.68051) 全文: 内政部
曼弗雷德·科伯;迈克尔·科尔哈斯 推理而不相信:关于预设和偏见的机械化。 (英语) Zbl 1398.03150号 J.应用。非类别。日志。 22,第4期,295-317(2012)。MSC公司:03B65号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kerber}和\textit{M.Kohlhase},J.Appl。非类别。日志。22,第4号,295--317(2012;Zbl 1398.03150) 全文: 内政部
娜塔莎·亚历奇纳;菲利普·巴尔比亚尼;德米特里·什卡托夫 模态逻辑,用于对二元关系的无限并集和交集进行推理。 (英语) Zbl 1398.03084号 J.应用。非类别。日志。 22,第4期,275-294(2012)。MSC公司:03B45号 03年2月25日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,J.Appl。非类别。日志。22,第4号,275--294(2012;Zbl 1398.03084) 全文: 内政部
维拉,保罗 \({\mathcal KALC}\):({\mathcal ALC}\)的构造语义。 (英语) Zbl 1242.68304号 J.应用。非类别。日志。 21,第2期,233-255(2011)。MSC公司:68T27型 68立方英尺 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Villa},J.Appl(J.维拉)。非类别。日志。21,第2号,233--255(2011;Zbl 1242.68304) 全文: 内政部
塞里托、塞雷内拉;玛塔·齐尔迪亚·迈耶 混合逻辑表中名义等式的一种有效方法。 (英语) Zbl 1242.03029号 J.应用。非类别。日志。 20,编号1-2,39-61(2010)。MSC公司:03B35型 03B62号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cerrito}和\textit{M.C.Mayer},J.Appl。非类别。日志。20,编号1--2,39-61(2010;Zbl 1242.03029) 全文: 内政部
西尔维·科斯特·马奎斯;卡罗琳·德弗雷德;皮埃尔侯爵 处理有争议的论点。 (英语) Zbl 1192.68661号 J.应用。非类别。日志。 19,第3期,311-369(2009)。MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Coste-Marquis}等人,J.Appl。非类别。日志。19,第3号,311--369(2009;Zbl 1192.68661) 全文: 内政部
费尔南多·索勒·托斯卡诺;安格尔,内波穆塞诺·费尔南德斯;阿托查省Aliseda-Llera 通过\(C\)-tableaux和\(delta\)-dresolution进行绑架。 (英语) Zbl 1187.68574号 J.应用。非类别。日志。 19,第2期,211-225(2009)。MSC公司:68T27型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Soler Toscano}等人,J.应用。非类别。日志。19,第2号,211--225(2009;Zbl 1187.68574) 全文: 内政部
毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 命题直觉逻辑的表演算,对嵌套蕴涵进行了精细处理。 (英语) Zbl 1187.03011号 J.应用。非类别。日志。 19,第2期,149-166(2009)。MSC公司:03B20型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferrari}等人,J.Appl。非类别。日志。19,第2号,149--166(2009;Zbl 1187.03011) 全文: 内政部
尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 条件逻辑的定理证明:CondLean和目标D\(\mathcal U\)CK公司。 (英语) 兹比尔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.03036号 J.应用。非类别。日志。 18,编号2-3,325-340(2008)。MSC公司:03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Szałas},J.Appl。非类别。日志。18,编号2--3325--340(2008;Zbl 1181.03036) 全文: 内政部
德莫拉,F.L.C。;阿亚拉·林科,M。;Kamareddine,F。 SUBSEXPL:用于模拟和比较显式替换计算的工具。 (英语) Zbl 1184.68469号 J.应用。非类别。日志。 16,编号1-2,119-150(2006)。MSC公司:68吨15 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.L.C.de Moura}等人,J.Appl。非类别。日志。16,编号1--2,119-150(2006;Zbl 1184.68469) 全文: 内政部
帕特里克·多尔蒂;马丁·马格努森;斯扎·阿斯、安德烈吉 近似数据库:近似推理的支持工具。 (英语) 兹比尔1184.68215 J.应用。非类别。日志。 16,编号1-2,87-117(2006)。MSC公司:第68页,共15页 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \文本{P.Doherty}等人,J.Appl。非类别。日志。16,编号1--2,87-117(2006;Zbl 1184.68215) 全文: 内政部
斯扎·阿斯、安德烈吉 描述逻辑中的二阶推理。 (英语) 兹比尔1185.68680 J.应用。非类别。日志。 16,编号3-4,517-530(2006)。MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Szałas},J.Appl。非类别。日志。16,编号3--4,517--530(2006;Zbl 1185.68680) 全文: 内政部
威廉·康雷迪 关于DLS的强度和范围。 (英语) Zbl 1186.03042号 J.应用。非类别。日志。 16,第3-4号,279-296(2006)。MSC公司:03B45号 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie},J.应用。非类别。日志。16,编号3--4,279--296(2006;Zbl 1186.03042) 全文: 内政部
保拉·福切里;保罗·金蒂里尼 基于逻辑熵测度的准一致性推测推理。一: \(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) 全文: 内政部
约尔根·维拉森 超逻辑:使用带类型变量的超限类型理论实现超一致性。 (英语) Zbl 1185.03051号 J.应用。非类别。日志。 15,第1期,45-58(2005)。MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.Villadsen},J.Appl(J.维拉德森)。非类别。日志。15,第1号,45-58(2005;Zbl 1185.03051) 全文: 内政部
雅克·里奇 一些相关逻辑的决策程序:一个建设性的观点。 (英语) Zbl 1185.03037号 J.应用。非类别。日志。 15,第1号,9-23(2005)。MSC公司:03B47型 03年2月25日 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{J.Riche},J.应用。非类别。日志。15,第1号,第9--23号(2005;Zbl 1185.03037) 全文: 内政部 链接
O·阿里利。 不同程度的不确定性推理。 (英语) Zbl 1180.68268号 J.应用。非类别。日志。 13,编号3-4,317-343(2003)。MSC公司:68层37 03B50号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli},J.Appl(J.应用程序)。非类别。日志。13,编号3--4,317--343(2003;Zbl 1180.68268) 全文: 内政部
塞尔纳达斯,C。;维甘诺,L。;J·拉斯加。;塞尔纳达斯,A。 作为标签的真值:标签演绎的一般方法。 (英语) Zbl 1181.03025号 J.应用。非类别。日志。 13,编号3-4,277-315(2003)。MSC公司:03B50号 03B60号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{C.Sernadas}等人,J.Appl。非类别。日志。13,编号3--4,277--315(2003;Zbl 1181.03025) 全文: 内政部
拉斯洛·阿萨洛斯 自动解谜。 (英语) Zbl 1185.03009号 J.应用。非类别。日志。 12,第1期,99-116(2002)。MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Aszalós},J.应用。非类别。日志。12,第1号,99--116(2002;Zbl 1185.03009) 全文: 内政部
弗里德里克·科里奇 基于一致性的近似推理。 (英语) Zbl 1060.68119号 J.应用。非类别。日志。 12,第2期,239-258(2002)。MSC公司:68层37 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Koriche},J.应用。非类别。日志。12,第2号,239--258(2002;Zbl 1060.68119) 全文: 内政部 链接
卢,米;吴金钊 注释逻辑中的定理证明。 (英语) Zbl 1033.03006号 J.应用。非类别。日志。 10,第2期,121-143(2000)。MSC公司:03B35型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lu}和textit{J.Wu},J.Appl。非类别。日志。10,第2号,121--143(2000;Zbl 1033.03006) 全文: 内政部 链接
巴勃罗·科德罗;曼纽尔·恩西索;de Guzmán,英玛·P。 保留暗示和暗示的时间否定范式。 (英语) Zbl 1033.03507号 J.应用。非类别。日志。 10,编号3-4,243-272(2000)。MSC公司:03B44号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cordero}等人,J.Appl。非类别。日志。10,编号3--4,243--272(2000;Zbl 1033.03507) 全文: 内政部
阿尔·恩格尔·J·吉尔。;乔尔迪·雷巴利亚托;文图拉·弗杜 与有限代数相关的Gentzen系统的一个强完备性定理。 (英语) Zbl 1033.03014号 J.应用。非类别。日志。 9,第1号,9-36(1999)。MSC公司:03B50号 03财年03 05年3月 03年2月22日 PDF格式BibTeX公司 XML格式引用 \textit{±.J.Gil}等人,J.Appl。非类别。日志。9、第1号、第9--36号(1999;Zbl 1033.03014) 全文: 内政部 链接
乌尔里希·赫斯塔特;雷娜特·施密特(Renate A.Schmidt)。 模态定理证明器的实证分析。 (英语) Zbl 1033.03501号 J.应用。非类别。日志。 9,第4期,479-522(1999)。MSC公司:03B35型 03B45号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}和\textit{R.A.Schmidt},J.Appl。非类别。日志。9,第479-522号(1999年;兹bl 1033.03501) 全文: 内政部
阿列克西·诺沃德沃斯基;阿列克西·斯米尔诺夫 用于通用交互式证明搜索的外壳。 (英语) Zbl 0955.03503号 J.应用。非类别。日志。 8,编号1-2,123-140(1998)。MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Novodvorsky}和\textit{A.Smirnov},J.Appl。非类别。日志。8,编号1--2,123-140(1998;Zbl 0955.03503) 全文: 内政部
埃利泽·洛津斯基。 关于知识进化:获取、修正、收缩。 (英语) Zbl 0871.68154号 J.应用。非类别。日志。 7,No.1-2,177-211(1997)。MSC公司:68T05型 68层35 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Lozinskii},J.应用。非类别。日志。7,编号1--2,177-211(1997;Zbl 0871.68154) 全文: 内政部
文森特·里什 默认逻辑的分析表。 (英语) Zbl 0838.03023号 J.应用。非类别。日志。 6,第1期,71-88(1996)。MSC公司:03B60号 68T27型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Risch},J.应用。非类别。日志。6,编号1,71--88(1996;Zbl 0838.03023) 全文: 内政部
斯特凡·德姆里 模态逻辑表格计算的统一和非统一策略。 (英语) Zbl 0826.03006号 J.应用。非类别。日志。 5,第1期,77-96(1995)。 审核人:H.J.Ohlbach(萨尔布吕肯) MSC公司:03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},J.Appl.(《应用》杂志)。非类别。日志。5,编号1,77--96(1995;Zbl 0826.03006) 全文: 内政部
加布里埃尔阿奎莱拉;de Guzmán,Inma P。;曼纽尔·奥杰达 提高自动定理证明的效率。 (英语) Zbl 0827.68100号 J.应用。非类别。日志。 5,第1号,9-29(1995)。MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Aguilera}等人,J.Appl。非类别。日志。5、第1号、第9--29号(1995年;Zbl 0827.68100) 全文: 内政部
D.M.加巴伊。;美国雷尔。 运行时目标化计算(N-Prolog.II)。 (英语) Zbl 0798.68031号 J.应用。非类别。日志。 3,第1期,93-128(1993)。MSC公司:68N17号 68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{U.Reyle},J.Appl。非类别。日志。3,编号1,93--128(1993;Zbl 0798.68031) 全文: 内政部