穆罕默德·科拉尼。;马丁·格布瑟;康斯坦丁·舍科提欣 作业车间调度的问题分解和多热点ASP求解。 (英语) Zbl 07595329号 理论与实践。日志。程序。 22,第4号,623-639(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.S.El-Kholany}等人,《理论与实践》。日志。程序。22,编号4,623--639(2022;Zbl 07595329) 全文: DOI程序 arXiv公司
爱丽丝·塔萨里奥尔;康斯坦丁·舍科提欣;马丁·格布瑟;法律,马克 复杂组合问题对称破缺约束的有效提升。 (英语) Zbl 07595328号 理论与实践。日志。程序。 22,第4号,606-622(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tarzariol}等人,《理论与实践》。日志。程序。22,第4号,606--622(2022;Zbl 07595328) 全文: DOI程序 arXiv公司
劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 在加权条件知识库的有限多值语义下,在神经网络上进行推理的ASP方法。 (英语) Zbl 07595327号 理论与实践。日志。程序。 22,第4号,589-605(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{D.Theseider Dupré},理论与实践。日志。程序。22,第4号,589--605(2022;Zbl 07595327) 全文: DOI程序 arXiv公司
弗拉基米尔·利夫希茨 逻辑程序与计数的强等价性。 (英语) Zbl 07595326号 理论与实践。日志。程序。 22,第4期,573-588(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz},理论与实践。日志。程序。22,第4号,573--588(2022;Zbl 07595326) 全文: DOI程序 arXiv公司
伊曼纽尔·德·安吉利斯;毛里齐奥·普罗埃蒂;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西 使用约束Horn子句验证基于变形的契约。 (英语) Zbl 07595325号 理论与实践。日志。程序。 22,第4期,555-572(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,《理论与实践》。日志。程序。22,第4号,555--572(2022;Zbl 07595325) 全文: DOI程序 arXiv公司
迈克尔·哈纳斯 从逻辑到功能逻辑程序。 (英语) Zbl 07595324号 理论与实践。日志。程序。 22,第4期,538-554(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hanus},理论与实践。日志。程序。22,编号4,538--554(2022;Zbl 07595324) 全文: DOI程序 arXiv公司
林德·范贝西安;莫里斯·布吕诺格;马克·德内克 使用近似不动点理论分析聚合答案集编程的语义。 (英语) Zbl 07595323号 理论与实践。日志。程序。 22,第4期,523-537(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Vanbesien}等人,《理论与实践》。日志。程序。22,编号4,523--537(2022;Zbl 07595323) 全文: DOI程序 arXiv公司
拉斐尔·基塞尔;彼得罗·托蒂斯;安吉丽卡·基米格 超越加权模型计数的高效知识编译。 (英语) Zbl 07595322号 理论与实践。日志。程序。 22,第4号,505-522(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kiesel}等人,《理论与实践》。日志。程序。22,编号4505-522(2022;兹bl 07595322) 全文: DOI程序 arXiv公司
尤利亚·利勒;何塞·莫拉莱斯(Jose F.Morales)。 第38届逻辑程序设计国际会议专题介绍。 (英语) Zbl 07595321号 理论与实践。日志。程序。 22,第4期,499-504(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lierler和\textit{J.F.Morales},理论与实践。日志。程序。22,第4号,499--504(2022;Zbl 07595321) 全文: DOI程序