编辑配置文件(在新选项卡中打开) 劳伦斯·卡文登 合著者距离 作者ID: 警告.劳伦斯 发布日期: 劳伦斯·卡文登;卡文登,L。 已编制索引的文档: 6出版物自1989年起 2作为编辑的贡献 合著者: 12位合著者具有6联合出版物 160位合作作者 全部的 前5名合著者 2 单作者的 1 博阿勒姆·贝纳塔拉 1 帕特里克·布莱克本 1 尼克·布雷斯比 1 尼古拉斯·乔瓦特 1 亨德里克·德克尔 1 Fayek,Haytham M。 1 约翰·怀利·劳埃德 1 扎卡里亚·马马尔 1 大卫五世(David V.Pynadath)。 1 Atsuchi岛岛岛 1 米林德·塔姆贝 1 吴洪仁 系列 1 理论计算机科学 1 逻辑编程杂志 1 神经网络 1 CSLI课堂讲稿 1 多智能体系统、人工社会和模拟组织 领域 7 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 1 一般性和全局性主题;集合(00-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用22次18文件 引用人▼ 年份▼ SLDNF分解的完备性定理。 Zbl 0689.68107号 卡文登,L。;劳埃德,J.W。 13 1989 非循环逻辑程序和SLDNF解析的完整性。 Zbl 0738.68015号 劳伦斯·卡文登 5 1991 条件逻辑的信道理论模型。 Zbl 0877.03014号 劳伦斯·卡文登 2 1996 面向团队编程。 Zbl 0970.68692号 大卫·V·皮纳特。;米林德·塔姆贝;尼古拉斯·乔瓦特;劳伦斯·卡文登 2 2000 面向团队编程。 Zbl 0970.68692号 大卫五世(David V.Pynadath)。;米林德·塔姆贝;尼古拉斯·乔瓦特;劳伦斯·卡文登 2 2000 条件逻辑的信道理论模型。 Zbl 0877.03014号 劳伦斯·卡文登 2 1996 非循环逻辑程序和SLDNF解析的完整性。 Zbl 0738.68015号 劳伦斯·卡文登 5 1991 SLDNF分解的完备性定理。 Zbl 0689.68107号 卡文登,L。;劳埃德·J·W·。 13 1989 所有引用出版物 前5名被引用出版物 全部的 前5名22位作者引用 三 帕斯卡·希茨勒 2 斯特凡诺·巴拉泰拉 2 迈尔·卡拉奇 2 Gal A.卡明卡。 2 佐藤泰介 2 安东尼·卡雷尔·塞达 1 塞巴斯蒂安·巴德 1 劳伦斯·卡文登 1 阿戈斯蒂诺·科尔特斯 1 德拉本特,Włodzimierz 1 吉尔伯托·菲莱 1 斯特芬·Hölldobler 1 詹姆斯·J·卢。 1 迈克尔·马赫(Michael J.Maher)。 1 Maurizio Martelli 1 Ngo Huu Liem先生 1 Phan Minh Dung公司 1 西基、广岛 1 约翰·谢泼德森(John C.Shepherdson)。 1 苏布拉曼尼亚,V.S。 1 久崎田木 1 韦恩·沃布克 全部的 前5名9篇连载文章中引用 9 理论计算机科学 2 应用逻辑杂志 1 人工智能 1 圣母院形式逻辑杂志 1 符号计算杂志 1 新一代计算 1 自动推理杂志 1 数学与人工智能年鉴 1 计算智能 在2个字段中引用 18 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文