伦纳德·博塔;托马斯·梅耶;拉斐尔·佩尼亚洛萨 概率描述逻辑（mathcal{BALC}）。 （英语） Zbl 1529.68285号 理论与实践。日志。程序。 21，第4号，404-427（2021）.MSC公司：第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Botha}等人，《理论与实践》。日志。程序。21，第4号，404--427（2021；Zbl 1529.68285） 全文： 内政部 arXiv公司
拉斐尔·佩尼亚洛萨;巴尔·塞尔特卡亚 理解轻量级描述逻辑中公理精确定位的复杂性。 （英语） Zbl 1419.68128号 Artif公司。智力。 250, 80-104 (2017).MSC公司：第68页第27页 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Peñaloza}和\textit{B.Sertkaya}，Artif。智力。250、80-104（2017；Zbl 1419.68128） 全文： 内政部
塞兰、伊斯梅尔·伊尔坎;拉斐尔·佩尼亚洛萨 贝叶斯本体语言（mathcal{BEL}）。 （英语） Zbl 1409.68278号 J.汽车。推理 58，第1号，67-95（2017）.MSC公司：第68页第27页 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Ceylan}和\textit{R.Peñaloza}，J.Autom。推理58，No.1，67--95（2017；Zbl 1409.68278） 全文： 内政部
Lisa Hutschenreiter;拉斐尔·佩尼亚洛萨 目标导向方法的自动机视图。 （英语） Zbl 1485.68144号 Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 103-114 (2017).MSC公司：65年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{L.Hutschenreiter}和\textit{R.Peñaloza}，莱克特。注释计算。科学。10168，103--114（2017；Zbl 1485.68144） 全文： 内政部 链接
斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 无限值哥德尔语义下非常富有表现力的描述逻辑中的推理算法。 （英语） Zbl 1404.68150号 国际J近似推理 83, 60-101 (2017).MSC公司：第68页第27页 03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.Borgwardt}和\textit{R.Peñaloza}，国际期刊近似推理83，60-101（2017；Zbl 1404.68150） 全文： 内政部 链接
若昂·西尔瓦侯爵;阿列克谢·伊格纳提耶夫;卡洛斯·门西娅;拉斐尔·佩尼亚洛萨 不一致Horn公式的有效推理。 （英语） Zbl 1483.68381号 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021336-352（2016年）。MSC公司：第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{J.Marques-Silva}等人，莱克特。注释计算。科学。10021、336--352（2016；Zbl 1483.68381） 全文： 内政部
阿里夫·M·法里德;卡洛斯·门西娅;阿列克谢·伊格纳提耶夫;诺伯特·曼恩;拉斐尔·佩尼亚洛萨;若昂·西尔瓦侯爵 BEACON：一个高效的基于SAT的工具，用于调试（\mathcal{EL}^+\）本体。 （英语） Zbl 1475.68368号 Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 521-530 (2016).MSC公司：68立方英尺 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Arif}等人，Lect。注释计算。科学。9710、521--530（2016年；Zbl 1475.68368） 全文： 内政部
马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 基于可满足性模理论的模糊答案集计算。 （英语） 兹比尔1379.68036 理论与实践。日志。程序。 15，编号4-5，588-603（2015）.MSC公司：68N17号 03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{R.Peñaloza}，理论与实践。日志。程序。15、编号4--5、588--603（2015；Zbl 1379.68036） 全文： 内政部 arXiv公司
安德烈亚斯·埃克;拉斐尔·佩尼亚洛萨;安妮·亚斯敏（Anni-Yasmin Turhan） 带有主观概率的描述逻辑（mathcal{ELOR}）的基于完备性的泛化推理。 （英语） Zbl 1433.68418号 国际J近似推理 55，第9期，1939-1970（2014）.MSC公司：第68页第27页 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{A.Ecke}等人，《国际近似推理》第55卷，第9期，1939-1970年（2014年；Zbl 1433.68418） 全文： 内政部
卡斯滕·莱曼;拉斐尔·佩尼亚洛萨 计算无限树上格自动机行为的复杂性。 （英语） Zbl 1314.68178号 西奥。计算。科学。 534, 53-68 (2014). 审核人：Michal Kunc（布尔诺） MSC公司：65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lehmann}和\textit{R.Peñaloza}，Theor。计算。科学。534、53--68（2014年；Zbl 1314.68178） 全文： 内政部
弗兰兹·巴德;拉斐尔·佩尼亚洛萨 基于自动原理的精确定位。 （英语） Zbl 1213.68589号 J.汽车。推理 45，第2期，91-129（2010）.MSC公司：第68页第27页 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{R.Peñaloza}，J.Autom。推理45，No.2，91--129（2010；Zbl 1213.68589） 全文： 内政部