编辑配置文件(在新选项卡中打开) 迈克尔·马赫(Michael J.Maher)。 合著者距离 作者ID: 马赫·迈克尔-j 发布日期: 迈克尔·马赫(Michael J.Maher)。;马希尔,M.J。;迈克尔·马赫;马希尔,M。 更多。。。较少的 已编制索引的文档: 58出版物自1973年以来 2作为编辑的贡献 合著者: 34位合著者具有38联合出版物 1120名合作作者 全部的 前5名合著者 22 单作者的 11 格里戈里斯·安东尼奥 9 大卫·比林顿 8 圭多州长 8 Jean-Louis拉塞兹 6 德克萨斯州贾法 4 金·万豪酒店 4 彼得·詹姆斯·斯塔基 三 罗德尼·W·托珀。 三 王俊虎 2 马修·博蒙特 2 阿卜杜勒·萨塔尔 1 罗伯托·巴布蒂 1 亚历山大·布罗茨基 1 卡布雷拉,J.G。 1 成龙(Cheng,Long) 1 迈克尔·科迪什 1 吕克·德·雷德 1 托马斯·艾特 1 哈伊姆·盖夫曼 1 玛丽亚·加西亚·德拉班达 1 罗伯托·贾科巴齐 1 约翰·C·吉廷斯(John C.Gittins)。 1 黄,葛 1 弗朗西斯科·奥利维里 1 恩里科·蓬泰利 1 埃胡德·夏皮罗。 1 约翰·斯莱尼。 1 佐尔坦·索莫吉 1 伊利亚斯·塔赫马齐迪斯 1 特鲁什琴斯基,米洛斯奥 1 斯蒂芬·韦德 1 马克·华莱士。 1 沃尔什,托比 1 罗兰·H·C·雅普。 全部的 前5名系列 9 逻辑程序设计理论与实践 5 理论计算机科学 4 逻辑程序设计杂志 2 逻辑与计算杂志 2 约束条件 2 ACM计算逻辑事务 1 应用概率杂志 1 新一代计算 1 信息与计算 1 自动推理杂志 1 数学与人工智能年鉴 1 计算机基础理论 1 运筹学季刊 1 计算机科学课堂讲稿 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 字段 57 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 4 运筹学、数学编程(90-XX) 2 总体主题;集合(00-XX) 2 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 43出版物有被引用372中的次277文件 引用人▼ 年份▼ 重新审视统一。 Zbl 0645.68046号 J.-L.拉塞兹。;马希尔,M.J。;英国万豪酒店。 62 1988 可废止逻辑的论证语义。 兹比尔1067.03038 圭多州长;迈克尔·马赫(Michael J.Maher)。;格里戈里斯·安东尼乌;大卫·比林顿 35 2004 编程逻辑语义中的闭包和公平。 Zbl 0547.68034号 J.-L.拉塞兹。;马希尔,M.J。 31 1984 约束逻辑程序的语义。 兹伯利0920.68068 德克萨斯州贾法;迈克尔·马赫;金·万豪酒店;彼得·斯塔基 28 1998 约束逻辑编程:一项调查。 Zbl 0900.68127号 J·贾法。;马希尔,M.J。 28 1998 可废止逻辑的表示结果。 Zbl 1171.68740号 格里戈里斯·安东尼奥;大卫·比林顿;圭多州长;迈克尔·马赫(Michael J.Maher)。 27 2001 逻辑程序的等效性。 Zbl 0594.68011号 马希尔,M.J。 21 1986 具有相等性的完整逻辑程序的理论。 Zbl 0584.68021号 德克萨斯州贾法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 13 1984 关于线性算术约束的傅里叶算法。 Zbl 0781.90064号 Jean-Louis拉塞兹;迈克尔·J·马赫。 13 1992 命题可解逻辑具有线性复杂性。 Zbl 1066.68530号 迈克尔·马赫(Michael J.Maher)。 13 2001 项代数中否定的消除。 Zbl 0776.68070号 J.-L.拉塞兹。;马希尔,M。;英国万豪酒店。 12 1991 具有完美模型语义的演绎数据库模块的转换系统。 Zbl 0780.68022号 迈克尔·马赫(Michael J.Maher)。 11 1993 G12项目:将独立于求解器的模型映射到高效的解决方案。 Zbl 1165.68517号 彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;迈克尔·马赫;金·万豪酒店;约翰·斯莱尼;佐尔坦·索莫吉;马克·华莱士;托比·沃尔什 9 2005 逻辑程序的最佳定点。 Zbl 0584.68029号 J.-L.拉塞兹。;马希尔,M.J。 9 1985 可解逻辑的包含定理。 Zbl 1351.68261号 大卫·比林顿;格里戈里斯·安东尼奥;圭多州长;迈克尔·马赫 7 2010 修正非单调理论:可解逻辑的例子。 Zbl 0957.03017号 D.比林顿。;安东尼奥(G.Antoniou)。;G.州长。;马希尔,M。 6 1999 失效逻辑与无否定的逻辑编程之比较。 Zbl 0959.68117号 安东尼奥(G.Antoniou)。;马希尔,M.J。;D.比林顿。 5 2000 将不可行逻辑嵌入逻辑编程。 Zbl 1108.68027号 格里戈里斯·安东尼奥;大卫·比林顿;圭多州长;迈克尔·马赫(Michael J.Maher)。 4 2006 带注释的不可行逻辑。 Zbl 1422.68219号 Guido省Governatori;迈克尔·马赫(Michael J.Maher)。 三 2017 受约束的依赖项。 兹比尔0902.68042 迈克尔·马赫(Michael J.Maher)。 三 1997 面向约束数据库的实用查询评估。 Zbl 0889.68045号 亚历山大·布罗茨基;德克萨斯州贾法;迈克尔·马赫(Michael J.Maher)。 2 1997 投影CLP(\({\mathcal R}\))约束。 Zbl 0780.68013号 德克萨斯州贾法;迈克尔·马赫(Michael J.Maher)。;彼得·斯图基(Peter J.Stuckey)。;罗兰·H·C·雅普。 2 1993 具有完美模型语义的演绎数据库模块转换系统。 Zbl 0729.68014号 迈克尔·马赫(Michael J.Maher)。 2 1989 可废止逻辑的相对表达性。 Zbl 1260.68065号 迈克尔·马赫(Michael J.Maher)。 2 2012 关于“逻辑程序的一般故障”的评论。 Zbl 0596.68014号 德克萨斯州贾法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 2 1986 用于建模和解决区间代数问题的局部搜索方法。 Zbl 1085.68154号 J.桑顿。;博蒙特,M。;A.萨塔尔。;迈克尔·马赫 2 2004 反应约束的传播完整性。 Zbl 1045.68529号 迈克尔·马赫(Michael J.Maher)。 2 2002 Prolog的Oracle语义。 Zbl 1096.68583号 罗伯托·巴布蒂;迈克尔·科迪什;罗伯托·贾科巴齐;迈克尔·马赫(Michael J.Maher)。 2 1995 可废止逻辑的相对表达性。二、。 Zbl 1286.68052号 迈克尔·马赫(Michael J.Maher)。 2 2013 关于循环结构的归纳推理。 Zbl 0855.68023号 迈克尔·马赫(Michael J.Maher)。;彼得·斯塔基。 1 1995 有界世界中的开放约束。 Zbl 1241.68103号 迈克尔·马赫(Michael J.Maher)。 1 2009 可废止逻辑中可证明性的研究。 Zbl 0928.03029号 马希尔,M.J。;安东尼奥(G.Antoniou)。;D.比林顿。 1 1998 为基于逻辑的形式添加约束。 Zbl 0979.68518号 迈克尔·马赫(Michael J.Maher)。 1 1999 可解逻辑的指称语义。 Zbl 0983.68185号 迈克尔·马赫(Michael J.Maher)。 1 2000 用析取约束元组生成依赖进行推理。 Zbl 0988.68736号 王俊虎;罗德尼·托珀;迈克尔·马赫 1 2001 重新思考不可行推理:一种可扩展的方法。 Zbl 1472.68191号 迈克尔·马赫(Michael J.Maher)。;伊利亚斯·塔赫马齐迪斯;格里戈里斯·安东尼奥;斯蒂芬·韦德;成龙(Cheng,Long) 1 2020 软全局约束的可压缩性和可压缩近似。 Zbl 1237.68046号 迈克尔·马赫(Michael J.Maher)。 1 2010 约束满足和约束求解的综合。 Zbl 1273.68354号 迈克尔·马赫(Michael J.Maher)。 1 2003 扩展CSP的本地一致性。 Zbl 1187.68556号 迈克尔·马赫(Michael J.Maher)。 1 2009 线性算术约束的诱拐。 Zbl 1165.68493号 迈克尔·马赫(Michael J.Maher)。 1 2005 将不可行逻辑嵌入到逻辑程序中。 Zbl 1045.68130号 格里戈里斯·安东尼奥;迈克尔·马赫(Michael J.Maher)。 1 2002 战略论证。 Zbl 1516.68093号 圭多州长;迈克尔·马赫(Michael J.Maher)。;弗朗西斯科·奥利维埃里 1 2021 关于计算约束外推答案。 Zbl 1182.68046号 迈克尔·马赫;黄,葛 1 2008 战略论证。 Zbl 1516.68093号 圭多州长;迈克尔·马赫(Michael J.Maher)。;弗朗西斯科·奥利维埃里 1 2021 重新思考不可行推理:一种可扩展的方法。 Zbl 1472.68191号 迈克尔·马赫(Michael J.Maher)。;伊利亚斯·塔赫马齐迪斯;格里戈里斯·安东尼奥;斯蒂芬·韦德;成龙(Cheng,Long) 1 2020 带注释的不可行逻辑。 兹比尔1422.68219 圭多州长;迈克尔·马赫(Michael J.Maher)。 三 2017 可废止逻辑的相对表达性。二、。 Zbl 1286.68052号 迈克尔·马赫(Michael J.Maher)。 2 2013 可废止逻辑的相对表达性。 Zbl 1260.68065号 迈克尔·马赫(Michael J.Maher)。 2 2012 不可行逻辑的一个包含定理。 Zbl 1351.68261号 大卫·比林顿;格里戈里斯·安东尼奥;Guido省Governatori;迈克尔·马赫 7 2010 软全局约束的可压缩性和可压缩近似。 Zbl 1237.68046号 迈克尔·马赫(Michael J.Maher)。 1 2010 有界世界中的开放约束。 Zbl 1241.68103号 迈克尔·马赫(Michael J.Maher)。 1 2009 扩展CSP的本地一致性。 Zbl 1187.68556号 迈克尔·马赫(Michael J.Maher)。 1 2009 关于计算约束外推答案。 Zbl 1182.68046号 迈克尔·马赫;黄,葛 1 2008 将不可行逻辑嵌入逻辑编程。 Zbl 1108.68027号 格里戈里斯·安东尼奥;大卫·比林顿;圭多州长;迈克尔·马赫(Michael J.Maher)。 4 2006 G12项目:将独立于求解器的模型映射到高效的解决方案。 Zbl 1165.68517号 彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;迈克尔·马赫;金·万豪酒店;约翰·斯莱尼;佐尔坦·索莫吉;华莱士,马克;托比·沃尔什 9 2005 线性算术约束的推导。 Zbl 1165.68493号 迈克尔·马赫(Michael J.Maher)。 1 2005 可废止逻辑的论证语义。 Zbl 1067.03038号 圭多州长;迈克尔·马赫(Michael J.Maher)。;格里戈里斯·安东尼乌;大卫·比林顿 35 2004 用于建模和解决区间代数问题的局部搜索方法。 Zbl 1085.68154号 桑顿,J。;博蒙特,M。;A.萨塔尔。;迈克尔·马赫 2 2004 约束满足和约束求解的综合。 Zbl 1273.68354号 迈克尔·马赫(Michael J.Maher)。 1 2003 反应约束的传播完整性。 Zbl 1045.68529号 迈克尔·马赫(Michael J.Maher)。 2 2002 将不可行逻辑嵌入到逻辑程序中。 Zbl 1045.68130号 格里戈里斯·安东尼奥;迈克尔·马赫(Michael J.Maher)。 1 2002 可废止逻辑的表示结果。 Zbl 1171.68740号 格里戈里斯·安东尼奥;大卫·比林顿;圭多州长;迈克尔·马赫(Michael J.Maher)。 27 2001 命题可解逻辑具有线性复杂性。 Zbl 1066.68530号 迈克尔·马赫(Michael J.Maher)。 13 2001 用析取约束元组生成依赖进行推理。 Zbl 0988.68736号 王俊虎;罗德尼·托珀;迈克尔·马赫 1 2001 失效逻辑与无否定的逻辑编程之比较。 兹比尔0959.68117 安东尼奥(G.Antoniou)。;马希尔,M.J。;D.比林顿。 5 2000 可解逻辑的指称语义。 Zbl 0983.68185号 迈克尔·马赫(Michael J.Maher)。 1 2000 修正非单调理论:可解逻辑的例子。 Zbl 0957.03017号 比林顿,D。;安东尼奥(G.Antoniou)。;G·州长。;马希尔,M。 6 1999 为基于逻辑的形式添加约束。 Zbl 0979.68518号 迈克尔·马赫(Michael J.Maher)。 1 1999 约束逻辑程序的语义。 兹伯利0920.68068 德克萨斯州贾法;迈克尔·马赫;金·万豪酒店;彼得·斯塔基 28 1998 约束逻辑编程:一项调查。 Zbl 0900.68127号 J·贾法。;马希尔,M.J。 28 1998 可废止逻辑中可证明性的研究。 Zbl 0928.03029号 马希尔,M.J。;安东尼奥(G.Antoniou)。;D.比林顿。 1 1998 受约束的依赖项。 Zbl 0902.68042号 迈克尔·马赫(Michael J.Maher)。 三 1997 面向约束数据库的实用查询评估。 Zbl 0889.68045号 亚历山大·布罗茨基;德克萨斯州贾法;迈克尔·马赫(Michael J.Maher)。 2 1997 Prolog的Oracle语义。 Zbl 1096.68583号 罗伯托·巴布蒂;迈克尔·科迪什;罗伯托·贾科巴齐;迈克尔·J·马赫。 2 1995 关于循环结构的归纳推理。 Zbl 0855.68023号 迈克尔·马赫(Michael J.Maher)。;彼得·斯图基(Peter J.Stuckey)。 1 1995 具有完美模型语义的演绎数据库模块转换系统。 Zbl 0780.68022号 迈克尔·马赫(Michael J.Maher)。 11 1993 投影CLP(\({\mathcal R}\))约束。 兹比尔0780.68013 德克萨斯州贾法;迈克尔·马赫(Michael J.Maher)。;彼得·斯图基(Peter J.Stuckey)。;罗兰·H·C·雅普。 2 1993 关于线性算术约束的傅立叶算法。 Zbl 0781.90064号 Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 13 1992 项代数中否定的消除。 Zbl 0776.68070号 J.-L.拉塞兹。;马希尔,M。;英国万豪酒店。 12 1991 具有完美模型语义的演绎数据库模块转换系统。 Zbl 0729.68014号 迈克尔·马赫(Michael J.Maher)。 2 1989 重新审视统一。 Zbl 0645.68046号 J.-L.拉塞兹。;马希尔,M.J。;英国万豪酒店。 62 1988 逻辑程序的等效性。 Zbl 0594.68011号 马希尔,M.J。 21 1986 关于“逻辑程序的一般故障”的评论。 Zbl 0596.68014号 德克萨斯州贾法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 2 1986 逻辑程序的最佳定点。 Zbl 0584.68029号 J.-L.拉塞兹。;马希尔,M.J。 9 1985 编程逻辑语义中的闭包和公平。 Zbl 0547.68034号 J.-L.拉塞兹。;马希尔,M.J。 31 1984 具有相等性的完整逻辑程序的理论。 Zbl 0584.68021号 德克萨斯州贾法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 13 1984 所有引用出版物 前5名被引用出版物 全部的 前5名433位作者引用 13 圭多州长 11 迈克尔·J·马赫。 11 彼得·詹姆斯·斯塔基 8 玛丽亚·阿尔普特 8 安东尼诺·罗托洛 7 Jean-Louis拉塞兹 7 阿尔贝托·佩特罗西 7 毛里齐奥·普罗埃蒂 6 莱拉·阿姆古德 6 莫雷诺,法拉斯基 6 李维,乔治 6 莫雷诺,吉纳斯 6 德国维达尔 5 毛里齐奥·加布里埃利 5 何塞·梅塞盖尔·瓜伊塔 5 弗朗西斯科·奥利维里 5 卡图西亚帕拉米德斯 5 莱因哈德·皮克勒 5 苏布拉曼尼亚,V.S。 4 弗兰兹·巴德 4 克里斯塔尼·马特奥 4 托马斯·艾特 4 金·万豪酒店 4 詹姆·佩纳巴德 4 弗朗西丝卡·托尼 4 马克·华莱士。 三 奥费尔·阿列利 三 Jean-Paul,Delahaye 三 圣地亚哥埃斯科瓦尔 三 法比奥·菲奥拉万蒂 三 约翰·加拉赫(John P.Gallagher)。 三 罗伯托·贾科巴齐 三 乔治·戈特洛布 三 曼努埃尔五世(Manuel V.Hermenegildo)。 三 斯特芬·Hölldobler 三 帕斯卡尔·朱利安 三 弗雷德·梅斯纳德 三 尼禄,阿尼尔 三 埃蒂安·佩耶特 三 弗朗切斯科·兰扎托 三 雷吉斯·里维雷特 三 马里奥·罗德里格斯-阿塔莱霍 三 阿卜杜勒·萨塔尔 三 西蒙·斯坎纳皮科 三 吉列尔莫·里卡多·西马里 三 格特·斯莫尔卡 三 克里希纳·苏布拉马尼 三 迈克尔·泰尔舍尔 三 范德托雷,Leendert W.N。 2 艾尔维拉·阿尔伯特 2 格里戈里斯·安东尼奥 2 亚历山德罗·阿曼多 2 黛米斯·巴利斯 2 北拉宾德拉·班纳吉。 2 斯特凡诺·巴拉泰拉 2 菲利普·贝斯纳德 2 大卫·比林顿 2 霍华德·布莱尔。 2 圭多·波埃拉 2 安娜丽莎·博西 2 布兰德,塞巴斯蒂安 2 安德烈斯·布约萨 2 马丁·卡米纳达。 2 卡洛斯·伊万·切斯尼瓦尔 2 休伯特·科蒙 2 埃马努埃莱·德安吉利斯 2 德波尔(Frank S。 2 莱斯利·德科宁克 2 丹尼·德·施雷耶 2 拉斐尔·德尔瓦多·维塞达 2 阿戈斯蒂诺·多维尔 2 格雷戈里·杜克。 2 埃塔勒,桑德罗 2 玛丽贝尔·费尔南德斯 2 吉尔伯托·菲莱 2 劳拉·佐丹奴 2 安东尼·亨特 2 德克萨斯州贾法 2 比肖克桑·卡夫 2 瓦迪姆·卡根 2 马修·拉金。 2 弗雷德里克·迈尔 2 保罗·曼卡雷拉 2 玛丽亚·希亚拉(Maria Chiara Meo) 2 Masanori长岛 2 佩德罗·奥赫达 2 卡洛斯·奥拉特 2 费尔南多·奥雷贾斯 2 佩雷·帕尔多 2 唐·伦纳德·皮戈齐 2 加布里埃拉·皮戈齐 2 安德鲁·皮特斯(Andrew M.Pitts)。 2 雅各布·普钦格 2 罗马克里希南,C.R。 2 罗马克里希南,I.V。 2 萨尔瓦多鲁杰里 2 米歇尔·鲁西诺维奇 2 萨德里,法里巴 2 Masahiko酒井 2 大辅佐藤 …还有333位作者 全部的 前5名41篇连载文章中引用 62 理论计算机科学 25 逻辑程序设计理论与实践 18 人工智能 13 数学与人工智能年鉴 11 符号计算杂志 9 新一代计算 8 自动推理杂志 6 约束条件 5 计算机与系统科学杂志 5 信息与计算 5 国际近似推理杂志 4 应用非经典逻辑杂志 4 高阶和符号计算 4 应用逻辑杂志 三 信息处理信件 三 模糊集与系统 三 RAIRO公司。Informatique Théorique et Applications公司 2 信息学报 2 计算机与数学及其应用 2 信息科学 2 哲学逻辑杂志 2 纯逻辑与应用逻辑年鉴 2 计算的形式方面 2 逻辑、语言与信息杂志 2 函数编程杂志 2 计算机基础理论 2 逻辑与代数程序设计杂志 2 程序设计中的逻辑和代数方法杂志 1 最优化理论与应用杂志 1 Studia Logica公司 1 合成 1 国际智能系统杂志 1 运筹学年鉴 1 国际计算机科学基础杂志 1 模式识别 1 工程、通信和计算中的应用代数 1 应用的分类结构 1 调度日志 1 国际语义计算杂志 1 国际信息技术与决策杂志 1 非线性分析。理论、方法和应用 全部的 前5名11个领域引用 261 计算机科学(68至XX) 66 数学逻辑和基础(03-XX) 19 运筹学、数学编程(90-XX) 三 范畴理论;同调代数(18-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 总体主题;集合(00-XX) 2 一般代数系统(08-XX) 2 结合环与代数(16-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 群论与推广(20-XX) 1 凸和离散几何(52至XX) 按年份列出的引文