米盖尔·阿雷亚斯;里卡多·罗查 隐式和显式并发表计算的表空间设计。 (英语) Zbl 1452.68035号 理论与实践。日志。程序。 18,编号5-6,950-992(2018).MSC公司:68N17号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Areias}和\textit{R.Rocha},理论与实践。日志。程序。18、编号5--6950-992(2018;Zbl 1452.68035) 全文: 内政部 arXiv公司
圣托斯,焦奥;里卡多·罗查 关于多核集群的并行Prolog系统的实现。 (英语) Zbl 1379.68081号 理论与实践。日志。程序。 16,编号5-6,899-915(2016).MSC公司:68N17号 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Santos}和\textit{R.Rocha},理论与实践。日志。程序。16、编号5--6899--915(2016;Zbl 1379.68081) 全文: 内政部 arXiv公司
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);里卡多·罗查;保罗·莫拉 制表,合理的术语,和最后一起创造! (英语) 兹比尔1307.68019 理论与实践。日志。程序。 14,No.4-5,429-443(2014).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Mantadelis}等人,《理论与实践》。日志。程序。14、编号4--5、429--443(2014;Zbl 1307.68019) 全文: 内政部 arXiv公司
米盖尔·阿雷亚斯;里卡多·罗查 使用公共表空间实现多线程本地制表。 (英语) Zbl 1260.68056号 理论与实践。日志。程序。 12,编号4-5,427-443(2012).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Areias}和\textit{R.Rocha},理论与实践。日志。程序。12、编号4--5、427--443(2012;Zbl 1260.68056) 全文: 内政部 arXiv公司
弗拉维奥·克鲁兹;里卡多·罗查 逻辑程序包容表评估子目标的高效实例检索。 (英语) Zbl 1222.68055号 理论与实践。日志。程序。 11,No.4-5,697-712(2011).MSC公司:68N17号 68第05页 68周05 PDF格式BibTeX公司 XML格式引用 \textit{F.Cruz}和\textit{R.Rocha},理论与实践。日志。程序。11,编号4--5,697--712(2011;Zbl 1222.68055) 全文: 内政部 arXiv公司
米盖尔·阿雷亚斯;里卡多·罗查 结合基于线性的策略对逻辑程序进行表格评估。 (英语) Zbl 1222.68051号 理论与实践。日志。程序。 11,No.4-5,681-696(2011).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Areias}和\textit{R.Rocha},理论与实践。日志。程序。11、编号4--5、681--696(2011;Zbl 1222.68051) 全文: 内政部 arXiv公司
Angelika Kimmig;巴特·德梅恩;吕克·德·雷德;维托尔·桑托斯·科斯塔;里卡多·罗查 概率逻辑程序设计语言ProbLog的实现。 (英语) Zbl 1220.68037号 理论与实践。日志。程序。 11,编号2-3,235-262(2011).MSC公司:68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Kimmig}等人,《理论与实践》。日志。程序。11,编号2--3235-262(2011;Zbl 1220.68037) 全文: 内政部
弗拉维奥·克鲁兹;里卡多·罗查 基于回溯包容的逻辑程序表评估。 (英语) Zbl 1306.68006号 Janhunen,Tomi(编辑)等人,《人工智能中的逻辑》。第十二届欧洲会议,JELIA 2010,芬兰赫尔辛基,2010年9月13-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15674-8/pbk)。计算机科学课堂讲稿6341。人工智能课堂讲稿,130-142(2010)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Cruz}和\textit{R.Rocha},莱克特。注释计算。科学。6341、130--142(2010年;Zbl 1306.68006) 全文: 内政部
维托尔·桑托斯·科斯塔;杜特拉,因斯;里卡多·罗查 线程和或并行统一。 (英语) Zbl 1209.68088号 理论与实践。日志。程序。 10,No.4-6,417-432(2010).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Costa}等人,《理论与实践》。日志。程序。10,编号4--6417--432(2010;Zbl 1209.68088) 全文: 内政部 arXiv公司
米歇尔·费雷拉;努诺·A·丰塞卡。;里卡多·罗查;蒂亚戈·苏亚雷斯 使用演绎数据库系统对逻辑程序进行高效且可扩展的归纳。 (英语) Zbl 1201.68086号 Stephen Muggleton等人,《归纳逻辑编程》。2006年8月24日至27日在西班牙圣地亚哥举行的第16届国际劳工大会。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-540-73846-6/pbk)。计算机科学课堂讲稿4455。人工智能课堂讲稿,184-198(2007)。MSC公司:68T05型 68N17号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferreira}等人,Lect。注释计算。科学。4399,184--198(2007年;兹bl 1201.68086) 全文: 内政部
里卡多·罗查;费尔南多·席尔瓦;维托尔·桑托斯·科斯塔 在逻辑程序中应用或并行和表。 (英语) Zbl 1093.68021号 理论与实践。日志。程序。 5,第1-2号,161-205(2005).MSC公司:68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Rocha}等人,《理论与实践》。日志。程序。5,编号1--2,161-205(2005;Zbl 1093.68021) 全文: 内政部