大辅佐藤;井上，胜美 矩阵化DNF的可微学习及其在布尔网络中的应用。 （英语） Zbl 1518.68318号 机器。学习。 112，编号8，2821-2843（2023）.MSC公司：68T05型 06E30年 68问题32 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Sato}和\textit{K.Inoue}，马赫。学习。112，第8号，2821--2843（2023；Zbl 1518.68318） 全文： DOI程序 OA许可证
马蒂杰斯·贝特;萨姆·勒鲁;彼得·西蒙斯 通过逻辑约束推理进行反向强化学习。 （英语） Zbl 07730686号 机器。学习。 112，第7期，2593-2618（2023）.MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baert}等人，马赫。学习。112，第7号，2593--2618（2023；Zbl 07730686） 全文： DOI程序 链接
托尼·里贝罗;马克西姆·福舍特;摩根·马根;井上，胜美 学习逻辑程序表示的动态系统的任何无记忆离散语义。 （英语） Zbl 07624282号 机器。学习。 111，第10号，3593-3670（2022）.MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Ribeiro}等人，马赫。学习。111，编号10，3593-3670（2022；Zbl 07624282） 全文： DOI程序
阿什温·斯里尼瓦桑;迈克尔·贝恩;A.巴斯卡。 使用事件演算学习生物反馈延迟的解释。 （英语） Zbl 07624245号 机器。学习。 111，编号7，2435-2487（2022）.MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Srinivasan}等人，马赫。学习。111，编号7，2435--2487（2022；Zbl 07624245） 全文： DOI程序
安德鲁·克洛珀;塞巴斯蒂安杜曼奇奇;理查德·埃文斯;史蒂芬·H·马格尔顿。 30时的感应逻辑编程。 （英语） Zbl 07510309号 机器。学习。 111，第1期，第147-172页（2022年）.MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cropper}等人，马赫。学习。111，编号1，147--172（2022；Zbl 07510309） 全文： DOI程序 arXiv公司 OA许可证
高坤;王汉平;曹永志;井上，胜美 使用可微逻辑编程语义学习解释转换。 （英语） Zbl 07510308号 机器。学习。 111，第1期，第123-145页（2022年）.MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Gao}等人，马赫。学习。111，编号1，123--145（2022；Zbl 07510308） 全文： DOI程序
理查德·埃文斯;马特科·博什尼亚克;拉尔斯·布兴;凯文·埃利斯;大卫·普法;科利，普希米特;瑟格特，马雷克 理解原始输入。 （英语） Zbl 1520.68132号 Artif公司。智力。 299，文章ID 103521，36 p.（2021）.MSC公司：68时01分 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Evans}等人，Artif。智力。299，文章ID 103521，36 p.（2021；Zbl 1520.68132） 全文： DOI程序 OA许可证
理查德·埃文斯;何塞·埃尔南德斯·奥拉洛;约翰内斯·韦尔布尔;科利，普希米特;马雷克·塞尔戈特 理解感官输入。 （英语） Zbl 1519.68214号 Artif公司。智力。 293，文章ID 103438，41 p.（2021）.MSC公司：68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛R.Evans｝等人，人工制品。智力。293，文章ID 103438，41 p.（2021；Zbl 1519.68214） 全文： DOI程序 arXiv公司 OA许可证
柴新伟;托尼·里贝罗;摩根·马根;奥利维尔·鲁克斯;井上，胜美 可达性问题的静态分析和随机搜索。 （英语） Zbl 1458.92032号 Gupta，Ankit（编辑）等人，《2018年SASB会议记录》，第九届静态分析和系统生物学国际研讨会，德国弗莱堡，2018年8月28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。350, 139-158 (2020).MSC公司：92立方厘米 93英镑 93年1月15日 PDF格式BibTeX公司 XML格式引用 \textit{X.Chai}等人，《电子》。注释Theor。计算。科学。350、139--158（2020；Zbl 1458.92032） 全文： DOI程序
迈克尔·贝恩;阿什温·斯里尼瓦桑 使用元解释逻辑程序识别生物过渡系统。 （英语） Zbl 1461.68171号 机器。学习。 107，第7号，1171-1206（2018）.MSC公司：68T05型 68N17号 68问题55 68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Bain}和\textit{A.Srinivasan}，马赫。学习。107，第7号，1171--1206（2018；Zbl 1461.68171） 全文： DOI程序
法律，马克;亚历山德拉·拉索;俄罗斯布罗达 学习答案集程序的复杂性和通用性。 （英语） Zbl 1445.68206号 Artif公司。智力。 259, 110-146 (2018).MSC公司：68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Law}等人，Artif。智力。259、110——146（2018；Zbl 1445.68206） 全文： DOI程序 OA许可证
大卫·马丁内斯;阿莱尼·吉勒姆;托尼·里贝罗;井上，胜美;卡梅·托拉斯 针对具有外生效应的计划的关系强化学习。 （英语） Zbl 1434.68432号 J.马赫。学习。物件。 18（2017-2018），第78号论文，44页（2017）.MSC公司：68T05型 68N17号 68T20型 68T40型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Martínez｝等人，J.Mach。学习。第18号决议，第78号论文，44页（2017年；Zbl 1434.68432） 全文： 链接
法律，马克;亚历山德拉·拉索;俄罗斯布罗达 从上下文相关的示例中迭代学习答案集程序。 （英语） Zbl 1379.68074号 理论与实践。日志。程序。 16，编号5-6，834-848（2016）.MSC公司：68N17号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Law}等人，理论与实践。日志。程序。16、编号5--6834--848（2016；Zbl 1379.68074） 全文： DOI程序 arXiv公司
恰基萨卡马;托尼·里贝罗;井上，胜美 通过归纳法学习推理。 （英语） Zbl 1347.68292号 Inoue，Katsumi（编辑）等人，《归纳逻辑编程》。2015年8月20日至22日在日本京都举行的第25届国际会议，ILP 2015。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-40565-0/pbk；978-3-3169-40566-7/电子书）。计算机科学9575课堂讲稿。《人工智能课堂讲稿》，183-199（2016）。MSC公司：68T05型 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Sakama}等人，Lect。注释计算。科学。9575183-199（2016年；兹比尔1347.68292） 全文： DOI程序
法律，马克;亚历山德拉·拉索;俄罗斯布罗达 答案集程序的归纳学习。 （英语） Zbl 1432.68391号 Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，2014年JELIA，葡萄牙马德拉丰沙尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 311-325 (2014).MSC公司：68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Law}等人，Lect。注释计算。科学。8761、311--325（2014年；Zbl 1432.68391） 全文： DOI程序 链接