逻辑程序设计杂志 简短标题: J.日志。程序。 出版商: Elsevier Science Publishing Co.,Inc.(北荷兰),纽约 国际标准编号: 0743-1066 继承人: 逻辑与代数程序设计杂志 评论: 期刊;不再索引 已编制索引的文档: 456出版物(1984–2000) 全部的 前5名最新问题 462000年第1-2号 452000年第1-3号 442000年第1-3号 432000年第3期 432000年第2期 432000年第1期 422000年第3期 422000年第2期 422000年第1期 41,第2-3号(1999) 41,第1期(1999年) 40,第2-3号(1999) 40,第1期(1999年) 39,第1-3号(1999) 38,第3号(1999) 38,第2期(1999年) 38,第1期(1999年) 37,第1-3号(1998年) 36,第3号(1998年) 36,第2期(1998年) 36,第1期(1998年) 35,第3号(1998年) 35,第2期(1998年) 35,第1期(1998年) 34,第3号(1998年) 34,第2期(1998年) 34,第1期(1998年) 33,第3号(1997) 33,第2号(1997) 33,第1号(1997) 32,第3号(1997) 32,第2号(1997) 32,第1号(1997) 31,第1-3号(1997) 30,第3号(1997) 30,第2号(1997) 30,第1号(1997) 29,第1-3号(1996) 28,第3号(1996) 28,第2号(1996年) 28,第1号(1996) 27,第3号(1996) 27,第2号(1996年) 27,第1号(1996) 26,第3号(1996) 26,第2号(1996年) 26,第1号(1996) 25,第3号(1995年) 251995年第2期 25,第1期(1995年) 24,第3号(1995年) 24,第1-2号(1995) 23,第3号(1995年) 231995年第2期 23,第1期(1995年) 22,第3号(1995年) 221995年第2期 22,第1期(1995年) 211994年第3期 21,第2号(1994年) 211994年第1期 19-20(1994) 181994年第3期 18,第2号(1994年) 181994年第1期 17,第2-4号(1993) 17,第1号(1993) 16,第3-4号(1993) 16,第1-2号(1993) 15,第4号(1993) 15,第3号(1993) 15,第1-2号(1993) 14,第3-4号(1992) 14,第1-2号(1992) 13,第4号(1992年) 13,第2-3号(1992年) 13,第1号(1992年) 12,第3期(1992年) 12,第1-2号(1992) 11,编号3-4(1991) 11,第2期(1991年) 11,第1期(1991年) 10,编号3-4(1991) 10,第2期(1991年) 10,第1期(1991年) 9,第2-3号(1990年) 9,第1期(1990年) 8,第3期(1990年) 8,第1-2号(1990) 7,第3期(1989年) 7,第1期(1989年) 6,第3期(1989年) 6,第1-2号(1989) 51988年第4期 51988年第3期 5,第2期(1988年) 5,第1期(1988年) 4(1987) 三(1986) 2(1985) 全部的 前5名作者 10 迈克尔·科迪什 9 丹尼·德·施雷耶 7 黛布拉,Saumya K。 7 约翰·怀利·劳埃德 7 金·万豪酒店 7 彼得·詹姆斯·斯塔基 7 帕斯卡·范·亨特利克 7 沃伦、大卫·斯科特 6 阿戈斯蒂诺·科尔特斯 6 适合,Melvin Chris 6 拉胡·拉马克里希南 5 奇塔·R·巴拉尔。 5 安娜丽莎·博西 5 莫里斯·布吕诺格 5 盖尔方德,迈克尔 5 曼努埃尔五世(Manuel V.Hermenegildo)。 5 巴拉特·贾亚拉曼 5 杰克·明克尔 5 佩德雷希·迪诺 5 约翰·谢泼德森。 5 范·埃姆登(Maarten H.van Emden)。 5 范·盖尔德,艾伦 4 罗兰·博尔。 4 陈伟东 4 马克·德内克 4 伊夫·迪维尔 4 尤尔根·迪克斯 4 Dov M.加巴伊。 4 劳拉·佐丹奴 4 井上,胜美 4 德克萨斯州贾法 4 安东尼斯·卡卡斯(Antonis C.Kakas)。 4 乔治·列维 4 迈克尔·马赫(Michael J.Maher)。 4 恰基萨卡马 4 埃胡德·夏皮罗。 4 苏布拉曼尼亚,V.S。 4 罗德尼·托波尔。 三 Krzysztof Rafal公寓 三 维罗妮卡·达尔 三 德博舍尔,科恩 三 巴特·德梅恩 三 莫雷诺,法拉斯基 三 吉尔伯托·菲莱 三 毛里齐奥·加布里埃利 三 让·H·盖利尔。 三 玛丽亚·加西亚·德拉班达 三 戈帕尔·古普塔 三 刘公九 三 波杜因勒·沙利埃 三 保罗·曼卡雷拉 三 阿尔贝托·马泰利 三 伯尔尼马滕斯 三 麦卡蒂·L·索恩 三 李·奈什 三 阿尔贝托·佩特罗西 三 毛里齐奥·普罗埃蒂 三 罗马克里希南,I.V。 三 雷蒙德·雷特 三 奥德·什穆埃利 三 Swift,Terrance公司 三 保罗·塔劳 三 沙洛姆·特苏尔 2 阿尔特·卡奇,哈桑 2 何塞·朱利奥·阿尔弗雷斯 2 艾萨克·巴尔宾 2 凯特丽尔·比里 2 彼得·比戈(Peter A.Bigot)。 2 亚历山大·波奇曼 2 安东尼·邦纳。 2 斯特凡·布拉斯 2 布埃诺,弗朗西斯科 2 简·乔米奇 2 William F.Clocksin。 2 尼科莱塔·科科 2 雅克·科恩 2 菲利普·W·达特。 2 皮埃尔·德兰萨特 2 梅赫迈特·丁卡斯 2 米雷尔·杜卡斯 2 E.W.埃尔科克。 2 桑德罗·埃塔利 2 弗朗索瓦·法赫斯 2 路易斯·法利尼亚斯·德尔·塞罗 2 杰拉德·费兰德 2 迈克尔·哈纳斯 2 Herre,Heinrich先生 2 Jieh乡 2 贾格尔,格哈德 2 塔达西·卡纳莫里 2 卡内拉基斯,巴黎克里斯托斯 2 迪帕克·卡普尔 2 国王,安迪 2 赫莱内·基什内尔 2 罗伯特·A·科瓦尔斯基。 2 伊芙琳娜·拉姆 2 Jean-Louis拉塞兹 2 尼古拉·利昂 2 Michael Leuschel先生 2 弗拉基米尔·利夫希茨 …还有486位作者 全部的 前5名领域 454 计算机科学(68至XX) 42 数学逻辑和基础(03-XX) 8 总体主题;集合(00-XX) 三 历史和传记(01-XX) 三 运筹学、数学规划(90-XX) 三 信息与通信理论、电路(94-XX) 2 数值分析(65-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 一般代数系统(08-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 354出版物有被引用4040中的次2404文件 引用人▼ 年份▼ 用于测试命题Horn公式可满足性的线性时间算法。 Zbl 0593.68062号 威廉·F·道林。;让·H·盖利尔。 229 1984 归纳逻辑程序设计:理论和方法。 Zbl 0816.68043号 斯蒂芬·马格尔顿;吕克·德·雷德 121 1994 逻辑程序的抽象解释和应用。 Zbl 0776.68024号 帕特里克·库索特;拉迪亚·库索特 115 1992 逻辑程序的Kripke-Kleene语义。 Zbl 0589.68011号 配件,梅尔文 111 1985 双边性和逻辑编程的语义。 Zbl 0757.68028号 配件,梅尔文 102 1991 用逻辑程序表示动作和变化。 Zbl 0783.68024号 盖尔方德,迈克尔;弗拉基米尔·利夫希茨 89 1993 将函数集成到逻辑编程中:从理论到实践。 Zbl 0942.68526号 迈克尔·哈纳斯 72 1994 逻辑编程中的否定。 Zbl 0655.68018号 肯尼斯·库恩 70 1987 GOLOG:一种用于动态域的逻辑编程语言。 兹比尔0880.68008 Hector J.列夫斯克。;雷蒙德·雷特;伊夫·莱斯佩兰斯;林方珍;理查德·谢尔(Richard B.Scherl)。 68 1997 约束处理规则的理论与实践。 Zbl 0920.68029号 托姆·吕维思 56 1998 逻辑编程与否定:一项调查。 兹比尔0942.68518 Krzysztof R.阿普特。;罗兰·博尔。 53 1994 定量演绎及其不动点理论。 Zbl 0609.68068号 范·埃姆登,M.H。 52 1986 逻辑编程中的部分求值。 Zbl 0741.68030号 劳埃德·J·W·。;谢泼德森,J.C。 51 1991 Horn子句查询和归纳。 Zbl 0583.68058号 Ashok K·钱德拉。;大卫·哈雷尔 49 1985 mercury的执行算法,一种高效的纯声明性逻辑编程语言。 Zbl 0877.68015号 佐尔坦·索莫吉;弗格斯·亨德森;托马斯·康威 45 1996 逻辑编程和知识表示。 Zbl 0820.68028号 奇塔·巴拉尔;盖尔方德,迈克尔 44 1994 基于重写逻辑的声明性编程方法。 Zbl 0942.68060号 González-Moreno,J.C。;Hortalá-González,M.T。;F·J·洛佩斯·弗拉瓜斯。;罗德里格斯-阿塔莱霍,M。 43 1999 NRL协议分析器:概述。 Zbl 0871.68052号 凯瑟琳·梅多斯 40 1996 使PROLOG更具表现力。 Zbl 0584.68022号 劳埃德·J·W·。;托珀,R.W。 35 1984 魔法的力量。 Zbl 0722.68018号 凯特丽尔·比里;拉胡·拉马克里希南 35 1991 约束语言(cc(FD))的设计、实现和评估。 Zbl 0920.68026号 帕斯卡·范·亨特利克;萨拉斯瓦特,维杰;伊夫·迪维尔 33 1998 将区间算术应用于实数、整数和布尔约束。 Zbl 0882.68032号 弗雷德里克·本哈莫;威廉·J·奥尔德(William J.Older)。 33 1997 使用抽象解释的变量依赖的编译时派生。 兹比尔0776.68032 穆图库马尔,K。;Hermenegildo,M。 32 1992 逻辑编程的等式、类型、模块和(为什么不?)泛型。 Zbl 0575.68091号 约瑟夫·戈根(Joseph A.Goguen)。;何塞·梅塞盖尔 32 1984 析取逻辑程序的定点语义。 Zbl 0713.68016号 杰克·明克尔;阿科特·拉贾塞卡尔 32 1990 混合概率计划。 Zbl 0955.68020号 亚历克斯·德克蒂亚;苏布拉曼尼亚,V.S。 30 2000 作为高阶分辨率的自然演绎。 Zbl 0613.68035号 劳伦斯·C·鲍尔森。 29 1986 非单调知识库的动态更新。 Zbl 0957.68108号 J.J.阿尔弗雷斯。;莱特,J.A。;佩雷拉,L.M。;Przymusinska,H。;Przymusinski,T.C。 29 2000 HiLog:高阶逻辑编程的基础。 Zbl 0787.68017号 陈伟东;迈克尔·基弗;大卫·沃伦。 29 1993 通过否定作为失败而退缩:独立选择逻辑中的稳定模型。 Zbl 0957.68013号 普尔,大卫 28 2000 约束逻辑程序的语义。 Zbl 0920.68068号 德克萨斯州贾法;迈克尔·马赫;金·万豪酒店;斯塔基,彼得 28 1998 论统一的顺序性。 Zbl 0588.68045号 辛西娅·德沃克;Kanellakis,巴黎C。;约翰·米切尔(John C.Mitchell)。 28 1984 LOGIN:一种内置继承的逻辑编程语言。 兹伯利0599.68013 阿伊德·卡奇,哈桑;罗杰·纳斯尔 27 1986 逻辑程序的转换:基础和技术。 Zbl 0942.68528号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 26 1994 统一作为逻辑编程的复杂性度量。 Zbl 0641.68143号 A.伊泰。;Makowsky,J.A。 26 1987 解决逻辑编程中的大型组合问题。 Zbl 0719.68013号 梅赫迈特·丁卡斯;赫尔穆特·西蒙尼斯;帕斯卡·范·亨特利克 26 1990 用函数和谓词进行逻辑编程:BABEL语言。 Zbl 0754.68031号 莫雷诺·纳瓦罗,胡安·何塞;马里奥·罗德里格斯-阿塔莱霍 25 1992 命题公式可满足性的测试算法。 Zbl 0672.68044号 乔治·加洛;詹保罗·乌尔巴尼 25 1989 非单调逻辑复杂性结果综述。 Zbl 0784.68039号 马可·卡多利;马尔科·谢尔夫 24 1993 语义方法:理论和应用。 Zbl 0942.68527号 安娜丽莎·博西;毛里齐奥·加布里埃利;乔治·列维;Maurizio Martelli 24 1994 逻辑程序抽象解释的实用框架。 兹比尔0717.68010 莫里斯·布吕诺格 24 1991 稳定模型系列。 Zbl 0798.68096号 配件,梅尔文 23 1993 逻辑程序的终结:永无止境的故事。 Zbl 0820.68029号 丹尼·德·施雷耶;装饰,斯特凡 23 1994 否定即失败:克拉克的完整数据库与赖特的封闭世界假设的比较。 Zbl 0575.68094号 约翰·谢泼德森。 23 1984 N-PROLOG:具有假设含义的PROLOG的扩展。一、。 Zbl 0576.68001号 D.M.加巴伊。;美国雷尔。 23 1984 逻辑编程记录。 Zbl 0803.68021号 格特·斯莫尔卡;拉尔夫·特里宁 22 1994 首选的扩展是部分稳定模型。 Zbl 0769.68081号 A.C.卡卡斯。;曼卡雷拉,P。 22 1992 逻辑编程中对模块的逻辑分析。 Zbl 0681.68022号 戴尔·米勒 22 1989 \({\log\}):一种用有限集进行逻辑编程的语言。 Zbl 0874.68056号 阿戈斯蒂诺·多维尔;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;恩里科·蓬泰利;吉安弗兰科·罗西 22 1996 逻辑程序设计的论证理论基础。 Zbl 0816.68045号 潘明·邓 22 1995 在逻辑程序和缺省理论中表示动作:一种情境演算方法。 Zbl 0880.68010号 哈德森·特纳 21 1997 逻辑编程中的错误诊断,改编自E.Y.夏皮罗的方法。 Zbl 0623.68005号 杰拉德·费兰德 20 1987 逻辑程序中用于有充分根据的否定的过程语义。 Zbl 0773.68064号 Kenneth A.Ross。 20 1992 统一语法的特征约束逻辑。 Zbl 0754.68108号 格特·斯莫尔卡 20 1992 通过部分求值刻画析取稳定语义。 Zbl 0883.68082号 斯特凡·布拉斯;尤尔根·迪克斯 20 1997 关联部分演绎:基础、控制、算法和实验。 Zbl 0944.68025号 丹尼·德·施雷耶;罗伯特·格莱克;杰斯珀·约根森;Michael Leuschel先生;伯尔尼马滕斯;莫滕·海涅·瑟伦森 19 1999 否定是头脑中的失败。 Zbl 0905.68030号 井上,胜美;恰基萨卡马 19 1998 逻辑程序终止分析的语义基础。 Zbl 0948.68114号 迈克尔·科迪什;科哈维特·塔博克 18 1999 数据集成的递归查询计划。 Zbl 0949.68063号 Oliver M.杜希卡。;迈克尔·R·杰纳塞雷斯。;阿隆·利维。 18 2000 独立AND并行逻辑程序的静态分析。 Zbl 0776.68026号 院长雅各布斯;安诺·兰根 17 1992 抽象诊断。 Zbl 0947.68024号 马可·科米尼;乔治·列维;Maria Chiara Meo女士;朱利安娜·维蒂埃洛 17 1999 超度量空间和逻辑编程。 Zbl 0944.68027号 西比拉·克莱姆伯爵;保罗·里宾博伊姆 17 2000 N-PROLOG:带有假设含义的PROLOG的扩展。二、。逻辑基础,否定即失败。 Zbl 0595.68004号 D.M.加巴伊。 17 1985 溯源逻辑程序设计的iff证明过程。 兹伯利0890.68029 冯子豪;罗伯特·科瓦尔斯基 17 1997 完成的逻辑程序及其一致性。 Zbl 0715.68011号 大辅佐藤 17 1990 子句直觉逻辑。一: 固定点语义。 兹比尔0645.03006 麦卡蒂·L·索恩 16 1988 逻辑编程中否定的转换方法。 Zbl 0796.68056号 罗伯托·巴布蒂;保罗·曼卡雷拉;佩德雷希·迪诺;佛朗哥·都灵 16 1990 基于部分求值的(析取)逻辑程序语义。 Zbl 0946.68088号 斯特凡·布拉斯;尤尔根·迪克斯 16 1999 作为直觉有效性的稳定推理。 Zbl 0911.68136号 大卫·皮尔斯 16 1999 演绎分析的原理和实现。 Zbl 0866.68062号 斯图亚特·希伯(Stuart M.Shieber)。;伊夫·沙贝斯;费尔南多·佩雷拉。 15 1995 SLDNFA:诱拐逻辑程序的诱拐过程。 Zbl 0905.68025号 马克·德内克;丹尼·德·施雷耶 15 1998 逻辑语言和功能语言之间的关系:一项调查。 Zbl 0599.68014号 马可·贝利亚;乔治·列维 14 1986 否定为失败。二、。 Zbl 0603.68094号 约翰·谢泼德森。 14 1985 非确定性代数规范和非连续项重写。 Zbl 0763.68050号 海因里希·侯斯曼 14 1992 数据库应该知道什么? Zbl 0777.68035号 雷蒙德·雷特 14 1992 关联逻辑程序和属性文法。 Zbl 0586.68073号 皮埃尔·德兰萨特;马łuszynski,Jan 14 1985 在良好的语义基础上高效地进行自顶向下的查询计算。 Zbl 0866.68017号 陈伟东;Swift,Terrance公司;大卫·沃伦。 14 1995 逻辑程序的强终止。 Zbl 0787.68016号 马克·贝泽姆 14 1993 数据日志查询的等效性无法确定。 Zbl 0825.68352号 奥德·什穆埃利 14 1993 用于表格逻辑程序的高效访问机制。 Zbl 0911.68033号 罗马克里希南,I.V。;拉奥,普拉萨德;康斯坦蒂诺斯·萨戈纳斯;Swift,Terrance公司;大卫·沃伦。 14 1999 层次约束逻辑编程。 Zbl 0771.68038号 莫莉·威尔逊;艾伦·博宁 13 1993 走向内涵逻辑编程的统一理论。 Zbl 0754.68032号 穆罕默德·奥尔根(Mehmet A.Orgun)。;威廉·沃奇(William W.Wadge)。 13 1992 具有相等性的完整逻辑程序的理论。 Zbl 0584.68021号 德克萨斯州贾法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 13 1984 对一般逻辑程序使用严格推导作为失败的否定。 兹伯利0668.68108 范·盖尔德,艾伦 13 1989 SLDNF分解的完备性定理。 Zbl 0689.68107号 卡文登,L。;劳埃德·J·W·。 13 1989 数据日志程序的不确定有界性问题。 Zbl 0876.68021号 盖德·希勒布兰德(Gerd G.Hillebrand)。;Kanellakis,巴黎C。;Maison、Harry G。;莫舍·瓦尔迪。 13 1995 在clp(FD)中编译约束。 Zbl 0874.68054号 菲利普·科多涅特;丹尼尔·迪亚兹 13 1996 多项式可解可满足性问题的在线算法。 Zbl 0774.68053号 乔治·奥塞洛;意大利,朱塞佩·F·。 12 1991 分层数据库上查询的高效自下而上计算。 Zbl 0764.68012号 巴尔宾,I。;港口,G.S。;Ramamohanarao,K。;Meenakshi,K。 12 1991 针对受限、目标级、独立和并行的逻辑程序的编译时自动并行化。 兹伯利0927.68018 穆图库马尔,K。;布埃诺,F。;玛丽亚·加西亚·德拉班达;Hermenegildo,M。 12 1999 走向生命的意义。 Zbl 0782.68022号 阿尔特·卡奇,哈桑;安德烈亚斯·波德尔斯基 11 1993 演绎数据库系统的基础。 Zbl 0583.68056号 劳埃德·J·W·。;托珀,R.W。 11 1985 演绎数据库系统的基础。二、。 Zbl 0591.68087号 劳埃德,J.W。;托珀,R.W。 11 1986 关于dowling和Gallier自顶向下的命题Horn可满足性算法的注记。 Zbl 0705.68091号 玛丽亚·格拉齐亚·斯库特拉 11 1990 PROLOG的时间扩展。 Zbl 0787.68094号 托马斯·赫里切伊 11 1993 求解增量可满足性问题。 Zbl 0787.68049号 胡克,J.N。 11 1993 部分演绎中的循环检查。 Zbl 0780.68012号 罗兰波尔 11 1993 谓词逻辑程序的稳定模型。 Zbl 0836.68013号 V.Wiktor马雷克;尼禄,阿尼尔;杰弗里·雷梅尔(Jeffrey B.Remmel)。 10 1994 关于模态Horn子句可满足性的复杂性的注记。 Zbl 0624.03010号 路易斯·法利尼亚斯·德尔·塞罗;马蒂·彭顿 10 1987 诱拐事件演算规划师。 Zbl 0957.68106号 沙纳汉、默里 10 2000 混合概率程序。 Zbl 0955.68020号 亚历克斯·德克蒂亚;苏布拉曼尼亚,V.S。 30 2000 非单调知识库的动态更新。 Zbl 0957.68108号 J.J.阿尔弗雷斯。;莱特,J.A。;佩雷拉,L.M。;Przymusinska,H。;Przymusinski,T.C。 29 2000 通过否定作为失败而退缩:独立选择逻辑中的稳定模型。 Zbl 0957.68013号 普尔,大卫 28 2000 数据集成的递归查询计划。 Zbl 0949.68063号 Oliver M.杜希卡。;迈克尔·R·杰纳塞雷斯。;阿隆·利维。 18 2000 超度量空间和逻辑编程。 Zbl 0944.68027号 西比拉·克莱姆伯爵;保罗·里宾博伊姆 17 2000 诱拐事件演算规划师。 Zbl 0957.68106号 沙纳汉、默里 10 2000 ACLP:诱拐约束逻辑编程。 Zbl 0957.68017号 A.C.卡卡斯。;A.迈克尔。;C.穆拉斯。 7 2000 特刊:诱拐逻辑编程。 Zbl 0954.00015号 6 2000 逻辑程序共享分析的代数方法。 Zbl 0944.68029号 迈克尔·科迪什;维塔利湖;布埃诺,弗朗西斯科 6 2000 使用自顶向下期望的TMS计算诱因。 Zbl 0957.68018号 伊瓦亚马,诺博鲁;肯·佐藤 5 2000 失效逻辑与无否定的逻辑编程之比较。 Zbl 0959.68117号 安东尼奥(G.Antoniou)。;马希尔,M.J。;D.比林顿。 5 2000 表达能力描述语言和查询重写算法。 Zbl 0949.68064号 瓦萨洛斯,瓦西利斯;Yannis Papakonstantinou 4 2000 析取逻辑编程中基于论证的推理。 兹比尔0957.68021 王克文 4 2000 有理树上的对共享。 Zbl 0964.68017号 国王,安迪 4 2000 带cut的Prolog的操作语义和与目标无关的指称语义。 Zbl 0948.68030号 福斯托·斯波托 三 2000 一种抽象机器,用于有效计算对基础良好的模型的查询。 Zbl 0957.68019号 康斯坦蒂诺斯·萨戈纳斯;Swift,Terrance公司;大卫·沃伦。 三 2000 逻辑编程中的条件推理。 Zbl 0957.68014号 D.加巴伊。;佐丹奴,L。;A.马泰利。;北奥利韦蒂。;萨皮诺,M.L。 2 2000 重新排序CLP的抽象域(\(\operatorname{回复}_{Lin}\)程序。 Zbl 0952.68031号 拉马钱德兰,V。;Van Hentenryck,P。;科尔特斯,A。 2 2000 通过源代码检测跟踪序言程序足够有效。 Zbl 0951.68014号 米雷尔·杜卡斯;雅克·诺伊 2 2000 约束语言NCL简介。 Zbl 0957.68020号 周建阳 2 2000 元代理程序。 Zbl 0971.68155号 尤尔根·迪克斯;苏布拉曼尼亚,V.S。;选择,乔治 2 2000 外推逻辑程序设计和析取逻辑程序设计:它们之间的关系和可转移性。 Zbl 0957.68015号 恰基萨卡马;井上,胜美 1 2000 析取逻辑编程的一种溯源方法。 Zbl 0957.68016号 你,嘉慧;袁丽燕;兰迪·戈贝尔 1 2000 子集逻辑程序及其实现。 Zbl 0944.68028号 巴拉特·贾亚拉曼;明月,京熙 1 2000 过程间分析:比较。 Zbl 0951.68013号 赫尔穆特·塞德尔;克里斯蒂安·费希特 1 2000 通过结构解耦改进程序分析。 Zbl 0955.68021号 迈克尔·科迪什;金·万豪酒店;科哈维特·塔博克 1 2000 逻辑程序的简单多项式基础分析。 Zbl 0957.68022号 安迪·希顿;Abo Zaed,穆罕默德;迈克尔·科迪什;国王,安迪 1 2000 更多关于可处理析取数据日志的信息。 Zbl 0964.68057号 雷切尔·本·埃利亚胡·佐哈里;路易吉·帕洛波利;维多利亚州Zemlyanker 1 2000 基于重写逻辑的声明性编程方法。 Zbl 0942.68060号 González-Moreno,J.C。;Hortalá-González,M.T。;F·J·洛佩斯·弗拉瓜斯。;罗德里格斯-阿塔莱霍,M。 43 1999 关联部分演绎:基础、控制、算法和实验。 Zbl 0944.68025号 丹尼·德·施雷耶;罗伯特·格莱克;杰斯珀·约根森;Michael Leuschel先生;伯尔尼马滕斯;莫滕·海涅·瑟伦森 19 1999 逻辑程序终止分析的语义基础。 Zbl 0948.68114号 迈克尔·科迪什;科哈维特·塔博克 18 1999 抽象诊断。 Zbl 0947.68024号 马可·科米尼;乔治·列维;Maria Chiara Meo女士;朱利安娜·维蒂埃洛 17 1999 基于部分求值的(析取)逻辑程序语义。 Zbl 0946.68088号 斯特凡·布拉斯;尤尔根·迪克斯 16 1999 作为直觉有效性的稳定推理。 Zbl 0911.68136号 大卫·皮尔斯 16 1999 表逻辑程序的高效访问机制。 Zbl 0911.68033号 罗马克里希南,I.V。;拉奥,普拉萨德;康斯坦蒂诺斯·萨戈纳斯;Swift,Terrance公司;大卫·沃伦。 14 1999 针对受限、目标级、独立和并行的逻辑程序的编译时自动并行化。 兹伯利0927.68018 穆图库马尔,K。;布埃诺,F。;玛丽亚·加西亚·德拉班达;Hermenegildo,M。 12 1999 使用展开/折叠证明的逻辑程序的合成和转换。 Zbl 0944.68024号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 9 1999 抽象多重专门化及其在程序并行化中的应用。 Zbl 0944.68026号 普埃布拉,德国;曼纽尔·赫尔梅内吉尔多 7 1999 使用ILP系统进行数值推理,该系统能够进行惰性评估和定制搜索。 Zbl 0941.68018号 阿什温·斯里尼瓦桑;鲁伊·卡马乔 5 1999 演绎数据库中学习相关性的研究。 Zbl 0941.68019号 纳达·拉夫拉奇;德拉甘·甘伯格;维克托·乔瓦诺斯基 5 1999 递归逻辑程序的归纳综合:成就与展望。 Zbl 0949.68044号 皮埃尔·弗莱纳;是的,塞拉普 5 1999 鸦片:序言的可扩展跟踪分析器。 兹伯利0938.68023 米雷尔·杜卡斯 4 1999 共享是最佳的。 Zbl 0942.68610号 阿戈斯蒂诺·科尔特斯;吉尔伯托·菲莱 4 1999 逻辑编程和稳定模型计算中的极端问题。 Zbl 0927.68019号 巴维尔·乔莱温斯基;米罗斯瓦·特鲁什琴斯基 三 1999 逻辑程序验证。 兹伯利0947.68026 佩德雷希·迪诺;萨尔瓦多鲁杰里 三 1999 稳定的逻辑程序。 Zbl 0937.68020号 刘公九;马里奥·奥尔纳吉;斯坦·奥克·塔伦隆德 三 1999 通过示例引导展开来归纳逻辑程序。 Zbl 0941.68017号 亨利克·博斯特罗姆;彼得·阿尔奎斯特 2 1999 修改逻辑程序的复杂性。 Zbl 0937.68024号 拉塞尔·格雷纳 2 1999 用延迟声明终止逻辑程序。 Zbl 0947.68025号 埃琳娜·马尔奇奥里;Frank Teusink先生 2 1999 用于定义常规逻辑程序的组合语义的代数框架。 Zbl 0933.68031号 帕基·卢西奥;费尔南多·奥雷贾斯;埃尔维拉·皮诺 2 1999 LogiMOO:具有自然语言控制的可扩展多用户虚拟世界。 Zbl 0937.68022号 保罗·塔劳;德博舍尔,科恩;维罗妮卡·达尔;斯蒂芬·罗什福特 2 1999 深度优先逻辑程序的声明性语义。 Zbl 0941.68535号 比尔吉特·埃尔布尔 2 1999 (\lambda)Prolog的语用重建。 Zbl 0948.68027号 凯瑟琳·贝莱恩内;帕斯卡·布里塞特;奥利维尔·里杜 2 1999 有根据的语义下的建构否定。 Zbl 0937.68021号 刘,朱莉·尤奇;勒罗伊·亚当斯;陈伟东 1 1999 逻辑程序的高效目标导向自下而上评估。 Zbl 0937.68023号 迈克尔·科迪什 1 1999 使用正布尔函数进行最坏情况的基础性分析。 Zbl 0948.68028号 迈克尔·科迪什 1 1999 集合构造函数、有限集和逻辑语义。 兹比尔0911.68034 巴拉特·贾亚拉曼;德瓦希·贾纳 1 1999 约束处理规则的理论与实践。 Zbl 0920.68029号 托姆·吕维思 56 1998 约束语言(cc(FD))的设计、实现和评估。 Zbl 0920.68026号 帕斯卡·范·亨特利克;萨拉斯瓦特,维杰;伊夫·迪维尔 33 1998 约束逻辑程序的语义。 Zbl 0920.68068号 Joxan雅法;迈克尔·马赫;金·万豪酒店;斯塔基,彼得 28 1998 否定是头脑中的失败。 Zbl 0905.68030号 井上,胜美;恰基萨卡马 19 1998 SLDNFA:诱拐逻辑程序的诱拐过程。 Zbl 0905.68025号 马克·德内克;丹尼·德·施雷耶 15 1998 基础良好的语义的表格式解析。 Zbl 0905.68024号 罗兰·波尔;拉尔斯·德杰斯特德 8 1998 LPTP(一种逻辑程序定理证明器)的理论基础。 Zbl 0911.68030号 Robert F.Stärk。 6 1998 逻辑编程的逻辑基础I:双序列关系和非单调补全。 Zbl 0905.68032号 亚历山大·波奇曼 5 1998 具有整数周期约束的数据日志。 Zbl 0905.68034号 大卫·托曼;简·乔米奇 5 1998 区间缩小算法的动态优化。 Zbl 0920.68030号 奥利维尔·Lhomme;阿尔诺·哥特利布;米歇尔·鲁赫 4 1998 归纳逻辑程序设计中精化算子的完备性和适当性。 Zbl 0905.68027号 帕特里克·R·J·范德拉格。;Nienhuys-Cheng、Shan-Hwei 4 1998 具有非确定性选择的数据日志计算NDB-PTIME。 Zbl 0905.68031号 福斯卡·吉安诺蒂;佩德雷希·迪诺 4 1998 将非单调推理纳入约束逻辑编程的框架。 Zbl 0936.68018号 尤尔根·迪克斯;弗里德·斯托尔森堡 三 1998 反应约束逻辑编程实验。 Zbl 0920.68031号 弗朗索瓦·法赫斯;朱利安·福勒;索拉、蒂埃里 三 1998 使用基于约束的元解释器进行自动推理。 Zbl 0920.68098号 赫宁克里斯蒂安森 三 1998 将否定作为失败与逻辑程序中的嵌入含义相结合。 Zbl 0911.68027号 劳拉·佐丹奴;尼古拉·奥利维蒂 三 1998 逻辑程序分析中的微分方法。 Zbl 0905.68029号 玛丽亚·加西亚·德拉班达;金·万豪酒店;斯塔基,彼得;哈拉尔德·森德加德 三 1998 通过抽象解释进行逻辑程序中的多态类型分析。 Zbl 0905.68035号 卢、伦金 三 1998 证明逻辑程序终止的转换方法。 兹比尔0904.68040 拉奥·M·R·K·克里希纳;迪帕克·卡普尔;Shyamasundar,R.K。 2 1998 递归类型复杂对象的演绎查询语言。 Zbl 0905.68058号 理查德·赫尔;苏建文 2 1998 关系日志:带有集合和元组的数据日志的类型化扩展。 兹比尔0911.68031 刘梦驰 1 1998 通过对元企业的部分评估创建专门的完整性检查。 Zbl 0911.68028号 Michael Leuschel先生;丹尼·德·施雷耶 1 1998 逻辑编程的逻辑基础。二: 通用逻辑程序的语义。 Zbl 0918.68010号 亚历山大·波奇曼 1 1998 GOLOG:一种用于动态域的逻辑编程语言。 兹比尔0880.68008 Hector J.列夫斯克。;雷蒙德·雷特;伊夫·莱斯佩兰斯;林方珍;理查德·谢尔(Richard B.Scherl)。 68 1997 将区间算术应用于实数、整数和布尔约束。 Zbl 0882.68032号 弗雷德里克·本哈莫;威廉·J·奥尔德(William J.Older)。 33 1997 在逻辑程序和缺省理论中表示动作:一种情境演算方法。 Zbl 0880.68010号 哈德森·特纳 21 1997 通过部分求值刻画析取稳定语义。 Zbl 0883.68082号 斯特凡·布拉斯;尤尔根·迪克斯 20 1997 溯源逻辑程序设计的iff证明过程。 兹伯利0890.68029 冯子豪;罗伯特·科瓦尔斯基 17 1997 代表行动:法律、观察和假设。 Zbl 0882.68030号 奇塔·巴拉尔;盖尔方德,迈克尔;亚历山德罗·普罗维蒂 10 1997 用动作描述故事的简单陈述语言。 Zbl 0880.68009号 安东尼奥斯·卡卡斯;罗布·米勒 9 1997 关于并发操作的效果的推理。 Zbl 0882.68027号 奇塔·巴拉尔;盖尔方德,迈克尔 8 1997 协调事件演算和情况演算。 Zbl 0882.68028号 罗伯特·科瓦尔斯基;法里巴·萨德里 7 1997 通过删减的建设性否定。 Zbl 0882.68034号 弗朗索瓦·法赫斯 7 1997 通过推理规则进行更新。 兹伯利0884.68026 Przymusinski,Teodor C。;哈德森·特纳 6 1997 论情境演算与事件演算的关系。 Zbl 0883.68023号 克里斯托夫·范·贝列根;马克·德内克;丹尼·德·施雷耶 5 1997 规则作为动作:逻辑程序的情境演算语义。 Zbl 0882.68031号 林方珍;雷·赖特 5 1997 析取逻辑程序设计中的部分演绎。 Zbl 0883.68026号 恰基萨卡马;广久Seki 4 1997 显式和隐式不确定性:关于动态系统的不确定性和矛盾规范的推理。 Zbl 0883.68024号 斯文·埃里克(Sven-Erik Bornscheuer);迈克尔·泰尔舍尔 三 1997 析取逻辑程序的模型生成和状态生成。 Zbl 0882.68033号 迪特马尔·塞佩尔;杰克·明克尔;卡罗来纳州鲁伊斯 三 1997 有序特征理论的统一。 Zbl 0884.68025号 阿尔特·卡奇,哈桑;安德烈亚斯·波德尔斯基;塞斯·科本·戈尔茨坦 三 1997 逻辑程序和规范之间的关系——重温子集示例。 Zbl 0884.68031号 刘公九;马里奥·奥尔纳吉 三 1997 资金充足的有序搜索:对基础良好的模型进行目标导向的自下而上的评估。 Zbl 0883.68025号 彼得·斯图基(Peter J.Stuckey)。;苏达尔山,S。 2 1997 在逻辑程序分析中利用目标独立性。 Zbl 0883.68027号 迈克尔·科迪什;莫里斯·布吕诺格;玛丽亚·加西亚·德拉班达;曼纽尔·赫尔梅内吉尔多 2 1997 …还有254个文档 所有引用出版物 前5名被引用出版物 全部的 前5名2867位作者引用 34 曼努埃尔五世(Manuel V.Hermenegildo)。 30 托马斯·艾特 21 苏布拉曼尼亚,V.S。 19 井上,胜美 19 彼得·詹姆斯·斯塔基 19 德国维达尔 18 玛丽亚·阿尔普恩特 18 尼古拉·利昂 17 吕克·德·雷德 17 何塞·梅塞盖尔·瓜伊塔 16 奇塔·R·巴拉尔。 16 圣地亚哥埃斯科瓦尔 16 法布里西奥·里古齐 15 佩德罗·卡巴拉尔 15 丹尼·德·施雷耶 15 马克·德内克 15 弗拉基米尔·利夫希茨 14 盖尔方德,迈克尔 14 伊芙琳娜·拉姆 13 朱塞佩·德贾科莫 13 Dov M.加巴伊。 13 Hector J.列夫斯克。 13 何塞·弗朗西斯科·莫拉莱斯 13 阿尔贝托·佩特罗西 13 毛里齐奥·普罗埃蒂 13 汤姆·施里杰弗斯 13 特鲁什琴斯基,米洛斯奥 12 莫里斯·布吕诺格 12 德拉本特,Włodzimierz 12 格奥尔格·戈特洛布 12 约昂·莱特 12 V.Wiktor马雷克 12 Phan Minh Dung公司 12 恩里科·蓬泰利 12 迈克尔·泰尔舍尔 12 斯特凡·沃尔特兰 11 塞尔吉奥·安托伊 11 约翰·加拉赫(John P.Gallagher)。 11 佩德罗·洛佩兹·加西亚 11 Maria Chiara Meo女士 11 史蒂芬·H·马格尔顿。 11 恰基萨卡马 10 吉安卢卡·阿马托 10 Franz巴德 10 曼纽尔·卡罗 10 巴特·德梅恩 10 沃尔夫冈·费伯 10 莫雷诺,法拉斯基 10 安德烈亚·福米萨诺 10 迈克尔·哈纳斯 10 马蒂亚斯·克诺尔 10 乔治·列维 10 豪尔赫·洛博 10 梅洛,保拉 10 卡图西亚帕拉米德斯 10 弗朗西丝卡·托尼 10 你,嘉慧 9 恩德雷·博罗斯 9 维托尔·桑托斯·科斯塔 9 马丁·德·科克 9 阿戈斯蒂诺·多维尔 9 茨城,东芝 9 洛佩斯·弗拉瓜斯,弗朗西斯科·哈维尔 9 迈克尔·马赫(Michael J.Maher)。 9 Kazuhisa Makino 9 Przymusinski,Teodor C。 9 德国普埃布拉 9 马里奥·罗德里格斯-阿塔莱霍 9 托尔斯滕·绍布(Torsten H.Schaub)。 9 弗朗西丝卡·斯科扎里 9 格特·斯莫尔卡 9 帕斯卡·范·亨特利克 8 艾尔维拉·阿尔伯特 8 阿诺·阿夫隆 8 阿戈斯蒂诺·科尔特斯 8 斯特凡妮娅·科斯坦蒂尼 8 尤尔根·迪克斯 8 毛里齐奥·加布里埃利 8 林方珍 8 杰克·明克尔 8 莫雷诺,吉纳斯 8 毛里西奥·奥索里奥。 8 杰弗里·布赖恩·雷梅尔 8 帕诺斯·朗多吉安尼 8 詹姆·桑切斯·埃尔南德斯 8 Swift,Terrance公司 7 何塞·朱利奥·阿尔弗雷斯 7 Krzysztof Rafal公寓 7 安东尼奥·布罗吉 7 马可·卡多利 7 迭戈·卡尔瓦内斯 7 纳鸿·德肖维茨 7 迪迪埃·杜布瓦 7 法比奥·菲奥拉万蒂 7 适合,Melvin Chris 7 马可·加瓦内利 7 罗伯托·贾科巴齐 7 里卡多·贡萨阿尔维斯 7 塞尔吉奥·格雷科 7 斯特芬·Hölldobler …还有2767名作者 全部的 前5名167种期刊被引用 291 理论计算机科学 220 人工智能 172 逻辑程序设计理论与实践 125 数学与人工智能年鉴 60 自动推理杂志 59 信息与计算 56 新一代计算 50 机器学习 43 信息处理信件 43 计算机与系统科学杂志 38 符号计算杂志 38 国际近似推理杂志 38 应用非经典逻辑杂志 29 离散应用数学 27 Studia Logica公司 25 模糊集与系统 25 约束条件 23 应用逻辑杂志 22 纯逻辑与应用逻辑年鉴 22 计算的形式方面 14 哲学逻辑杂志 14 杰泰。实验与理论人工智能杂志 14 逻辑与代数程序设计杂志 14 ACM计算逻辑汇刊 13 信息科学 13 计算机科学与技术杂志 13 函数编程杂志 12 高阶和符号计算 11 符号逻辑杂志 11 程序设计中的逻辑和代数方法杂志 9 RAIRO公司。Informatique Théorique et Applications公司 9 系统设计中的形式化方法 9 计算机科学中的逻辑方法 8 信息学报 8 国际智能系统杂志 8 MSCS公司。计算机科学中的数学结构 8 逻辑、语言与信息杂志 7 国际计算机科学基础杂志 7 欧洲运筹学杂志 7 计算机语言、系统和结构 6 运筹学年鉴 5 计算机与数学及其应用 5 国际计算机数学杂志 5 数学逻辑档案 5 工程、通信和计算中的应用代数 5 中国科学。E系列 5 计算系统理论 5 计算机基础理论 4 合成 4 计算机程序设计科学 4 全球优化杂志 4 RAIRO公司。运筹学 4 国际不确定性、模糊性和基于知识的系统杂志 4 逻辑与逻辑哲学 三 凯贝内提卡 三 软件。实践与经验 三 算法 三 计算机与运筹学 三 数学和计算机建模 三 数学编程。A系列B系列 三 符号逻辑公报 三 机器学习研究杂志(JMLR) 2 比特币 2 计算 2 纯粹与应用代数杂志 2 圣母院形式逻辑杂志 2 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 2 控制论 2 运营研究信件 2 国际并行程序设计杂志 2 应用数学快报 2 随机结构与算法 2 神经计算 2 应用智能 2 控制论与系统分析 2 国际计算机与系统科学杂志 2 计算与数学组织理论 2 摘要与应用分析 2 数据挖掘与知识发现 2 OR光谱 2 计算语言学 2 泛逻辑 2 非线性分析。混合动力系统 2 数学规划计算 2 计算机科学前沿 2 非线性分析。理论、方法和应用 1 数学物理中的通信 1 离散数学 1 国际通用系统杂志 1 国际理论物理杂志 1 富兰克林学院学报 1 ACM数据库系统事务 1 混沌、孤子和分形 1 代数普遍性 1 应用数学与计算 1 Automatica公司 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 演示数学 1 信息 1 几何杂志 …还有67种期刊 全部的 前5名34个领域被引用 2,201 计算机科学(68至XX) 548 数学逻辑和基础(03-XX) 87 运筹学、数学规划(90-XX) 48 阶、格、有序代数结构(06-XX) 29 信息与通信理论、电路(94-XX) 27 组合数学(05-XX) 20 博弈论、经济学、金融和其他社会和行为科学(91-XX) 18 一般拓扑结构(54-XX) 18 统计学(62-XX) 17 数值分析(65-XX) 15 一般代数系统(08-XX) 15 生物学和其他自然科学(92-XX) 12 系统论;控制(93至XX) 10 历史和传记(01-XX) 6 范畴理论;同调代数(18-XX) 4 总体主题;集合(00-XX) 4 凸和离散几何(52至XX) 4 量子理论(81-XX) 三 功能分析(46倍X倍) 三 概率论与随机过程(60-XX) 2 场论和多项式(12-XX) 2 交换代数(13-XX) 2 结合环与代数(16-XX) 2 算子理论(47-XX) 1 数论(11-XX) 1 代数几何(14-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 群论与推广(20-XX) 1 常微分方程(34-XX) 1 动力系统和遍历理论(37至XX) 1 近似和展开(41至XX) 1 变分法与最优控制;最优化(49至XX) 1 几何图形(51至XX) 1 粒子和系统力学(70-XX) 按年份列出的引文