安娜斯塔西娅·安娜斯塔西;卡洛斯五世·达马西奥。;格里戈里斯·安东尼奥;艾奥尼斯·帕乔拉基斯 RDF、规则和否定的Why-provenance信息。 (英语) Zbl 1357.68210号 安。数学。Artif公司。智力。 70,第3期,221-277(2014).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Analyti}等人,《数学年鉴》。Artif公司。智力。70,第3号,221--277(2014;Zbl 1357.68210) 全文: 内政部
达马西奥,C.V。;J.麦地那。;Ojeda-Aciego,M。 不完全信息逻辑程序的终止:应用程序和查询过程。 (英语) Zbl 1122.68025号 J.应用。日志。 5,第3期,435-458(2007).MSC公司:68N17号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{C.V.Damásio}等人,J.Appl。日志。5,第3号,435--458(2007;Zbl 1122.68025) 全文: 内政部