帕特里克·多尔蒂;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 弱充分必要条件和强必要条件下的对偶遗忘算子。 （英语） Zbl 07803982号 工件。智力。 326，文章ID 104036，18 p.（2024）.MSC公司：68立方英尺 03C10号机组 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Doherty}和\textit{A.Szałas}，Artif。智力。326，文章ID 104036，18 p.（2024；Zbl 07803982） 全文： DOI程序 arXiv公司
克里斯托弗·沃恩哈德 关系一元公式上的二阶量词消除——一种基本方法和一些不太期望的应用。 （英语） Zbl 1471.03021号 De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 253-269 (2015).MSC公司：03B35型 03B25号 03C10号机组 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Wernhard}，莱克特。注释计算。科学。9323253-269（2015年；Zbl 1471.03021） 全文： DOI程序
阿纳斯塔西奥斯·斯卡拉提迪斯;乔治·巴利乌拉斯;亚历山大·阿提基斯;乔治·沃罗斯（George A.Vouros）。 用于事件识别的概率事件演算。 （英语） Zbl 1354.68266号 ACM事务处理。计算。日志。 16，第2号，第11条，37页（2015年）.MSC公司：68层37 68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Skarlatidis}等人，ACM Trans。计算。日志。16，第2号，第11条，37页（2015年；Zbl 1354.68266） 全文： DOI程序 arXiv公司
雷娜特·施密特（Renate A.Schmidt）。;乌尔里希·赫斯塔特 模态逻辑的一阶分解方法。 （英语） Zbl 1383.03031号 沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，345-391（2013）。MSC公司：03B45号 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Schmidt}和\textit{U.Hustadt}，Lect。注释计算。科学。7797345--391（2013年；Zbl 1383.03031） 全文： DOI程序
约翰·范·本特姆;Bezhanishvili，尼克;伊恩·霍金森 模态微积分的Sahlqvist对应。 （英语） Zbl 1404.03021号 螺柱日志。 100，编号1-2，31-60（2012）.MSC公司：03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人，Stud.Log。100，编号1--2，31-60（2012；Zbl 1404.03021） 全文： DOI程序
克里斯托弗·沃恩哈德 投影和范围确定的范围。 （英语） Zbl 1259.03025号 J.塞姆。计算。 47，第9期，1089-1108（2012）.MSC公司：03B35型 68吨15 68T27型 68立方英尺 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Wernhard}，J.Symb（J.塞姆）。计算。47，第9号，1089--1108（2012；Zbl 1259.03025） 全文： DOI程序
雷娜特·施密特（Renate A.Schmidt）。 模态逻辑、对应理论和二阶约简的阿克曼方法。 （英语） Zbl 1248.03039号 J.应用。日志。 第10期，第1期，第52-74页（2012年）.MSC公司：03B45号 03B35型 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Schmidt}，J.应用。日志。10、第1号、第52--74号（2012；Zbl 1248.03039） 全文： DOI程序
陈，尹;林方珍;张燕;周毅 循环可分程序及其一阶可定义性。 （英语） Zbl 1223.68027号 工件。智力。 175，第3-4号，890-913（2011）.MSC公司：第68页第17页 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}等人，Artif。智力。175，编号3--4，890--913（2011；Zbl 1223.68027） 全文： DOI程序
莱奥拉·摩根斯坦;希拉·麦克拉伊思。 约翰·麦卡锡的遗产。 （英语） Zbl 1216.68017号 工件。智力。 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） 全文： DOI程序
威廉·康雷迪;瓦伦丁·戈兰科;迪米塔尔·瓦卡列洛夫 模态逻辑中的算法对应性和完备性。V.SQEMA的递归扩展。 （英语） Zbl 1214.03011号 J.应用。日志。 8，第4期，319-333（2010）.MSC公司：03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人，J.Appl。日志。8、编号4、319--333（2010；Zbl 1214.03011） 全文： DOI程序 链接
加贝，多夫·M。;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 有限图上的注释理论。 （英语） Zbl 1185.03057号 螺柱日志。 93，编号2-3，147-180（2009）.MSC公司：03B70号 03C10号机组 第68页第17页 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{A.Szałas}，Stud.Log。93，编号2--3，147-180（2009；Zbl 1185.03057） 全文： DOI程序 链接
加贝，多夫·M。;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 通过消除量词进行投票。 （英语） Zbl 1187.91051号 螺柱日志。 92，第3期，365-379（2009年）.MSC公司：91B12号机组 91B14号机组 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{A.Szałas}，Stud.Log。92，第3号，365-379（2009；Zbl 1187.91051） 全文： DOI程序 链接
斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 将背景理论纳入量词消除。 （英语） 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） 全文： DOI程序
加贝，多夫·M。;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 高阶上下文中的二阶量词消除及其在条件句语义分析中的应用。 （英语） Zbl 1127.03024号 螺柱日志。 87，第1号，37-50（2007）.MSC公司：03C10号机组 03C85号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{A.Szałas}，Stud.Log。87，第1号，37--50（2007；Zbl 1127.03024） 全文： DOI程序
帕特里克·多尔蒂;马丁·马格努森;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 近似数据库：近似推理的支持工具。 （英语） 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） 全文： DOI程序
斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 描述逻辑中的二阶推理。 （英语） Zbl 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） 全文： DOI程序
威廉·康雷迪 关于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） 全文： DOI程序
Lee，Joohyng先生;林方珍 用于限定的循环公式。 （英语） Zbl 1131.68105号 工件。智力。 170，第2期，160-185（2006）.MSC公司：68T27型 68立方英尺 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{J.Lee}和\textit{F.Lin}，Artif。智力。170，编号2，160--185（2006；Zbl 1131.68105） 全文： DOI程序
托马斯·艾特;格奥尔格·戈特洛布 命题逻辑中最小上界下的推理。 （英语） Zbl 1142.68532号 西奥。计算。科学。 369，编号1-3，82-115（2006）.MSC公司：68T27型 03B05号 03B60号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{G.Gottlob}，Theor。计算。科学。369，编号1--3，82-115（2006；Zbl 1142.68532） 全文： DOI程序 链接
瓦伦丁·戈兰科;迪米特·瓦卡雷洛夫 初等规范公式：推广Sahlqvist定理。 （英语） Zbl 1111.03018号 Ann.纯粹应用。逻辑 141，编号1-2，180-217（2006）. 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{D.Vakarelov}，Ann.纯苹果。逻辑141，No.1--2，180-217（2006；Zbl 1111.03018） 全文： DOI程序 链接
皮耶罗·A·博纳蒂。 使用无限稳定模型进行推理。 （英语） Zbl 1085.68681号 工件。智力。 156，第1期，75-111（2004）.MSC公司：68T27型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Bonatti}，阿蒂夫。智力。156，第1号，75--111（2004；Zbl 1085.68681） 全文： DOI程序
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） 全文： DOI程序
奇塔·巴拉尔;阿尔弗雷多·加巴登;亚历山德罗·普罗维蒂 使用嵌套限定将叙述形式化。 （英语） Zbl 0908.68121号 工件。智力。 104，编号1-2，107-164（1998）.MSC公司：68时01分 PDF格式BibTeX公司 XML格式引用 \textit{C.Baral}等人，Artif。智力。104，编号1--2，107-164（1998；Zbl 0908.68121） 全文： DOI程序
恩里科·金西格里亚;G.Neelakantan Kartha;弗拉基米尔·利夫希茨 代表行动：不确定性和后果。 （英语） Zbl 0894.68140号 工件。智力。 95，第2期，409-438（1997）.MSC公司：68T99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，Artif。智力。95，编号2409-438（1997年；Zbl 0894.68140） 全文： DOI程序
帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 一般域的界定及其一阶约简。 （英语） Zbl 1419.68109号 Gabbay，Dov M.（编辑）等人，《实践推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1085, 93-109 (1996).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Doherty}等人，Lect。注释计算。科学。1085、93--109（1996年；Zbl 1419.68109） 全文： DOI程序
汉斯·尤根·奥巴赫 SCAN–消除谓词量词。 （英语） Zbl 1412.68249号 McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 161-165 (1996).MSC公司：68吨15 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}，莱克特。注释计算。科学。1104，161--165（1996；Zbl 1412.68249） 全文： DOI程序