×
作者ID: 斯利瓦·阿米“Sliva,Amy”最近发表的zbMATH文章
发布日期: 斯利瓦,艾米
已编制索引的文档: 7出版物自2007年起
合著者: 9合著者具有7联合出版物
264位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

6出版物有被引用17中的次11文件 引用人 年份
计算动作概率逻辑程序的最可能世界:(10^{30000})世界的可缩放估计。 Zbl 1138.68054号
萨米尔·库勒马丁内斯(M.Vanina Martinez)瑙,达纳斯利瓦,艾米杰拉尔多·西马里。苏布拉曼尼亚,V.S。
7
2007
在概率逻辑程序中集中最可能的世界计算。 Zbl 1260.68393号
杰拉尔多·西马里。Martinez、Maria Vanina斯利瓦,艾米苏布拉曼尼亚,V.S。
2012
时态数据库预测代数。 Zbl 1316.68049号
弗朗西斯科·帕里西斯利瓦,艾米苏布拉曼尼亚,V.S。
2013
概率逻辑程序中的并行溯源查询应答。 Zbl 1353.68038号
杰拉尔多·西马里。约翰·P·迪克森。斯利瓦,艾米苏布拉曼尼亚,V.S。
2
2013
注释概率时序逻辑中的诱拐。 Zbl 1245.68056号
克里斯蒂安·莫利纳罗斯利瓦,艾米苏布拉曼尼亚,V.S。
1
2011
超解:用溯因注释概率时序逻辑简洁地表示解。 兹比尔1354.68038
克里斯蒂安·莫里纳罗斯利瓦,艾米苏布拉曼尼亚,V.S。
1
2014
超解:用溯因注释概率时序逻辑简洁地表示解。 兹比尔1354.68038
克里斯蒂安·莫里纳罗斯利瓦,艾米苏布拉曼尼亚,V.S。
1
2014
时态数据库预测代数。 Zbl 1316.68049号
弗朗西斯科·帕里西斯利瓦,艾米苏布拉曼尼亚,V.S。
2013
概率逻辑程序中的并行溯源查询应答。 Zbl 1353.68038号
杰拉尔多·西马里。约翰·P·迪克森。斯利瓦,艾米苏布拉曼尼亚,V.S。
2
2013
在概率逻辑程序中集中最可能的世界计算。 Zbl 1260.68393号
杰拉尔多·西马里。Martinez、Maria Vanina斯利瓦,艾米苏布拉曼尼亚,V.S。
2012
注释概率时序逻辑中的诱拐。 Zbl 1245.68056号
克里斯蒂安·莫利纳罗斯利瓦,艾米苏布拉曼尼亚,V.S。
1
2011
计算动作概率逻辑程序的最可能世界:(10^{30000})世界的可缩放估计。 Zbl 1138.68054号
萨米尔·库勒马丁内斯(M.Vanina Martinez)瑙,达纳斯利瓦,艾米杰拉尔多·西马里。苏布拉曼尼亚,V.S。
7
2007

按年份列出的引文