马丁·吉斯;汉斯·托姆皮茨 有限值非确定性逻辑的序列型拒绝系统。 (英语) 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--4,606--640(2023;Zbl 07757224) 全文: 内政部
刘大新;冯启辉 关于信仰的发展。 (英语) Zbl 07732222号 Artif公司。智力。 322,文章ID 103947,28 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{D.Liu}和\textit{Q.Feng},Artif。智力。322,文章ID 103947,28 p.(2023;Zbl 07732222) 全文: 内政部
豪尔赫·范丁诺;沃尔夫冈·费伯;迈克尔·盖尔芬德 三十年的认知规范。 (英语) Zbl 07776354号 理论与实践。日志。程序。 22,第6号,1043-1083(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fandinno}等人,《理论与实践》。日志。程序。22,第6号,1043--1083(2022;Zbl 07776354) 全文: 内政部 arXiv公司
迈克尔·伯恩雷特;阿内拉·洛里奇;简·马利;斯特凡·沃尔特兰 选择逻辑的顺序计算。 (英语) Zbl 07628196号 Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13385, 331-349 (2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernreiter}等人,Lect。注释计算。科学。13385、331--349(2022;Zbl 07628196) 全文: 内政部
埃里克·马丁 析取逻辑程序、答案集和切割规则。 (英语) Zbl 1510.68013号 架构(architecture)。数学。逻辑 61,编号7-8,903-937(2022). 审核人:玛丽·杜日伊(俄斯特拉发) MSC公司:68N17号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{艾丽·马丁},Arch。数学。逻辑61,编号7-8903-937(2022;Zbl 1510.68013) 全文: 内政部
温雪峰;罗新成 非累积逻辑的表示结果。 (英语) Zbl 07547775号 Ghosh,Sujata(编辑)等人,《逻辑、理性与互动》。第八届国际研讨会,LORI 2021,中国西安,2021年10月16-18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13039, 259-272 (2021).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{X.Wen}和\textit{X.Luo},Lect。注释计算。科学。13039、259--272(2021;Zbl 07547775) 全文: 内政部
克利斯蒂约纳斯·采拉;昆廷·海因里希;弗朗西丝卡·托尼 基于平坦假设和一般假设的论证的计算复杂性,有概率和无概率。 (英语) Zbl 1519.68246号 Artif公司。智力。 293,文章ID 103449,37 p.(2021).MSC公司:68T27型 65年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{K.采拉斯}等人,Artif。智力。293,文章ID 103449,37 p.(2021;Zbl 1519.68246) 全文: 内政部
佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗 分裂认知逻辑程序。 (英语) Zbl 1522.68104号 理论与实践。日志。程序。 21,第3期,296-316(2021).MSC公司:68N17号 03B42型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。21,编号3,296--316(2021;Zbl 1522.68104) 全文: 内政部 arXiv公司
内博伊沙·伊科迪诺维奇;佐兰·奥格尼亚诺维奇 默认推理的概率建模。 (英语) Zbl 07465318号 Ognjanović,Zoran(编辑),各种逻辑系统的概率扩展。查姆:斯普林格。109-142 (2020).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{N.Ikodinović}和\textit{Z.Ognjanović},in:各种逻辑系统的概率扩展。查姆:斯普林格。109-142(2020;Zbl 07465318) 全文: 内政部
托比亚斯·盖宾格;汉斯·托姆皮茨 非单调次一致逻辑系统的序列型演算。 (英语) Zbl 07455717号 Ricca,Francesco(ed.)等人,《第36届逻辑编程(技术通信)国际会议论文集》,ICLP 2020,UNICAL,Rende(CS),意大利,2020年9月18日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)325178-191(2020年)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Geibinger}和\textit{H.Tompits},电子。程序。西奥。计算。科学。(EPTCS)325178--191(2020;Zbl 07455717) 全文: arXiv公司 链接
佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗 自知答案集编程。 (英语) Zbl 1504.68208号 Artif公司。智力。 289,文章ID 103382,18 p.(2020).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,Artif。智力。289,文章ID 103382,18 p.(2020;Zbl 1504.68208) 全文: 内政部
苏·埃兹吉·伊拉兹 非单调S4F、(自反)自认知逻辑和答案集编程的统一方法。 (英语) Zbl 1497.68462号 芬丹。通知。 176,编号3-4,205-234(2020).MSC公司:68T27型 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{E.I.Su},芬丹。通知。176,编号3--4,205-234(2020;Zbl 1497.68462) 全文: 内政部
豪尔赫·范丁诺 建立(自动)认知均衡逻辑满足认知分裂。 (英语) Zbl 1434.68557号 理论与实践。日志。程序。 19,编号5-6,671-687(2019).MSC公司:68T27型 03B42型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.范迪诺},理论与实践。日志。程序。19,编号5-6671-687(2019;兹bl 1434.68557) 全文: 内政部 arXiv公司
沈毅东;托马斯·艾特 确定析取逻辑程序的推理语义。 (英语) Zbl 1483.68061号 Artif公司。智力。 277,文章ID 103165,28 p.(2019).MSC公司:68N17号 65年第68季度 第68季度55 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.-D.Shen}和\textit{T.Eiter},Artif。智力。277,文章ID 103165,28 p.(2019;Zbl 1483.68061) 全文: 内政部
詹姆斯·德尔格兰德。;Hector J.列夫斯克。 非确定性的认知方法:相信事件的最简单过程。 (英语) Zbl 1477.68296号 螺柱日志。 107,第5号,859-886(2019).MSC公司:68T27型 03B42型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Delgrande}和\textit{H.J.Levesque},Stud.Log。107,第5号,859--886(2019;Zbl 1477.68296) 全文: 内政部
何塞·路易斯·乌索·多梅内克;内斯科拉德·塞尔瓦(JosuéAntonio);休·加斯 话语和存在的宇宙。 (英语) Zbl 1402.03017号 数学 6,第11号,第272号论文,第19页(2018年).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Usó-Doménech}等人,《数学》第6卷第11期,第272号论文,第19页(2018年;Zbl 1402.03017) 全文: 内政部
马修·斯宾克斯;罗伯特·弗罗夫 具有强否定的次协调构造逻辑是一种无收缩的相关逻辑。 (英语) 兹比尔1406.03045 Czelakowski,Janusz(编辑),Don Pigozzi关于抽象代数逻辑、泛代数和计算机科学。查姆:施普林格(ISBN 978-3-319-74771-2/hbk;978-3-3169-74772-9/电子书)。对Logic的杰出贡献16323-379(2018)。 审核人:托马斯·弗格森(圆石乐队) MSC公司:03B47号 03B53号 03B20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Spinks}和\textit{R.Veroff},Outst。控制日志。16、323--379(2018;Zbl 1406.03045) 全文: 内政部
巴特·博加特;Joost Vennekens;马克·德内克 安全归纳法及其在知识表示中的应用。 (英语) Zbl 1445.68207号 Artif公司。智力。 259, 167-185 (2018).MSC公司:68立方英尺 03B42型 68N17号 第68季度55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人,Artif。智力。259167-185(2018;Zbl 1445.68207) 全文: 内政部 链接
巴特·博加特;路易斯·克鲁兹·菲利佩 活动完整性约束的定点语义。 (英语) Zbl 1423.68134号 Artif公司。智力。 255, 43-70 (2018).MSC公司:第68页,共15页 第68季度55 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}和\textit{L.Cruz-Filipe},Artif。智力。255,43-70(2018;Zbl 1423.68134) 全文: 内政部 链接
迪迪埃·杜布瓦;亨利·普拉德;史蒂文·肖卡特 广义可能性逻辑:关于不确定性的定性推理的基础和应用。 (英语) Zbl 1419.68110号 Artif公司。智力。 252, 139-174 (2017).MSC公司:68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Dubois}等人,Artif。智力。252139--174(2017年;Zbl 1419.68110) 全文: 内政部 链接
克劳迪娅·舒尔茨;弗朗西丝卡·托尼 基于假设和抽象论证的标签。 (英语) Zbl 1419.68133号 国际J近似推理 84, 110-149 (2017).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schulz}和\textit{F.Toni},国际J.近似推理84,110--149(2017;Zbl 1419.68133) 全文: 内政部 链接
中松,川美;精木赤山 带注释逻辑的编程。 (英语) Zbl 1429.68041号 Akama,Seiki(编辑),《走向准一致性工程》。Cham:Springer。智力。系统。参考图书馆。110, 103-164 (2016).MSC公司:68N17号 03B53号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakamatsu}和\textit{S.Akama},情报。系统。参考图书馆。110、103——164(2016;Zbl 1429.68041) 全文: 内政部
巴特·博加特;Joost Vennekens;马克·德内克 关于基础良好的集诱导和局部单调算子。 (英语) Zbl 1367.68275号 ACM事务处理。计算。日志。 17号第4条第27条第32页(2016年).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人,ACM Trans。计算。日志。17,第4号,第27条,第32页(2016年;Zbl 1367.68275) 全文: 内政部 链接
加布里埃拉·皮戈齐;亚历克西斯·苏基亚斯;保罗·维亚皮亚尼 人工智能偏好。 (英语) Zbl 1371.68262号 安。数学。Artif公司。智力。 77,No.3-4,361-401(2016).MSC公司:68T27型 68T05型 68立方英尺 68层37 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Pigozzi}等人,《数学年鉴》。Artif公司。智力。77,No.3--4,361--401(2016;Zbl 1371.68262) 全文: 内政部 链接
约翰·费希特。;阿恩·迈尔;伊琳娜·辛德勒 默认逻辑的强大后门。 (英语) Zbl 1475.68366号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9710, 45-59 (2016).MSC公司:68T27型 65年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}等人,Lect。注释计算。科学。9710,45-59(2016年;兹比尔1475.68366) 全文: 内政部 arXiv公司
金·鲍特斯;史蒂文·肖卡特;马丁·德·科克;德克·弗梅尔 使用可能性理论描述和扩展答案集语义。 (英语) Zbl 1379.68041号 理论与实践。日志。程序。 15,第1期,79-116(2015).MSC公司:68N17号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{K.Bauters}等人,《理论与实践》。日志。程序。15,编号1,79--116(2015;Zbl 1379.68041) 全文: 内政部 arXiv公司
埃斯特班·格雷罗;胡安·卡洛斯·尼维斯;海伦娜·林格伦 基于语义的参数构造:一种答案集编程方法。 (英语) Zbl 1344.68222号 国际J近似推理 64, 54-74 (2015).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Guerrero}等人,《国际近似推理》64,54-74(2015;Zbl 1344.68222) 全文: 内政部
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) 全文: 内政部
巴特·博加特;Joost Vennekens;马克·德内克 固定不动点及其在知识表示中的应用。 (英语) Zbl 1343.68233号 Artif公司。智力。 224, 51-71 (2015).MSC公司:68立方英尺 03G10年 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人,Artif。智力。224、51--71(2015;Zbl 1343.68233) 全文: 内政部
瓦夏克·贝勒;格哈德·莱克梅耶 多智能体只知道的语义考虑。 (英语) 兹比尔1343.68231 Artif公司。智力。 223, 1-26 (2015).MSC公司:68立方英尺 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{V.Belle}和\textit{G.Lakemeyer},Artif。智力。223,1--26(2015;Zbl 1343.68231) 全文: 内政部
阿恩·迈尔;伊琳娜·辛德勒;约翰·施密特;迈克尔·托马斯;赫里贝特·沃尔默 关于非单调逻辑的参数化复杂性。 (英语) Zbl 1361.03036号 架构(architecture)。数学。逻辑 54,编号5-6,685-710(2015). 审核人:克里斯蒂安·卡卢德(奥克兰) MSC公司:2015年3月1日 03B42型 03B60号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人,Arch。数学。逻辑54,No.5--6,685--710(2015;Zbl 1361.03036) 全文: 内政部
汤米·詹胡宁;伊尔卡·尼梅尔 为非单调推理量身定制的累加性。 (英语) Zbl 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号 68T27型 68立方英尺 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Lect。注释计算。科学。9060,1--16(2015;Zbl 1432.68003) 全文: 内政部
莫华·班纳吉;迪迪埃·杜布瓦 对不完整知识进行推理的简单逻辑。 (英语) Zbl 1316.68151号 国际J近似推理 55,第2期,639-653(2014).MSC公司:68T27型 03B42型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Banerjee}和\textit{D.Dubois},《国际近似推理》55,第2期,639--653(2014;Zbl 1316.68151) 全文: 内政部
大卫·皮尔斯;莱文·乌里迪亚 模态逻辑和超直觉非单调逻辑的代数语义。 (英语) 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) 全文: 内政部
汉内斯·斯特拉斯 抽象辩证框架的近似运算符和语义。 (英语) 兹比尔1334.68212 Artif公司。智力。 205, 39-70 (2013).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.斯特拉斯},Artif。智力。205、39-70(2013年;Zbl 1334.68212) 全文: 内政部
格哈德·舒尔茨;保罗·D·索恩。 不确定性推理中的回报与风险:定理与模拟。 (英语) Zbl 1272.03057号 版本符号。日志。 5,第4号,574-612(2012).MSC公司:03A10号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{G.Schurz}和\textit{P.D.Thorn},Rev.Symb。日志。5,第4号,574--612(2012;Zbl 1272.03057) 全文: 内政部
埃里克·马丁。 逻辑程序的上下文假设和语义。 (英语) Zbl 1448.68204号 理论与实践。日志。程序。 12,第6期,843-887(2012).MSC公司:68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{艾拉·马丁},理论与实践。日志。程序。12,第6号,843--887(2012;Zbl 1448.68204) 全文: 内政部
Hector J.列夫斯克。;格哈德·莱克梅耶 关于违约的真相。 (英语) Zbl 1357.68223号 Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。《计算机科学讲义》7265422-435(2012)。MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Levesque}和\textit{G.Lakemeyer},莱克特。注释计算。科学。7265,422--435(2012;Zbl 1357.68223) 全文: 内政部
内拉坎坦省卡塔 Lifschitz和限制。 (英语) Zbl 1357.68221号 Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学课堂讲稿7265,386-389(2012)。MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kartha},莱克特。注释计算。科学。7265,386--389(2012;Zbl 1357.68221) 全文: 内政部
季建民;林方珍 从特纳的普遍因果逻辑到GK的逻辑。 (英语) Zbl 1357.68220号 Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学课堂讲稿7265,380-385(2012)。MSC公司:68T27型 03B42型 03B60号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Ji}和\textit{F.Lin},Lect。注释计算。科学。7265380-385(2012;Zbl 1357.68220) 全文: 内政部
杰克·明克尔 致弗拉基米尔·利夫希茨(Vladimir Lifschitz)65岁生日。 (英语) 兹比尔1357.01013 Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学讲义7265,1-13(2012)。MSC公司:01A70号 68-03 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Minker},莱克特。注释计算。科学。7265,1-13(2012;Zbl 1357.01013) 全文: 内政部
沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂 答案集编程中递归聚合的语义和复杂性。 (英语) Zbl 1216.68263号 Artif公司。智力。 175,第1期,278-298(2011).MSC公司:68T27型 68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}等人,Artif。智力。175,第1号,278--298(2011;Zbl 1216.68263) 全文: 内政部 链接
林方珍;周毅 从答案集逻辑编程到通过GK逻辑的限定。 (英语) Zbl 1216.68270号 Artif公司。智力。 175,第1期,264-277(2011).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin}和\textit{Y.Zhou},Artif。智力。175,第1号,264--277(2011;Zbl 1216.68270) 全文: 内政部
保罗·费拉里斯;Lee,Joohyng先生;弗拉基米尔·利夫希茨 稳定模型和范围。 (英语) Zbl 1227.68103号 Artif公司。智力。 175,第1期,236-263(2011). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Ferraris}等人,人工制品。智力。175,编号1236-263(2011年;兹bl 1227.68103) 全文: 内政部
史蒂文·夏皮罗;莫里斯·帕格努科;伊夫莱斯佩伦斯;Hector J.列夫斯克。 情境演算中的反复信念改变。 (英语) Zbl 1216.68275号 Artif公司。智力。 175,第1期,165-192(2011).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Shapiro}等人,Artif。智力。175,第1号,165--192(2011;Zbl 1216.68275) 全文: 内政部
莱奥拉·摩根斯坦;希拉·麦克拉伊思。 约翰·麦卡锡的遗产。 (英语) Zbl 1216.68017号 Artif公司。智力。 175,第1期,1-24页(2011年).MSC公司:68-03 01A60型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Morgenstern}和\textit{S.A.McIlraith},Artif。智力。175,第1号,1--24(2011;Zbl 1216.68017) 全文: 内政部
丹尼尔·凯泽 逻辑在推理中的位置。 (英语) Zbl 1255.03018号 日志。Univers大学。 4,第2期,225-239(2010年).MSC公司:03A05号 03B65号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kayser},日志。Univers大学。4,第2号,225--239(2010;Zbl 1255.03018) 全文: 内政部
弗雷德里克·迈尔;唐纳德·纳特 为可废止逻辑提供了完善的语义。 (英语) Zbl 1214.03020号 合成 176,第2期,243-274(2010).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{F.Maier}和\textit{D.Nute},综合176,第2期,243--274(2010;Zbl 1214.03020) 全文: 内政部
特鲁什琴斯基,米罗斯劳 命题理论的约简、可满足关系和逻辑程序语义的推广。 (英语) Zbl 1209.68101号 Artif公司。智力。 174,编号16-17,1285-1306(2010).MSC公司:68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Truszczyn ski},阿蒂夫。智力。174,编号16--17,1285--1306(2010;Zbl 1209.68101) 全文: 内政部
瓦西拉Ouerdane;尼古拉斯·莫代特;亚历克西斯·苏基亚斯 论证理论与决策辅助。 (英语) Zbl 1200.90106号 Ehrgott,Matthias(编辑)等人,《多标准决策分析趋势》。柏林:施普林格出版社(ISBN 978-1-4419-5903-4/hbk;978-1-441 9-5904-1/电子书)。《运筹学与管理科学国际丛书》142177-208(2010)。MSC公司:90B50型 PDF格式BibTeX公司 XML格式引用 \textit{W.Ouerdane}等人,国际期刊。操作。资源管理。科学。142177-208(2010;Zbl 1200.90106) 全文: 内政部 链接
弗拉基米尔·利夫希茨 稳定模型的13个定义。 (英语) Zbl 1287.68021号 Blass,Andreas(编辑)等人,《逻辑与计算领域》。尤里·古雷维奇70岁生日之际献给他的散文。柏林:施普林格出版社(ISBN 978-3-642-15024-1/pbk)。《计算机科学讲义》6300488-503(2010)。MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz},莱克特。注释计算。科学。6300、488--503(2010;Zbl 1287.68021) 全文: 内政部
保罗·E·邓恩。 理想语义的计算复杂性。 (英语) Zbl 1185.68666号 Artif公司。智力。 173,第18号,1559-1591(2009).MSC公司:68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne},阿蒂夫。智力。173,第18号,1559--1591(2009;Zbl 1185.68666) 全文: 内政部
大卫·皮尔斯;汉斯·托姆皮茨;斯特凡·沃尔特兰 平衡逻辑和嵌套逻辑程序的特征:简化和复杂性。 (英语) Zbl 1186.68100号 理论与实践。日志。程序。 9,第5期,565-616(2009).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pearce}等人,《理论与实践》。日志。程序。9,第5号,565--616(2009;Zbl 1186.68100) 全文: 内政部
格哈德·莱克梅耶;Hector J.列夫斯克。 默认情况下进程的语义描述。 (英语) Zbl 1248.68477号 Borgida,Alexander T.(编辑)等人,《概念建模:基础和应用》。纪念约翰·米洛波洛斯的论文。柏林:施普林格出版社(ISBN 978-3-642-02462-7/pbk)。计算机科学讲座笔记5600,82-98(2009)。MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Lakemeyer}和\textit{H.J.Levsque},Lect。注释计算。科学。5600、82--98(2009年;Zbl 1248.68477) 全文: 内政部
莫华·班纳吉;迪迪埃·杜布瓦 一种简单的模态逻辑,用于推理揭示的信念。 (英语) Zbl 1245.03019号 Sossai,Claudio(编辑)等人,《不确定性推理的符号和定量方法》。第十届欧洲会议,ECSQARU 2009,意大利维罗纳,2009年7月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02905-9/pbk)。计算机科学课堂讲稿5590。人工智能课堂讲稿,805-816(2009)。MSC公司:03B42型 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Banerjee}和\textit{D.Dubois},莱克特。注释计算。科学。5590、805--816(2009年;Zbl 1245.03019) 全文: 内政部
托马斯·艾特;王克文 答案集编程中的语义遗忘。 (英语) Zbl 1184.68159号 Artif公司。智力。 172,第14号,1644-1672(2008).MSC公司:68N17号 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{K.Wang},Artif。智力。172,第14号,1644--1672(2008;Zbl 1184.68159) 全文: 内政部 链接
特鲁什琴斯基,米洛斯奥;斯特凡·沃尔特兰 逻辑程序相对于支持模型的超等价性。 (英语) Zbl 1165.68349号 安。数学。Artif公司。智力。 53,编号1-4,331-365(2008).MSC公司:68N17号 68立方英尺 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Truszczyn ski}和\textit{S.Woltran},Ann.数学。Artif公司。智力。53,编号1--4,331--365(2008;Zbl 1165.68349) 全文: 内政部 链接
迈克尔·卡明斯基 非单调模态逻辑的非参照语义。 (英语) 兹比尔1173.03014 安。数学。Artif公司。智力。 53,编号1-4205-223(2008). 审核人:David Makinson(伦敦) MSC公司:03B42型 03B45号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski},Ann.数学。Artif公司。智力。53,编号1--4,205-223(2008;Zbl 1173.03014) 全文: 内政部
亚历山大·波奇曼 默认逻辑被概括和简化。 (英语) Zbl 1165.68498号 安。数学。Artif公司。智力。 53,编号1-4,21-49(2008).MSC公司:68T27型 68立方英尺 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bochman},Ann.数学。Artif公司。智力。53,编号1--4,21-49(2008;Zbl 1165.68498) 全文: 内政部
雷梅尔,杰弗里·B。 我和维克多·马雷克一起工作:一位数学家研究答案集编程。 (英语) Zbl 1165.68507号 安。数学。Artif公司。智力。 53,编号1-4,5-16(2008).MSC公司:68T27型 03B70号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Remmel},Ann.数学。Artif公司。智力。53,编号1--4,5--16(2008;Zbl 1165.68507) 全文: 内政部
科恩,阿里尔;迈克尔·卡明斯基;约翰·马考斯基(Johann A.Makowsky)。 默认情况下的相同概念及其在回指、模糊和不确定推理中的应用。 (英语) Zbl 1188.68275号 J.逻辑语言信息。 17,第3期,285-306(2008).MSC公司:68T27型 68层37 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cohen}等人,J.Logic Lang.Inf.17,No.3,285--306(2008;Zbl 1188.68275) 全文: 内政部
弗拉基米尔·利夫希茨 一个稳定模型的十二个定义。 (英语) Zbl 1185.68166号 Garcia de la Banda,Maria(编辑)等人,《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-89981-5/pbk)。计算机科学课堂讲稿5366,37-51(2008)。MSC公司:68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz},莱克特。注释计算。科学。5366、37-51(2008年;Zbl 1185.68166) 全文: 内政部
T·J·M·Bench-Capon。;保罗·E·邓恩。 人工智能中的争论。 (英语) Zbl 1168.68560号 Artif公司。智力。 171,第10-15号,619-641(2007).MSC公司:68T27型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{T.J.M.Bench-Capon}和\textit{P.E.Dunne},Artif。智力。171,编号10--15,619--641(2007;Zbl 1168.68560) 全文: 内政部
翁贝托·斯特拉契亚 在任意世界假设下,正常逻辑程序的自顶向下的查询应答过程。 (英语) Zbl 1148.68336号 Mellouli,Khaled(编辑),不确定性推理的符号和定量方法。第九届欧洲会议,2007年10月31日至11月2日,ECSQARU,突尼斯哈马马特。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75255-4/pbk)。计算机科学课堂讲稿4724。人工智能课堂讲稿,115-127(2007)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{U.Straccia},莱克特。注释计算。科学。4724、115-127(2007年;Zbl 1148.68336) 全文: 内政部
里卡多·罗萨蒂 最小知识的多模非单调逻辑。 (英语) Zbl 1118.68667号 安。数学。Artif公司。智力。 48,第3-4号,169-185(2006).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Rosati},Ann.数学。Artif公司。智力。48,编号3--4,169-185(2006;Zbl 1118.68667) 全文: 内政部
安东尼·吉利斯(Anthony S.Gillies)。 观点改变后可能会出现什么情况。 (英语) 邮编1123.03005 J.菲洛斯。日志。 35,第2期,117-145(2006). 审核人:H.C.M.de Swart(蒂尔堡) MSC公司:03A05号 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Gillies},J.Philos。日志。35,第2号,117--145(2006;Zbl 1123.03005) 全文: 内政部 链接
唐纳德·班伯;I.R.古德曼。;Nguyen,Hung T。 具有例外规则的稳健推理:从二阶概率到通过概率、可能性和有向图的上包络进行论证。 (英语) Zbl 1088.68165号 安。数学。Artif公司。智力。 45,编号1-2,83-171(2006).MSC公司:68层37 03B48号 60G57型 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bamber}等人,《数学年鉴》。Artif公司。智力。45,编号1--2,83-171(2006;Zbl 1088.68165) 全文: 内政部
欧内斯特·戴维斯 知识与沟通:一阶理论。 (英语) Zbl 1132.68726号 Artif公司。智力。 166,编号1-2,81-139(2005).MSC公司:68T27型 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{E.Davis},阿蒂夫。智力。166,编号1--2,81-139(2005;Zbl 1132.68726) 全文: 内政部
格哈德·舒尔茨 进化论视角下的非单调推理:本体论、逻辑和认知基础。 (英语) 兹比尔1079.03523 合成 146,编号1-2,37-51(2005).MSC公司:03A05号 68T27型 03B60号 91E10型 92D15型 PDF格式BibTeX公司 XML格式引用 \textit{G.Schurz},Synthese 146,No.1--2,37-51(2005;Zbl 1079.03523) 全文: 内政部
弗朗西斯·杰弗里·佩利蒂埃;雷内·埃利奥 违约和继承推理中的心理主义案例。 (英语) Zbl 1079.03520号 合成 146,第1-2期,第7-35期(2005年).MSC公司:03A05号 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.J.Pelletier}和\textit{R.Elio},Synthese 146,No.1--2,7--35(2005;Zbl 1079.03520) 全文: 内政部
Yann Loyer;翁贝托·斯特拉契亚 逻辑编程中的任意世界假设。 (英语) Zbl 1077.68013号 西奥。计算。科学。 342,编号2-3,351-381(2005).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Loyer}和\textit{U.Straccia},Theor。计算。科学。342,编号2--3,351--381(2005;Zbl 1077.68013) 全文: 内政部
罗伯特·萨克森·米尔尼克尔 谓词缺省逻辑和其他非单调逻辑中怀疑推理的序贯计算。 (英语) Zbl 1099.68107号 安。数学。Artif公司。智力。 44,第1-2、1-34号(2005).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Milnikel},Ann.数学。Artif公司。智力。44,编号1--2,1--34(2005;Zbl 1099.68107) 全文: 内政部
Vo,Quoc Bao公司;Foo,Norman Y。;乔·瑟本 不可行推理理论的语义学。 (英语) Zbl 1099.68108号 安。数学。Artif公司。智力。 44,编号1-2,87-119(2005).MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{Q.B.Vo}等人,《数学年鉴》。Artif公司。智力。44,编号1--2,87-119(2005;Zbl 1099.68108) 全文: 内政部
格哈德·布鲁卡;塞勒姆·本费哈特;丹尼尔·勒贝雷 定性选择逻辑。 (英语) Zbl 1085.68159号 Artif公司。智力。 157,编号1-2,203-237(2004).MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{G.Brewka}等人,Artif。智力。157,编号1--2,203-237(2004;Zbl 1085.68159) 全文: 内政部
皮耶罗·A·博纳蒂。 使用无限稳定模型进行推理。 (英语) Zbl 1085.68681号 Artif公司。智力。 156,第1期,75-111(2004).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Bonatti},阿蒂夫。智力。156,第1号,75--111(2004;Zbl 1085.68681) 全文: 内政部
欧内斯特·戴维斯;莱奥拉·摩根斯坦 导言:形式常识推理的进展。 (英语) Zbl 1085.68682号 Artif公司。智力。 153,编号1-2,1-12(2004).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Davis}和\textit{L.Morgenstern},Artif。智力。153,第1-2,1-12号(2004年;兹bl 1085.68682) 全文: 内政部
父母X。 补救互换、逆税义务和减刑。 (英语) Zbl 1181.03019号 J.应用。非类别。日志。 13,编号3-4,345-375(2003).MSC公司:03B45号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{X.家长},J.Appl。非类别。日志。13,编号3--4,345--375(2003;Zbl 1181.03019) 全文: 内政部
丹尼尔·施瓦茨(Daniel G.Schwartz)。 主体导向的认知推理:知识和信念的主观条件。 (英语) Zbl 1082.68824号 Artif公司。智力。 148,第1-2号,177-195(2003).MSC公司:68T27型 68立方英尺 68层37 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Schwartz},阿蒂夫。智力。148,编号1--2,177--195(2003;Zbl 1082.68824) 全文: 内政部
汤米·詹胡宁 评估半正态性对违约表现力的影响。 (英语) Zbl 1079.68624号 Artif公司。智力。 144,编号1-2,233-250(2003).MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{T.Janhunen},Artif(阿蒂夫)。智力。144,编号1--2,233--250(2003;Zbl 1079.68624) 全文: 内政部
马克·德内克;维克多·马雷克。;特鲁什琴斯基,米洛斯奥 默认逻辑和自认知逻辑的统一语义处理。 (英语) Zbl 1010.03021号 Artif公司。智力。 143,编号1,79-122(2003).MSC公司:03B70号 68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Denecker}等人,Artif。智力。143,编号1,79-122(2003;Zbl 1010.03021) 全文: 内政部
富山胜彦;小岛高弘;稻垣安史 将多智能体自认知逻辑转换为逻辑程序。 (英语) Zbl 1270.68335号 Dix,Jurgen(编辑)等人,CLIMA’2002。多代理系统中的计算逻辑(FLoC卫星事件),丹麦哥本哈根,2002年8月1日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》70,第5期,54-71(2002)。MSC公司:68T42型 03B42型 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Katsuhiko}等人,《电子》。注释Theor。计算。科学。70,第5号,54--71(2002;Zbl 1270.68335) 全文: 链接
詹姆斯·德尔格兰德。;托尔斯滕·绍布 在一个扩展中进行轻信和怀疑的推理。 (英语) Zbl 1060.68118号 J.应用。非类别。日志。 12,第2期,259-285(2002).MSC公司:68层37 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Delgrande}和\textit{T.Schaub},J.Appl。非类别。日志。12,第2号,259--285(2002;Zbl 1060.68118) 全文: 内政部
亚尼斯·迪莫普洛斯;伯恩哈德·内贝尔;弗朗西丝卡·托尼 基于假设的默认推理论证的计算复杂性。 (英语) Zbl 1043.68097号 Artif公司。智力。 141,编号1-2,57-78(2002).MSC公司:68层37 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Dimopoulos}等人,Artif。智力。141,编号1--2,57-78(2002;Zbl 1043.68097) 全文: 内政部
帕特里克·西蒙斯;伊尔卡·尼梅尔;蒂莫·索尼宁 扩展和实现稳定的模型语义。 (英语) Zbl 0995.68021号 Artif公司。智力。 138,编号1-2,181-234(2002).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Simons}等人,Artif。智力。138,编号1--2,181-234(2002;Zbl 0995.68021) 全文: 内政部
迈克尔·盖尔芬德;尼古拉·利昂 逻辑编程和知识表示——A-Prolog视角。 (英语) 兹比尔0995.68022 Artif公司。智力。 138,编号1-2,3-38(2002).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}和\textit{N.Leone},Artif。智力。138,编号1--2,3--38(2002;Zbl 0995.68022) 全文: 内政部
威尔逊,尼克;杰罗姆·梅根 在本地计算框架中嵌入逻辑。 (英语) Zbl 1032.03032号 J.应用。非类别。日志。 11,编号3-4,239-267(2001).MSC公司:03B70号 03B35型 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{N.Wilson}和\textit{J.Mengin},J.Appl。非类别。日志。11,编号3--4,239--267(2001;Zbl 1032.03032) 全文: 内政部
潘明·邓;儿子Tran Cao 一种基于论证的推理方法。 (英语) 兹伯利0984.68153 Artif公司。智力。 133,编号1-2,35-85(2001).MSC公司:68层37 68时01分 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Dung}和\textit{T.C.Son},Artif。智力。133,编号1--2,35-85(2001;Zbl 0984.68153) 全文: 内政部
J.迪克斯。;克劳斯,S。;苏布拉曼尼亚,V.S。 临时代理程序。 (英语) Zbl 0976.68121号 Artif公司。智力。 127,第1期,第87-135页(2001年).MSC公司:68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Dix}等人,Artif。智力。127,第1号,87--135(2001;Zbl 0976.68121) 全文: 内政部
T·艾特。;卢卡西维茨,T。 基于条件知识库的默认推理:复杂性和可处理案例。 (英语) Zbl 0952.68139号 Artif公司。智力。 124,第2期,169-241(2000).MSC公司:68层37 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{T.Lukasiewicz},Artif。智力。124,第2号,169--241(2000;Zbl 0952.68139) 全文: 内政部
Ben-David,S。;Ben-Eliyahu-Zohary,R。 主观默认推理的模态逻辑。 (英语) Zbl 0940.03032号 Artif公司。智力。 116,编号1-2,217-236(2000).MSC公司:03B60号 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ben-David}和\textit{R.Ben-Eliyahu-Zohary},阿蒂夫。智力。116,编号1-217-236(2000年;兹bl 0940.03032) 全文: 内政部
罗萨蒂(R.Rosati)。 关于仅知推理的可判定性和复杂性。 (英语) Zbl 0939.68838号 Artif公司。智力。 116,编号1-2,193-215(2000).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \文本{R.Rosati},Artif。智力。116,编号1--2,193-215(2000;Zbl 0939.68838) 全文: 内政部
陈建华 在析取逻辑程序中嵌入优先级限定。 (英语) Zbl 1057.68575号 J.实验理论。Artif公司。智力。 11,第4期,553-563(1999).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen},J.Exp.Theor(作者:J.陈)。Artif公司。智力。11,第4号,553--563(1999;Zbl 1057.68575) 全文: 内政部
格里戈里斯·安东尼奥 研究默认逻辑类的属性。 (英语) Zbl 1051.03504号 J.实验理论。Artif公司。智力。 10,第4期,495-505(1998年).MSC公司:03B70号 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Antoniou},J.专家Theor。Artif公司。智力。10,第4号,495--505(1998;Zbl 1051.03504) 全文: 内政部
陈建华 一个完善的证明理论,用于广义逻辑的唯一知道。 (英语) 兹比尔1049.03502 J.实验理论。Artif公司。智力。 10,第4号,421-438(1998年).MSC公司:03B42型 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen},J.Exp.Theor(作者:J.陈)。Artif公司。智力。10,第4号,421--438(1998;Zbl 1049.03502) 全文: 内政部
尤西·林塔南 默认逻辑中的词汇优先级。 (英语) Zbl 0910.68162号 Artif公司。智力。 106,第2期,221-265(1998).MSC公司:68时01分 PDF格式BibTeX公司 XML格式引用 \textit{J.林丹恩},阿蒂夫。智力。106,第2号,221--265(1998;Zbl 0910.68162) 全文: 内政部
莱奥拉·摩根斯坦 继承来自时代:将非单调技术应用于工业问题。 (英语) Zbl 0910.68205号 Artif公司。智力。 103,编号1-2,237-271(1998).MSC公司:68层35 PDF格式BibTeX公司 XML格式引用 \textit{L.Morgenstern},阿蒂夫。智力。103,编号1--2,237--271(1998;Zbl 0910.68205) 全文: 内政部
詹姆斯·德尔格兰德。 关于一阶条件逻辑。 (英语) Zbl 0909.68174号 Artif公司。智力。 105,编号1-2,105-137(1998).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Delgrande},阿蒂夫。智力。105,编号1--2,105-137(1998;Zbl 0909.68174) 全文: 内政部
亚历山大·波奇曼 论缺省推理与模态非单调推理的关系。 (英语) 兹伯利0908.03027 Artif公司。智力。 101,第1-2、1-34号(1998年).MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bochman},阿蒂夫。智力。101,编号1--2,1-34(1998;Zbl 0908.03027) 全文: 内政部
Ng,Raymond T。 演绎数据库和逻辑程序中的不确定性推理。 (英语) Zbl 1232.68140号 国际期刊不确定性。模糊知识-基于系统。 5,第3号,261-316(1997).MSC公司:68层37 68N17号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{R.T.Ng},国际期刊不确定性。模糊知识-基于系统。5,第3号,261--316(1997;Zbl 1232.68140) 全文: 内政部