雷内·范·贝文；阿特姆·基里林（Artem M.Kirilin）。；丹尼尔·斯科科夫（Daniel A.Skachkov）。；帕维尔·斯米尔诺夫。；Tsidulko，Oxana Yu。 在GPU上实现了由Dilworth数参数化的多重命中集的串行和并行核化。 （英语） Zbl 07753728号 J.计算。系统。科学。 139，文章ID 103479，17 p.（2024）。MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.van Bevern}等人，J.Compute。系统。科学。139，文章ID 103479，17 p.（2024；Zbl 07753728） 全文： 内政部 arXiv公司
Gianvincenzo阿尔法诺；马可·卡劳蒂；塞尔吉奥·格雷科；弗朗西斯科·帕里西；伊琳娜·特鲁比西纳 概率和不完全抽象论证框架中的可解释接受性。 （英语） Zbl 07745364号 Artif公司。智力。 323，文章ID 103967，41 p.（2023）。MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{G.Alfano}等人，Artif。智力。323，文章ID 103967，41 p.（2023；Zbl 07745364） 全文： 内政部
马里奥·阿尔维亚诺；多达罗，胭脂红；佛罗伦萨，萨尔瓦多；亚历山德罗·普雷维蒂；弗朗西斯科·里卡 ASP和子集极小性：枚举、谨慎推理和MUS。 （英语） Zbl 07702961号 Artif公司。智力。 320，文章ID 103931，25 p.（2023）。MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，Artif。智力。320，文章ID 103931，25 p.（2023；Zbl 07702961） 全文： 内政部
安德烈亚斯·尼斯卡宁；杰里·穆斯托宁；杰里米亚斯·伯格；Järvisalo，马蒂 计算量化布尔公式的最小MUS。 （英语） Zbl 07671896号 Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13416, 301-314 (2022).MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niskanen}等人，Lect。票据计算。科学。13416，301-314（2022；Zbl 07671896） 全文： 内政部
圭多州长；弗朗西斯科·奥利维耶里；安东尼诺·罗托洛；克里斯塔尼·马特奥 对稳定解释的推断。 （英语） Zbl 07671892号 Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13416, 245-258 (2022).MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Governatori}等人，Lect。票据计算。科学。13416，245--258（2022；Zbl 07671892） 全文： 内政部
马里奥·阿尔维亚诺；多达罗，胭脂红；佛罗伦萨，萨尔瓦多；亚历山德罗·普雷维蒂；弗朗西斯科·里卡 WASP中最小模型和MUS的枚举。 （英语） 兹伯利07671876 Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13416, 29-42 (2022).MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，Lect。票据计算。科学。13416，29-42（2022；Zbl 07671876） 全文： 内政部
马库斯·乌布利希特；马蒂亚斯·蒂姆；格哈德·布鲁卡 处理和测量非单调逻辑中的不一致性。 （英语） 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） 全文： 内政部
雷内·范·贝文；帕维尔·斯米尔诺夫。 线性时间和空间中的（d\）-命中集的最优问题核。 （英语） Zbl 1462.68085号 信息处理。莱特。 163，文章ID 105998，8 p.（2020）。MSC公司：68年第27季度 2017年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{R.van Bevern}和\textit{P.V.Smirnov}，Inf.Process。莱特。163，文章ID 105998，8 p.（2020；Zbl 1462.68085） 全文： 内政部 arXiv公司
马蒂亚斯·蒂姆 测量不一致。 （英语） Zbl 1440.68278号 Ben Amor，Nahla（编辑）等，可扩展不确定性管理。2019年12月16日至18日，第13届国际会议，SUM 2019，法国康皮涅。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11940, 9-23 (2019).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Thimm}，莱克特。票据计算。科学。11940，9-23（2019；Zbl 1440.68278） 全文： 内政部