Šefránek，Ján 无关更新和非单调假设。 （英语） 兹比尔1152.68596 Michael Fisher（编辑）等人，《人工智能中的逻辑》。第十届欧洲会议，JELIA 2006，英国利物浦，2006年9月13-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-39625-3/pbk）。计算机科学讲义4160。人工智能课堂讲稿，426-438（2006）。MSC公司：68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Šefránek}，莱克特。注释计算。科学。4160426--438（2006年；Zbl 1152.68596） 全文： 内政部
托马斯·艾特;芬克，迈克尔;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 关于演化非单调知识库的推理。 （英语） Zbl 1367.68279号 ACM事务处理。计算。日志。 6，第2期，389-440（2005）.MSC公司：68T27型 68N17号 65年第68季度 68立方英尺 68层35 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，《美国医学杂志》。计算。日志。6，编号2389-440（2005年；兹bl 1367.68279） 全文： 内政部
托马斯·卢卡西维奇 弱非单调概率逻辑。 （英语） Zbl 1132.68737号 Artif公司。智力。 168，编号1-2，119-161（2005）.MSC公司：68T27型 03B48号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{T.Lukasiewicz}，阿蒂夫。智力。168，编号1--2，119-161（2005；Zbl 1132.68737） 全文： 内政部
加布里埃尔·克恩·伊斯伯纳 修改和更新概率信念。 （英语） 兹比尔1004.03012 威廉姆斯（Williams）、玛丽·安妮（Mary-Anne）（编辑）等，《信仰修正的前沿》。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。22, 393-408 (2001).MSC公司：03B42号 68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Kern-Isberner}，应用。日志。序列号。22393--408（2001年；Zbl 1004.03012）
T·艾特。;卢卡西维茨，T。 基于条件知识库的默认推理：复杂性和可处理案例。 （英语） Zbl 0952.68139号 Artif公司。智力。 124，第2期，169-241（2000）.MSC公司：68层37 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛T.Eiter｝和\textit｛T.Lukasiewicz｝，人工制品。智力。124，第2号，169--241（2000；Zbl 0952.68139） 全文： 内政部
塞勒姆·本费哈特;迪迪埃·杜波依斯;亨利·普拉德 处理不一致知识库的一些句法方法：比较研究。二： 优先案例。 （英语） Zbl 0930.68149号 或者，埃瓦·奥斯卡（编辑），《工作中的逻辑》。纪念海伦娜·拉西奥瓦的散文。海德堡：Physica Verlag。模糊软计算研究。24, 473-511 (1999).MSC公司：68层35 68T27型 03B80号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.Benferhat}等人，Stud.模糊软计算。24473--511（1999年；Zbl 0930.68149）
瓦格纳，格尔德 贝尔纳普的认知状态和否定即失败。 （英语） Zbl 0979.03030号 Wansing，Heinrich（编辑），《否定》。聚焦的概念。1994年9月7日至10日在德国莱比锡举行的Gesellschaft für Analytische Philosophie（GAP）会议分析2期间举行的跨学科研讨会论文集。柏林：De Gruyter。珀斯佩克。分析。菲洛斯。7, 233-261 (1996).MSC公司：03B60号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Wagner}，in：否定。聚焦的概念。1994年9月7日至10日在德国莱比锡举行的Gesellschaft für Analytische Philosophie（GAP）会议分析2期间举行的跨学科研讨会论文集。柏林：De Gruyter。233--261（1996年；Zbl 0979.03030）
Dov M.加巴伊。（编辑）;C.J.霍格。（编辑）;罗宾逊，J.A。（编辑） 人工智能和逻辑编程逻辑手册。第四卷：认识论和时间推理。 （英语） 兹伯利0819.03010 牛津：克拉伦登出版社。xvi，第611页（1995年）。 审核人：J.Šefránek（布拉迪斯拉发） MSC公司：03B45号 68T27型 03-06 68-06 03B60号 68-00 03-00 00年1月15日 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}（编辑）等人，《人工智能和逻辑编程逻辑手册》。第四卷：认识论和时间推理。牛津：克拉伦登出版社（1995；Zbl 0819.03010）
利奥波多·贝尔托西。 数据类型规范的数据逻辑中的界限。 （英语） Zbl 0802.68082号 J.日志。计算。 4，第1号，89-96（1994）.MSC公司：68问题65 03B80号 68层35 68T27型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{L.E.Bertossi}，J.Log。计算。4，编号1，89--96（1994；Zbl 0802.68082） 全文： 内政部 链接
威廉·罗迪。;斯蒂芬·皮门特尔。 使用稳定基的基于非单调假设的TMS。 （英语） Zbl 0765.68199号 知识表示和推理原理。第二届国际会议，剑桥/马萨诸塞州（美国）1991，485-495（1991）。MSC公司：68层35 PDF格式BibTeX公司 XML格式引用 \textit{W.L.Rodi}和\textit{S.G.Pimentel}，《知识表示和推理原理》。1991年4月22日至25日，美国马萨诸塞州坎布里奇市，第二届国际会议记录（KR’91）。加利福尼亚州圣马特奥：Morgan Kaufmann Publishers，Inc.，485--495（1991；Zbl 0765.68199）