玛利亚·瓦尼娜,马丁内斯;弗朗西斯科·帕里西;安德烈·普格利泽;杰拉尔多·西马里一世。;苏布拉曼尼亚,V.S。 关系数据库中基于策略的不一致性管理。 (英语) Zbl 1316.68046号 国际J近似推理 55,第2期,501-528(2014).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Martinez}等人,《国际近似推理》55,第2期,501-528(2014;Zbl 1316.68046) 全文: 内政部
A.内罗德。;雷梅尔,J.B。;苏布拉曼尼亚,V.S。 带注释的非单调规则系统。 (英语) Zbl 0874.68276号 西奥。计算。科学。 171,编号1-2,111-146(1997).MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nerode}等人,Theor。计算。科学。171,编号1--2,111-146(1997;Zbl 0874.68276) 全文: 内政部
吴,Raymond;苏布拉曼尼亚,V.S。 在演绎数据库中支持主观概率和条件概率的语义框架。 (英语) Zbl 0784.68082号 J.汽车。推理 191-235(1993)第2期第10期.MSC公司:68T27型 68T99型 68问题55 第68页,共15页 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ng}和\textit{V.S.Subrahmanian},J.Autom。推理10,No.2,191--235(1993;Zbl 0784.68082) 全文: 内政部
苏布拉曼尼亚,V.S。 准一致析取演绎数据库。 (英语) Zbl 0745.68042号 西奥。计算。科学。 93,第1期,115-141(1992).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Subrahmanian},Theor。计算。科学。93,No.1,115--141(1992;Zbl 0745.68042) 全文: 内政部
吴,Raymond;苏布拉曼尼亚,V.S。 概率逻辑编程。 (英语) Zbl 0781.68038号 Inf.计算。 101,第2期,150-201(1992). 审核人:N.Zamov(喀山) MSC公司:68N17号 68T99型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Ng}和\textit{V.S.Subrahmanian},Inf.Compute。101,第2号,150--201(1992;Zbl 0781.68038) 全文: 内政部
牛顿·C·A·达·科斯塔。;劳伦斯·亨森。;詹姆斯·J·卢。;苏布拉曼尼亚,V.S。 亚相容逻辑中的自动定理证明:理论与实现。 (英语) Zbl 1509.03042号 Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 72-86 (1990).MSC公司:03B35型 03B53号 第68页,共15页 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}等人,Lect。注释计算。科学。449、72--86(1990年;Zbl 1509.03042) 全文: 内政部