×

卡洛斯五世·达马西奥。

作者ID: 达马西奥·卡洛斯v最近由“Damásio,Carlos V。”撰写的zbMATH文章
发布日期: 卡洛斯五世·达马西奥。;哥伦比亚特区达马西奥。;卡洛斯·达马西奥;C.V.达马西奥。
已编制索引的文档: 8出版物自2002年起
合著者: 11位合著者具有8联合出版物
222名Co-Co作者

按年份列出的出版物

zbMATH Open中包含的引文

7出版物有被引用61中的次38文件 引用人 年份
不完全信息逻辑程序的终止:应用程序和查询过程。 Zbl 1122.68025号
哥伦比亚特区达马西奥。;J.麦地那。;Ojeda Aciego,M。
20
2007
分类多伴随逻辑程序:终止结果和应用。 Zbl 1111.68379号
哥伦比亚特区达马西奥。;J.麦地那。;Ojeda-Aciego,M。
19
2004
完备格上多值函数的不动点及其在广义逻辑程序中的应用。 Zbl 1183.68158号
翁贝托·斯特拉奇亚;曼纽尔·奥杰达·阿西戈;卡洛斯五世·达马西奥。
13
2009
扩展RDF作为规则标记语言的语义基础。 Zbl 1182.68157号
A·阿利安蒂。;安东尼奥(G.Antoniou)。;C.V.达马西奥。;G.瓦格纳。
6
2008
统计默认逻辑的实现。 Zbl 1111.68693号
格雷戈里·惠勒。;卡洛斯·达马西奥
1
2004
RDF、规则和否定的Why-provenance信息。 Zbl 1357.68210号
Anayti、Anastasia;卡洛斯五世·达马西奥。;格里戈里斯·安东尼乌;艾奥尼斯·帕乔拉基斯
1
2014
关于基于残差的一致性和基于双参数的一致性的概念。 Zbl 1347.68329号
卡洛斯五世·达马西奥。;尼科拉斯·马德里;Ojeda-Aciego,M。
1
2011
RDF、规则和否定的Why-provenance信息。 Zbl 1357.68210号
Anayti、Anastasia;卡洛斯五世·达马西奥。;格里戈里斯·安东尼乌;帕丘拉基斯,约阿尼斯
1
2014
关于基于残差的一致性和基于双参数的一致性的概念。 Zbl 1347.68329号
卡洛斯·达马西奥。;尼科拉斯·马德里;Ojeda-Aciego,M。
1
2011
完备格上多值函数的不动点及其在广义逻辑程序中的应用。 Zbl 1183.68158号
翁贝托·斯特拉奇亚;曼纽尔·奥杰达·阿西戈;卡洛斯五世·达马西奥。
13
2009
扩展RDF作为规则标记语言的语义基础。 Zbl 1182.68157号
A·阿利安蒂。;安东尼奥(G.Antoniou)。;C.V.达马西奥。;G.瓦格纳。
6
2008
不完全信息逻辑程序的终止:应用程序和查询过程。 Zbl 1122.68025号
哥伦比亚特区达马西奥。;J.麦地那。;Ojeda-Aciego,M。
20
2007
分类多伴随逻辑程序:终止结果和应用。 Zbl 1111.68379号
哥伦比亚特区达马西奥。;J.麦地那。;Ojeda-Aciego,M。
19
2004
统计默认逻辑的实现。 Zbl 1111.68693号
格雷戈里·惠勒。;卡洛斯·达马西奥
1
2004

按年份列出的引文