克雷格·麦克尼什（编辑）;大卫·皮尔斯（编辑）;路易斯·佩雷拉（Luis M.Pereira）。（编辑） 人工智能中的逻辑。1994年9月5日至8日，英国约克JELIA’94欧洲研讨会。诉讼程序。 （英语） Zbl 0849.00036号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：Springer-Verlag。ix，413 p.DM 80.00；öS 624.00；瑞士法郎80.00/sc（1994年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：戈特洛布，G。，从卡纳普的模态逻辑到自认知逻辑，1-18[Zbl 0988.03517号]Herre，H。，非单调推理运算的紧性，19-33[Zbl 0988.03522号]莫伊纳德，Y。；罗兰，R。，围绕着一个强大的界限属性，34-49[Zbl 0988.03521号]迪莫普洛斯，Y。，接头一致性计算值，50-65[Zbl 0988.68619号]阿拉文丹，C。；邓，P.M。，信念动力、绑架和数据库，66-85[Zbl 0988.68625号]玛丽·安妮·威廉姆斯，论理论基础变革的逻辑，86-105[Zbl 0988.03512号]Alferes，J.J。；佩雷拉，L.M。、信念、可证明性和逻辑程序，106-121[Zbl 0988.68615号]马雷克，V.W。；特鲁什琴斯基，M。，通过程序修订规范，122-136[Zbl 0988.68626号]Cees Witteveen；范德霍克，威比；汉斯·德·尼维尔，《非单调理论的修正：一些假设及其在逻辑编程中的应用》，137-151[兹伯利0988.68620]乌韦·彼得曼，具有刚性E-统一的完整连接演算，152-166[Zbl 0988.03506号]谢尔，R。，平等和受限决议，167-181[Zbl 0988.03509号]德姆里，S。，模态逻辑中自动推理的有效策略，182-197[Zbl 0988.03508号]阿奎莱拉，G。；德古兹曼，I.P。；奥杰达，M。，\（\text{TAS-D}^{+}\）：自动定理证明的语法树转换，198-216[Zbl 0988.68604号]汉斯·德·尼维尔，经典逻辑中分辨率的排序精化的统一，217-230[Zbl 0988.03507号]埃瓦州奥洛斯卡，两个逻辑维度（摘要），231[Zbl 0988.03527号]J.林丹恩。，优先自认知逻辑，232-246[Zbl 0988.68617号]布鲁卡，G。，向默认逻辑添加优先级和特定性，247-260[Zbl 0988.68614号]查塔利克，P。，将假设理论视为约束分级理论，261-278[Zbl 0988.68627号]恩格尔弗里特，J。；J.特雷尔。，推理的时间理论，279-299[Zbl 0988.03513号]乔治亚托斯，K。，计算树知识推理，300-315[Zbl 0988.68618号]格罗德·格罗伊，命题状态事件逻辑，316-331[Zbl 0988.03518号]德贾科莫，G。；伦泽里尼，M。，具有反向角色、功能限制和\（n \）元关系的描述逻辑，332-346[Zbl 0988.68621号]贝托西，L.E。；R·赖特。，关于类属对象的概念：非单调推理方法和示例，347-363[Zbl 0988.03523号]Przymusinski，T.C。，最小信念的自认知逻辑（摘要），364[Zbl 0988.68624号]Nonnengart，A。《如何在Prolog中使用模式和排序》，365-378[Zbl 0988.68510号]雅克·J·M。；蒙特罗，L。《面向逻辑编程中的资源处理：PPL框架及其语义》，379-399[Zbl 0988.68520号]科斯坦蒂尼，S。；Dell'Acqua，P。；Lanzarone，G.A。，通过反射原理扩展Horn子句理论，400-413[Zbl 0988.68616号] 引用于2评论 MSC公司： 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 68T27型 人工智能中的逻辑 关键词：约克（英国）;车间;诉讼;JELIA’94年;人工智能;逻辑 PDF格式BibTeX公司 XML格式引用 \textit{C.MacNish}（编辑）等人，《人工智能中的逻辑》。1994年9月5日至8日，英国约克JELIA’94欧洲研讨会。诉讼程序。柏林：施普林格（1994；Zbl 0849.00036）