格哈德·布鲁卡;詹姆斯·德尔格兰德;哈维尔·罗梅罗;托尔斯滕·绍布 答案集编程中首选项的通用框架。 (英语) Zbl 07777850号 Artif公司。智力。 325,文章ID 104023,第49页(2023).MSC公司:68T27型 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Brewka}等人,Artif。智力。325,文章ID 104023,49 p.(2023;Zbl 07777850) 全文: 内政部
德克·阿贝尔斯;朱利安·乔迪;奥斯特罗夫斯基,马克斯;托尔斯滕·绍布;安布拉·托莱蒂;菲利普·旺科 混合答案集编程的列车调度。 (英语) 兹比尔1522.68095 理论与实践。日志。程序。 21,第3号,317-347(2021).MSC公司:68N17号 68T20型 68立方英尺 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Abels}等人,《理论与实践》。日志。程序。21,第3号,317--347(2021;Zbl 1522.68095) 全文: 内政部 arXiv公司
穆苏诺里·班巴拉;井上,胜美;本杰明·考夫曼;冈本、腾达;托尔斯滕·绍布;苏,武藏;铃木田村;菲利普·旺科 茶匙:使用答案集编程解决基于课程的课程时间表问题。 (英语) Zbl 1434.90049号 安·Oper。物件。 275,第1期,第3-37页(2019年).MSC公司:90B35型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{M.Banbara}等人,Ann.Oper。第275号决议,第1、3--37号(2019年;Zbl 1434.90049) 全文: 内政部
穆苏诺里·班巴拉;本杰明·考夫曼;奥斯特罗夫斯基,马克斯;托尔斯滕·绍布 执着的人:下一代。 (英语) Zbl 1379.68040号 理论与实践。日志。程序。 17,第4号,408-461(2017).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Banbara}等人,《理论与实践》。日志。程序。17,第4号,408--461(2017;Zbl 1379.68040) 全文: 内政部 arXiv公司
马丁·盖布瑟;汤米·詹胡宁;罗兰·卡明斯基;托尔斯滕·绍布;沙哈卜·塔沙罗菲 为子句编写声明性规范。 (英语) Zbl 1483.68378号 Michael,Loizos(编辑)等人,《人工智能中的逻辑》。2016年11月9日至11日,第15届欧洲会议,JELIA 2016,塞浦路斯拉纳卡。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10021, 256-271 (2016).MSC公司:68T27型 68N17号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,Lect。注释计算。科学。10021256-271(2016;Zbl 1483.68378) 全文: 内政部
霍尔格·胡斯;罗兰·卡明斯基;马吕斯·林道尔;托尔斯滕·绍布 aspeed:通过答案集编程进行求解器调度。 (英语) Zbl 1379.68283号 理论与实践。日志。程序。 15,第1期,117-142(2015).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Hoos}等人,《理论与实践》。日志。程序。15,第1号,117--142(2015;Zbl 1379.68283) 全文: 内政部 arXiv公司
马丁·盖布瑟;罗兰·卡明斯基;本杰明·考夫曼;哈维尔·罗梅罗;托尔斯滕·绍布 卡环系列3的进展。 (英语) Zbl 1467.68181号 Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9345, 368-383 (2015).MSC公司:68层35 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,Lect。注释计算。科学。9345,368--383(2015;Zbl 1467.68181) 全文: 内政部
格哈德·布鲁卡;詹姆斯·德尔格兰德;哈维尔·罗梅罗;托尔斯滕·绍布 使用阿斯匹林实现首选项。 (英语) Zbl 1467.68022号 Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9345, 158-172 (2015).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Brewka}等人,Lect。注释计算。科学。9345158-172(2015年;兹比尔1467.68022) 全文: 内政部 链接
穆苏诺里·班巴拉;马丁·盖布瑟;井上,胜美;奥斯特罗夫斯基,马克斯;安德烈亚·皮亚诺;托尔斯滕·绍布;苏,武藏;铃木田村;马蒂亚斯·维塞 阿斯巴甜:用答案集编程解决约束满足问题。 (英语) Zbl 1467.68160号 Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9345, 112-126 (2015).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \文本{M.Banbara}等人,Lect。注释计算。科学。9345,112-126(2015;Zbl 1467.68160) 全文: 内政部 arXiv公司
Michael Abseher先生;马丁·盖布瑟;尼斯雷特·穆斯利乌;托尔斯滕·绍布;斯特凡·沃尔特兰 带答案集编程的换档设计。 (英语) Zbl 1370.68043号 Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:施普林格(ISBN 978-3-319-23263-8/pbk;978-3-3169-23264-5/pbk)。计算机科学9345课堂讲稿。《人工智能课堂讲稿》,32-39(2015)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abseher}等人,Lect。注释计算。科学。9345,32-39(2015;Zbl 1370.68043) 全文: 内政部
穆苏诺里·班巴拉;苏,武藏;铃木田村;井上,胜美;托尔斯滕·绍布 答案集编程作为课程时间表的建模语言。 (英语) Zbl 1286.68040号 理论与实践。日志。程序。 13,No.4-5,783-798(2013).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Banbara}等人,《理论与实践》。日志。程序。13、编号4--5、783--798(2013;Zbl 1286.68040) 全文: 内政部
罗兰·卡明斯基;托尔斯滕·绍布;安妮·西格尔;圣地亚哥维德拉 使用ASP的逻辑信号网络中的最小干预策略。 (英语) Zbl 1286.68048号 理论与实践。日志。程序。 13,编号4-5,675-690(2013).MSC公司:68N17号 92立方厘米 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Kaminski}等人,《理论与实践》。日志。程序。13、编号4--5、675--690(2013;Zbl 1286.68048) 全文: 内政部
马库斯·杜津斯基;沃尔夫冈·马尔旺;奥斯特罗夫斯基,马克斯;托尔斯滕·绍布;安内格雷特·沃格勒 使用ASP自动重建网络。 (英语) Zbl 1219.92020号 理论与实践。日志。程序。 11,No.4-5,749-766(2011).MSC公司:92C40型 92立方厘米 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{M.Durzinsky}等人,《理论与实践》。日志。程序。11,编号4--5,749--766(2011;Zbl 1219.92020) 全文: 内政部 arXiv公司
马丁·盖布瑟;罗兰·卡明斯基;本杰明·考夫曼;托尔斯滕·绍布 在冲突驱动的ASP解算器中实现权重约束规则。 (英语) 兹比尔1251.68059 Hill,Patricia M.(编辑)等人,《逻辑编程》。2009年7月14日至17日,在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02845-8/pbk)。计算机科学讲座笔记5649250-264(2009)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,Lect。注释计算。科学。5649、250--264(2009年;Zbl 1251.68059) 全文: 内政部
马丁·盖布瑟;奥斯特罗夫斯基,马克斯;托尔斯滕·绍布 约束答案集求解。 (英语) Zbl 1251.68061号 Hill,Patricia M.(编辑)等人,《逻辑编程》。2009年7月14日至17日,在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02845-8/pbk)。计算机科学讲座笔记5649235-249(2009)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,Lect。注释计算。科学。5649,235--249(2009;Zbl 1251.68061) 全文: 内政部