托马索·弗拉米尼奥；路易斯·戈多；海克尔·霍斯尼 条件、概率和逻辑的布尔代数。 （英语） Zbl 1493.68349号 Artif公司。智力。 286，文章ID 103347，35 p.（2020）.MSC公司：68立方英尺 03B48号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Flaminio}等人，Artif。智力。286，文章ID 103347，35 p.（2020；Zbl 1493.68349） 全文： 内政部 arXiv公司
维尼萨·兰加内尼；萨希特·金塔拉普迪；奥伦·萨尔兹曼；马克西姆·利哈切夫 使用同伦类指导进行有效的足迹规划。 （英语） Zbl 1493.68358号 Artif公司。智力。 286，文章ID 103346，14 p.（2020）.MSC公司：68T40型 55N31号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Ranganeni}等人，Artif。智力。286，文章ID 103346，14 p.（2020；Zbl 1493.68358） 全文： 内政部 arXiv公司
马库斯·乌布利希特；马蒂亚斯·蒂姆；格哈德·布鲁卡 处理和测量非单调逻辑中的不一致性。 （英语） Zbl 1493.68345号 Artif公司。智力。 286，文章ID 103344，53 p.（2020）.MSC公司：68T27型 03B60号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Ulbricht}等人，Artif。智力。286，文章ID 103344，53 p.（2020；Zbl 1493.68345） 全文： 内政部
菲洛斯·拉特西卡斯，阿里斯；埃维·米查；亚历山大·沃杜利斯（Alexandros A.Voudouris）。 分布式投票的扭曲。 （英语） Zbl 1496.91047号 Artif公司。智力。 286，文章ID 103343，20 p.（2020）.MSC公司：91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Filos-Ratsikas}等人，Artif。智力。286，文章ID 103343，20页（2020；兹bl 1496.91047） 全文： 内政部 链接
Tran，Thi Phuong Thao先生；阿勒姆杜扎尔·库亚克里亚；瓦拉斯特·亚兹迪（Saeed Varasteh Yazdi）；保罗·霍尼恩；帕特里克·加里纳里 通过预图像估计进行可解释的时间序列核分析。 （英语） Zbl 1493.68319号 Artif公司。智力。 286，文章ID 103342，20 p.（2020）.MSC公司：68T05型 62H25个 62米10 PDF格式BibTeX公司 XML格式引用 \textit{T.P.T.Tran}等人，Artif。智力。286，文章ID 103342，20 p.（2020；Zbl 1493.68319） 全文： 内政部 链接
保罗·维亚皮亚尼；Craig Boutiler公司 关于最佳推荐集和短视最佳查询集的等价性。 （英语） Zbl 1493.68353号 Artif公司。智力。 286，文章ID 103328，61 p.（2020）.MSC公司：68层35 68层37 68单位35 91B06型 91B16号 PDF格式BibTeX公司 XML格式引用 \textit{P.Viappiani}和\textit{C.Boutiler}，Artif。智力。286，文章ID 103328，61 p.（2020；Zbl 1493.68353） 全文： 内政部 哈尔
里卡多·贡萨阿尔维斯；马蒂亚斯·克诺尔；约昂·莱特；斯特凡·沃尔特兰 答案集编程中遗忘的极限。 （英语） Zbl 1493.68350号 Artif公司。智力。 286，文章ID 103307，45 p.（2020）.MSC公司：68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Gonçalves}等人，Artif。智力。286，文章ID 103307，45 p.（2020；Zbl 1493.68350） 全文： 内政部
汉斯·范·迪特马什；范德霍克，威比；Louwe B.Kuijer。 说三道四的逻辑。 （英语） Zbl 1493.68346号 Artif公司。智力。 286，文章ID 103306，26 p.（2020）.MSC公司：68T27型 03B42号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人，Artif。智力。286，文章ID 103306，26 p.（2020；Zbl 1493.68346） 全文： 内政部 哈尔
安德烈斯·奥奇宾蒂·利伯曼；安德烈亚斯·阿琴；Rasmus Krmmer Rendsvig 一阶认知规划的动态术语模态逻辑。 （英语） 兹比尔1471.68274 Artif公司。智力。 286，文章ID 103305，32 p.（2020）; 勘误表同上，323，文章ID 103969，第4页（2023）。MSC公司：68T27型 03B42号 03B45号 68T20型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Occhipinti Liberman}等人，Artif。智力。286，文章ID 103305，32 p.（2020；Zbl 1471.68274） 全文： 内政部 arXiv公司