×
作者ID: 尼梅拉·伊尔卡(niemela.ilkka-n-f)“Niemelä,Ilkka N.F.”最近发表的zbMATH文章
发布日期: 伊尔卡·尼梅尔;Niemelä,Ilkka N.F。;尼梅莱,I。
已编制索引的文档: 57出版物自1988年以来,包括1本书
3作为编辑的贡献
合著者: 36位合著者具有47联合出版物
787合著作者

按年份列出的出版物

zbMATH Open中包含的引文

52出版物有被引用642中的次445文件 引用人 年份
具有稳定模型语义的逻辑程序作为约束编程范式。 Zbl 0940.68018号
伊尔卡·尼梅尔
166
1999
扩展和实现稳定的模型语义。 Zbl 0995.68021号
帕特里克·西蒙斯;伊尔卡·尼梅尔;蒂莫·索尼宁
157
2002
在稳定模型语义中展开偏爱和析取。 Zbl 1367.68035号
汤米·詹胡宁;伊尔卡·尼梅尔;迪特马尔·塞佩尔;帕特里克·西蒙斯;你,嘉慧
26
2006
超级舞台。 Zbl 1427.03031号
彼得·鲍姆加特纳;乌尔里希·富巴赫;伊尔卡·尼梅尔
24
1996
作为可满足性的计划:计划搜索的并行计划和算法。 Zbl 1131.68099号
尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔
22
2006
使用基数和权重约束扩展Smodels系统。 Zbl 0979.68015号
伊尔卡·尼梅尔;帕特里克·西蒙斯
21
2000
权重约束规则的稳定模型语义。 Zbl 0952.68029号
伊尔卡·尼梅尔;帕特里克·西蒙斯;蒂莫·索尼宁
20
1999
Smodels系统。 Zbl 1010.68797号
托米·西尔贾宁;伊尔卡·尼梅尔
19
2001
具有单调抽象约束原子的逻辑程序。 Zbl 1142.68018号
维克多·马雷克。;伊尔卡·尼梅尔;特鲁什琴斯基,米洛斯奥
14
2008
用于最小模型推理的表格演算。 兹比尔1412.68247
伊尔卡·尼梅尔
12
1996
非析取答案集程序到命题子句的紧凑翻译。 Zbl 1326.68058号
汤米·詹胡宁;伊尔卡·尼梅尔
12
2011
用稳定模型检验有界LTL模型。 Zbl 1079.68058号
凯乔·赫尔扬科;伊尔卡·尼梅尔
11
2003
通过差分逻辑约简计算稳定模型。 兹比尔1258.68030
汤米·詹胡宁;伊尔卡·尼梅尔;马克·塞瓦列夫
10
2009
稳定模型和差异逻辑。 Zbl 1165.68338号
伊尔卡·尼梅尔
9
2008
基于SMT的定时系统归纳方法。 兹比尔1374.68293
罗兰·金德曼;汤米·琼蒂拉;伊尔卡·尼梅尔
9
2012
非单调推理:面向高效计算和实现。 Zbl 0991.03036号
尤尔根·迪克斯;乌尔里希·富巴赫;伊尔卡·尼梅尔
8
2001
经典规划的并行编码作为可满足性。 Zbl 1111.68660号
尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔
7
2004
布尔电路表方法中的无限制切割与限制切割。 Zbl 1086.03048号
马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔
7
2005
自认知逻辑的决策过程。 Zbl 0658.03009号
伊尔卡·尼梅尔
6
1988
走向自动认知推理。 Zbl 0789.68130号
伊尔卡·尼梅尔
5
1991
将子句学习纳入基于网格的随机SAT求解中。 Zbl 1190.68055号
安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔
5
2009
通过降低SAT来解决平价游戏。 Zbl 1279.68211号
凯乔·赫尔扬科;米萨Keinänen;马丁·兰格;伊尔卡·尼梅尔
4
2012
GNT–析取逻辑程序的求解器。 Zbl 1122.68372号
汤米·詹胡宁;伊尔卡·尼梅尔
4
2004
关于静态语义和析取语义的等价性及其计算。 Zbl 0973.68132号
黄铜,S。;J.迪克斯。;尼美拉,I。;Przymusinski,T.C。
4
2001
为分布式解决划分SAT实例。 Zbl 1306.68146号
安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔
4
2010
建构性的紧密扎根的自认知推理。 Zbl 0747.68087号
Niemelä,Ilkka N.F。
4
1991
关于自认知推理的可判定性和复杂性。 Zbl 0769.68111号
Niemelä,Ilkka N.F。
4
1992
具有单调基数原子的逻辑程序。 Zbl 1122.68380号
维克多·马雷克。;伊尔卡·尼梅尔;特鲁什琴斯基,米洛斯奥
2004
结构分支对小句学习SAT解题效率的影响:一项实验研究。 Zbl 1162.68655号
马蒂·Järvisalo;伊尔卡·尼梅尔
2008
使用普通程序的答案集解算器实现有序析取。 兹比尔1013.68060
格哈德·布鲁卡;伊尔卡·尼梅尔;托米·西尔贾宁
2002
BMC通过现场测定。 Zbl 1271.68138号
托尼·尤西拉;凯乔·赫尔扬科;伊尔卡·尼梅尔
2003
人工智能中的逻辑。第十二届欧洲会议,JELIA 2010,芬兰赫尔辛基,2010年9月13-15日。诉讼程序。 Zbl 1196.68010号
2010
在答案集程序转换中应用可见的强等价性。 Zbl 1357.68037号
汤米·詹胡宁;伊尔卡·尼梅尔
2012
基于模块的多语言约束建模框架。 兹比尔1258.68136
马蒂·Järvisalo;埃米利亚·奥伊卡里宁;汤米·詹胡宁;伊尔卡·尼梅尔
2009
作为非单调推理的统一基础的自认知逻辑。 Zbl 0840.03020号
伊尔卡·尼梅尔
2
1993
关于分层对非单调推理复杂性的影响。 Zbl 0820.03013号
伊尔卡·尼梅尔;尤西·林塔南
2
1994
回答集合编程,没有未经批准的否定。 Zbl 1185.68172号
伊尔卡·尼梅尔
2
2008
一种用于布尔电路可满足性检查的高效表绘制方法。 Zbl 0983.68176号
汤米·A·琼蒂拉。;伊尔卡·尼梅尔
2
2000
用于基准等价推理技术的难满足子句集。 Zbl 1116.68084号
哈里·哈帕德;马蒂·Järvisalo;佩特里·卡斯基;伊尔卡·尼梅尔
2
2006
用稳定模型检验有界ITL模型。 Zbl 1007.68515号
凯乔·赫尔扬科;伊尔卡·尼梅尔
2
2001
一种基于自认知推理的非单调推理决策方法。 Zbl 0826.03007号
伊尔卡·尼梅尔
2
1995
冲突驱动的XOR子句学习。 Zbl 1273.68322号
泰罗·莱廷;汤米·琼蒂拉;伊尔卡·尼梅尔
2
2012
利用奇偶推理扩展子句学习DPLL。 Zbl 1211.68385号
泰罗·莱廷;汤米·琼蒂拉;伊尔卡·尼梅尔
2
2010
逻辑编程和非单调推理。第七届国际会议,LPNMR 2004,美国佛罗里达州劳德代尔堡,2004年1月6日至8日。诉讼程序。 Zbl 1120.68006号
1
2004
一种在自认知推理中削弱消极自省的方案。 Zbl 0793.68145号
汤米·詹胡宁;伊尔卡·尼梅尔
1
1993
对随机搜索的搜索空间进行分区。 Zbl 1230.68180号
安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔
1
2011
答案集编程:解决搜索问题的声明性方法。 Zbl 1152.68415号
伊尔卡·尼梅尔
1
2006
将学习纳入基于网格的随机SAT求解。 Zbl 1169.68603号
安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔
1
2008
逻辑编程。2007年9月8日至13日在葡萄牙波尔图举行的第23届ICLP国际会议。诉讼程序。 Zbl 1129.68002号
1
2007
在答案集程序转换中应用可见强等价。 Zbl 1502.68059号
乔里·博曼森;汤米·詹胡宁;伊尔卡·尼梅尔
1
2020
关于测试答案集程序。 Zbl 1211.68383号
汤米·詹胡宁;伊尔卡·尼梅尔;Johannes Oetsch;约格·普勒;汉斯·托姆皮茨
1
2010
具有抽象约束原子的逻辑程序的强等价性。 Zbl 1327.68067号
刘国华;兰迪·戈贝尔;汤米·詹胡宁;伊尔卡·尼梅尔;你,嘉慧
1
2011
在答案集程序转换中应用可见的强等价性。 Zbl 1502.68059号
乔里·博曼森;汤米·詹胡宁;伊尔卡·尼梅尔
1
2020
基于SMT的定时系统归纳方法。 Zbl 1374.68293号
罗兰·金德曼;汤米·琼蒂拉;伊尔卡·尼梅尔
9
2012
通过降低SAT来解决平价游戏。 Zbl 1279.68211号
凯乔·赫尔扬科;米萨Keinänen;马丁·兰格;伊尔卡·尼梅尔
4
2012
在答案集程序转换中应用可见的强等价性。 Zbl 1357.68037号
汤米·詹胡宁;伊尔卡·尼梅尔
2012
冲突驱动的XOR子句学习。 Zbl 1273.68322号
泰罗·莱蒂宁;汤米·琼蒂拉;伊尔卡·尼梅尔
2
2012
非析取答案集程序到命题子句的紧凑翻译。 Zbl 1326.68058号
汤米·詹胡宁;伊尔卡·尼梅尔
12
2011
对随机搜索的搜索空间进行分区。 Zbl 1230.68180号
安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔
1
2011
具有抽象约束原子的逻辑程序的强等价性。 Zbl 1327.68067号
刘国华;兰迪·戈贝尔;汤米·詹胡宁;伊尔卡·尼梅尔;你,嘉慧
1
2011
为分布式解决划分SAT实例。 Zbl 1306.68146号
安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔
4
2010
人工智能中的逻辑。第十二届欧洲会议,JELIA 2010,芬兰赫尔辛基,2010年9月13-15日。诉讼程序。 Zbl 1196.68010号
2010
利用奇偶推理扩展子句学习DPLL。 Zbl 1211.68385号
泰罗·莱廷;汤米·琼蒂拉;伊尔卡·尼梅尔
2
2010
关于测试答案集程序。 Zbl 1211.68383号
汤米·詹胡宁;伊尔卡·尼梅尔;Johannes Oetsch;约格·普勒;汉斯·托姆皮茨
1
2010
通过差分逻辑约简计算稳定模型。 兹比尔1258.68030
汤米·詹胡宁;伊尔卡·尼梅尔;马克·塞瓦列夫
10
2009
将子句学习纳入基于网格的随机SAT求解中。 Zbl 1190.68055号
安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔
5
2009
基于模块的多语言约束建模框架。 Zbl 1258.68136号
马蒂·Järvisalo;埃米利亚·奥伊卡里宁;汤米·詹胡宁;伊尔卡·尼梅尔
2009
具有单调抽象约束原子的逻辑程序。 Zbl 1142.68018号
维克多·马雷克。;伊尔卡·尼梅尔;特鲁什琴斯基,米洛斯奥
14
2008
稳定的模型和差异逻辑。 Zbl 1165.68338号
伊尔卡·尼梅尔
9
2008
结构分支对小句学习SAT解题效率的影响:一项实验研究。 Zbl 1162.68655号
马蒂·Järvisalo;伊尔卡·尼梅尔
2008
回答集合编程,没有未经批准的否定。 Zbl 1185.68172号
伊尔卡·尼梅尔
2
2008
将学习纳入基于网格的随机SAT求解。 Zbl 1169.68603号
安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔
1
2008
逻辑编程。2007年9月8日至13日在葡萄牙波尔图举行的第23届ICLP国际会议。诉讼程序。 Zbl 1129.68002号
1
2007
在稳定模型语义中展开偏爱和析取。 Zbl 1367.68035号
汤米·詹胡宁;伊尔卡·尼梅尔;迪特马尔·塞佩尔;帕特里克·西蒙斯;你,嘉慧
26
2006
作为可满足性的计划:计划搜索的并行计划和算法。 Zbl 1131.68099号
尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔
22
2006
用于基准等价推理技术的难满足子句集。 Zbl 1116.68084号
哈里·哈帕德;马蒂·Järvisalo;佩特里·卡斯基;伊尔卡·尼梅尔
2
2006
答案集编程:一种解决搜索问题的声明性方法。 Zbl 1152.68415号
伊尔卡·尼梅尔
1
2006
布尔电路表方法中的无限制切割与限制切割。 Zbl 1086.03048号
马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔
7
2005
经典规划的并行编码作为可满足性。 Zbl 1111.68660号
尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔
7
2004
GNT–析取逻辑程序的求解器。 Zbl 1122.68372号
汤米·詹胡宁;伊尔卡·尼梅尔
4
2004
具有单调基数原子的逻辑程序。 兹比尔1122.68380
维克多·马雷克。;伊尔卡·尼梅尔;特鲁什琴斯基,米洛斯奥
2004
逻辑编程和非单调推理。第七届国际会议,LPNMR 2004,美国佛罗里达州劳德代尔堡,2004年1月6日至8日。诉讼程序。 Zbl 1120.68006号
1
2004
用稳定模型检验有界LTL模型。 Zbl 1079.68058号
凯乔·赫尔扬科;伊尔卡·尼梅尔
11
2003
BMC通过现场测定。 Zbl 1271.68138号
托尼·尤西拉;凯乔·赫尔扬科;伊尔卡·尼梅尔
2003
扩展和实现稳定的模型语义。 Zbl 0995.68021号
帕特里克·西蒙斯;伊尔卡·尼梅尔;蒂莫·索尼宁
157
2002
使用普通程序的答案集解算器实现有序析取。 Zbl 1013.68060号
格哈德·布鲁卡;伊尔卡·尼梅尔;托米·西尔贾宁
2002
Smodels系统。 Zbl 1010.68797号
托米·西尔贾宁;伊尔卡·尼梅尔
19
2001
非单调推理:面向高效计算和实现。 Zbl 0991.03036号
尤尔根·迪克斯;乌尔里希·富巴赫;伊尔卡·尼梅尔
8
2001
关于静态语义和析取语义的等价性及其计算。 Zbl 0973.68132号
黄铜,S。;J.迪克斯。;尼美拉,I。;Przymusinski,T.C。
4
2001
用稳定模型检验有界ITL模型。 Zbl 1007.68515号
凯乔·赫尔扬科;伊尔卡·尼梅尔
2
2001
使用基数和权重约束扩展Smodels系统。 兹比尔0979.68015
伊尔卡·尼梅尔;帕特里克·西蒙斯
21
2000
提出一种布尔电路可满足性检查的有效表方法。 Zbl 0983.68176号
汤米·A·琼蒂拉。;伊尔卡·尼梅尔
2
2000
具有稳定模型语义的逻辑程序作为约束编程范式。 Zbl 0940.68018号
伊尔卡·尼梅尔
166
1999
权重约束规则的稳定模型语义。 Zbl 0952.68029号
伊尔卡·尼梅尔;帕特里克·西蒙斯;蒂莫·索尼宁
20
1999
超级舞台。 Zbl 1427.03031号
彼得·鲍姆加特纳;乌尔里希·富巴赫;伊尔卡·尼梅尔
24
1996
用于最小模型推理的表格演算。 Zbl 1412.68247号
伊尔卡·尼梅尔
12
1996
一种基于自认知推理的非单调推理决策方法。 Zbl 0826.03007号
伊尔卡·尼梅尔
2
1995
关于分层对非单调推理复杂性的影响。 Zbl 0820.03013号
伊尔卡·尼梅尔;尤西·林塔南
2
1994
作为非单调推理的统一基础的自认知逻辑。 Zbl 0840.03020号
伊尔卡·尼梅尔
2
1993
一种在自认知推理中削弱消极自省的方案。 兹伯利0793.68145
汤米·詹胡宁;伊尔卡·尼梅尔
1
1993
关于自认知推理的可判定性和复杂性。 Zbl 0769.68111号
Niemelä,Ilkka N.F。
4
1992
走向自动认知推理。 Zbl 0789.68130号
伊尔卡·尼梅尔
5
1991
建构性的紧密扎根的自认知推理。 Zbl 0747.68087号
Niemelä,Ilkka N.F。
4
1991
自认知逻辑的决策过程。 Zbl 0658.03009号
伊尔卡·尼梅尔
6
1988
全部的 前5名

577位作者引用

33 托尔斯滕·绍布(Torsten H.Schaub)。
24 马丁·格布瑟
21 佩德罗·卡巴拉尔
21 托马斯·艾特
18 汤米·詹胡宁
17 尼古拉·利昂
16 豪尔赫·范丁诺
16 弗朗西斯科·里卡
15 马里奥·阿尔维亚诺
15 尤利亚·利勒
15 马可·马拉提亚
14 卡明·多达罗
14 沃尔夫冈·费伯
12 埃斯拉·埃尔登
12 斯特凡·沃尔特兰
11 弗拉基米尔·利夫希茨
11 儿子Tran Cao
11 你,嘉慧
10 迈克尔·盖尔芬德
10 Niemelä,Ilkka N.F。
10 恩里科·蓬泰利
9 杰弗里·布赖恩·雷梅尔
9 特鲁什琴斯基,米洛斯奥
8 彼得·鲍姆加特纳
8 迈克尔·芬克
8 罗兰·卡明斯基
8 本杰明·考夫曼
8 林方珍
8 吉尔伯托·佩雷斯
8 康塞普西翁·维达尔
7 费利西达·阿瓜多
7 巴特·博加特
7 弗朗西斯科·卡利默里
7 亚历山德罗·西马蒂
7 马蒂·Järvisalo
7 Lee,Joohyng先生
7 V.Wiktor马雷克
7 哈维尔·罗梅罗
7 沈一东
6 乔瓦尼·阿蒙多拉
6 马克·德内克
6 恩里科·金西格里亚
6 阿尔贝托·格里乔
6 托马斯·克伦瓦尔纳
6 张燕
6 周毅
5 尤尔根·迪克斯
5 约翰·克劳斯·费希特
5 安德烈亚·福米萨诺
5 乔瓦姆巴蒂斯塔·伊安尼
5 奥斯特罗夫斯基,马克斯
5 西蒙娜·佩里
5 克里斯托夫·雷德尔
5 彼得·舒勒
5 斯特凡诺·托内塔
5 袁丽燕
4 马塞洛·巴尔杜奇尼
4 奇塔·R·巴拉尔。
4 皮耶罗·安德里亚·博纳蒂
4 马可·卡多利
4 斯特凡妮娅·科斯坦蒂尼
4 马丁·迪盖兹
4 劳伦特·加西亚
4 格奥尔格·戈特洛布
4 吉安路易吉·格雷科
4 塞尔吉奥·格雷科
4 井上,Katsumi
4 法比奥·马萨奇
4 沃尔坎州帕托格鲁
4 杰拉尔德·菲弗
4 尤西·林塔南
4 恰基萨卡马
4 泽尼普·戈岑·萨里巴特
4 斯泽德,斯特凡
4 汉斯·托姆皮茨
4 阿古斯丁,巴尔韦德
4 约翰·彼得·沃纳
4 菲利普·旺科
穆苏诺里·班巴拉
雷切尔·本·埃利亚胡·佐哈里
奥拉夫·拜尔斯多夫
乔里·博曼森
玛丽亚·保拉(Maria Paola Bonacina)
格哈德·布鲁卡
詹姆斯·德尔格兰德。
阿戈斯蒂诺·多维尔
乌尔里希·富巴赫
劳拉·佐丹奴
凯乔·赫尔扬科
伊恩·霍洛克斯
汤米·A·琼蒂拉。
克莱尔·莱夫雷
恩里科·马格纳戈
托尼·曼奇尼
阿尔贝托·马泰利
迈克尔·莫拉克
塞尔吉奥·莫弗
路易吉·帕洛波利
尼古拉斯·佩尔蒂埃
塞巴斯蒂安·谢尔霍恩
…还有477位作者

按年份列出的引文