克里斯特·Bäckström;彼得·琼森 分析状态抽象方法的框架。 （英语） 兹比尔1486.68175 Artif公司。智力。 302，文章ID 103608，39 p.（2022）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bäckström}和\textit{P.Jonsson}，Artif。智力。302，文章ID 103608，39 p.（2022；Zbl 1486.68175） 全文： 内政部
Zeynep G.萨里巴特。;托马斯·艾特;彼得·舒勒 非地面答案集程序的抽象。 （英语） Zbl 1520.68023号 Artif公司。智力。 300，文章ID 103563，72页（2021）.MSC公司：68N17号 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.G.Saribatur}等人，Artif。智力。300，文章ID 103563，72 p.（2021；Zbl 1520.68023） 全文： 内政部
Zeynep G.萨里巴特。;托马斯·艾特 答案集程序的基于省略的抽象。 （英语） Zbl 1472.68029号 理论与实践。日志。程序。 21，第2期，145-195（2021）; 勘误表同上，第21号，第2，292（2021）。MSC公司：68N17号 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.G.Saribatur}和\textit{T.Eiter}，理论与实践。日志。程序。21，第2号，145-195（2021；兹bl 1472.68029） 全文： 内政部 arXiv公司
Á. 阿尔瓦罗·托拉尔巴;卡洛斯·利纳雷斯·洛佩兹;丹尼尔·博拉乔 用于成本最优规划的符号边界抽象启发法。 （英语） Zbl 1445.68199号 Artif公司。智力。 259, 1-31 (2018).MSC公司：68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{阿尔.阿尔.托拉尔巴}等人，Artif。智力。259，1-31（2018年；兹比尔1445.68199） 全文： 内政部
戴维·尼蒂;瓦夏克·贝勒;丁恩·德莱特;吕克·德·雷德 混合关系MDP中的规划。 （英语） Zbl 1457.68254号 机器。学习。 106，第12期，1905-1932（2017）.MSC公司：68T20型 68N17号 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛D.Nitti｝等人，马赫。学习。106，第12号，1905-1932（2017；Zbl 1457.68254） 全文： 内政部
Ku，杜桑;蒂鲁·S·阿尔萨纳里。 集装箱出发时间窗口的集装箱重新定位问题。 （英语） Zbl 1346.90145号 欧洲药典。物件。 252，第3期，1031-1039（2016）.MSC公司：90B06型 90B80型 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{D.Ku}和\textit{T.S.Arthanari}，欧洲期刊Oper。第252号决议，第3号，第1031--1039条（2016年；Zbl 1346.90145） 全文： 内政部
米科拉什·亚诺塔;威廉·克利伯;若昂·西尔瓦侯爵;埃德蒙·克拉克 用反例引导精化求解QBF。 （英语） Zbl 1351.68254号 Artif公司。智力。 234, 1-25 (2016).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}等人，Artif。智力。234，1--25（2016；Zbl 1351.68254） 全文： 内政部
马尔特·赫尔默特;帕特里克·哈斯鲁姆;霍夫曼，约格;拉兹·尼西姆 合并和收缩抽象，一种在分解状态空间中生成下限的方法。 （英语） Zbl 1295.68189号 美国临床医学杂志 61，第3号，第16条，第63页（2014年）.MSC公司：68T20型 05C90年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Helmert}等人，J.ACM 61，第3号，第16条，63页（2014；Zbl 1295.68189） 全文： 内政部
李毅;阿尔巴古提·奥斯;扎卡里·金凯德;阿里·古芬克尔;玛莎·契契克 SMT求解器的符号优化。 （英语） Zbl 1284.68410号 2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。607-618 (2014).MSC公司：60年第68季度 68号30 68T20型 68周05 90C99号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。607--618（2014年；Zbl 1284.68410） 全文： 内政部
塞勒斯·F·努拉尼。 代理语言、可视化虚拟树和模型。 （英语） Zbl 1399.68237号 国际电子。J.纯应用。数学。 第6期，第3期，第105-122页（2013年）.MSC公司：68T27型 68T05型 68T20型 68立方英尺 68T40型 68T42型 68T50型 91层20 PDF格式BibTeX公司 XML格式引用 \textit{C.F.Nourani}，国际电子杂志。J.纯应用。数学。6、编号3、105-122（2013；Zbl 1399.68237） 全文： 内政部 链接
吉安卢卡·托塔;彼得罗·托拉索 用于关系模型上基于模型的诊断的自动组件抽象。 （英语） Zbl 1291.68379号 AI通讯。 26，第2期，179-209（2013）.MSC公司：68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛G.Torta｝和\textit｛P.Torasso｝，人工智能公社。26，No.2，179--209（2013；Zbl 1291.68379） 全文： 内政部
安德烈·科洛波夫;四季倾城;丹尼尔·维尔德（Daniel S.Weld）。 发现分解MDP中的隐藏结构。 （英语） Zbl 1251.68206号 Artif公司。智力。 189, 19-47 (2012).MSC公司：68T20型 68T05型 90立方厘米 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolobov}等人，Artif。智力。189、19-47（2012年；Zbl 1251.68206） 全文： 内政部
古·T·约翰;李荣庆;迈克尔·库特鲁普（Michael M.Quottrup）。;查尔斯·克利夫顿。;鲁兹别·伊扎迪·扎马纳巴迪;托马斯·贝克 一个基于时间逻辑规范的多机器人运动规划框架。 （英语） Zbl 1245.68227号 科学。中国，信息科学。 55，第7期，1675-1692（2012）.MSC公司：68T40型 68T20型 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.J.Koo}等人，科学。中国，信息科学。55，第7号，1675--1692（2012；Zbl 1245.68227） 全文： 内政部 链接
斯蒂芬妮·坎佩尔 基于SAT的定时组件连接器验证。 （英语） Zbl 1279.68212号 科学。计算。程序。 77，编号7-8，779-798（2012）.MSC公司：60年第68季度 68T20型 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Kemper}，科学。计算。程序。77，编号7--8，779--798（2012；Zbl 1279.68212） 全文： 内政部
桑德拉·齐勒斯;罗伯特·霍尔特（Robert C.Holte）。 在状态空间抽象中避免虚假状态的计算复杂性。 （英语） Zbl 1210.68105号 Artif公司。智力。 174，第14号，1072-1092（2010）.MSC公司：68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Zilles}和\textit{R.C.Holte}，Artif。智力。174，第14号，1072--1092（2010；Zbl 1210.68105） 全文： 内政部
罗曼·格什曼;斯特里赫曼（Ofer Strichman） 海法卫星：基于抽象/细化模型的SAT解算器。 （英语） Zbl 1187.68541号 J.满意。布尔模型。计算。 6，编号1-3，33-51（2009）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gershman}和\textit{O.Strichman}，J.Satisf。布尔模型。计算。6，编号1--3，33-51（2009；Zbl 1187.68541）
李三江;英明生 基于半环同态的软约束抽象。 （英语） Zbl 1158.68044号 西奥。计算。科学。 403，编号2-3，192-201（2008）.MSC公司：68T20型 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}和\textit{M.Ying}，Theor。计算。科学。403，编号2--3，192--201（2008；Zbl 1158.68044） 全文： 内政部
大卫·G·米切尔。;尤金妮娅·捷尔诺夫斯卡 本质上的表达能力和抽象。 （英语） Zbl 1147.68428号 约束条件 13，第3期，343-384（2008）.MSC公司：68甲15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Mitchell}和\textit{E.Ternovska}，约束13，No.3，343--384（2008；Zbl 1147.68428） 全文： 内政部
蒲飞;张文辉 结合搜索空间划分和抽象进行LTL模型检查。 （英语） Zbl 1142.68522号 科学。中国，Ser。F、。 50，第6号，793-810（2007）.MSC公司：68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Pu}和\textit{W.Zhang}，科学。中国，Ser。F 50，编号6，793--810（2007；Zbl 1142.68522） 全文： 内政部
马来K·加奈。;穆拉利达尔·塔卢普尔;阿尔蒂·古普塔 SDSAT：在解决差异逻辑中，小域编码和懒惰方法的紧密集成。 （英语） Zbl 1129.68081号 J.满意。布尔模型。计算。 3，编号1-2，91-114（2007）.MSC公司：68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Ganai}等人，J.Satisfe。布尔模型。计算。3，编号1--2，91-114（2007；Zbl 1129.68081）
Berthe Y·Choueiry。;岩崎、玉弥;希拉·麦克拉伊思 走向物理系统推理的重新制定实用理论。 （英语） Zbl 1132.68694号 Artif公司。智力。 162，第1-2号，145-204（2005）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Y.Choueiry}等人，Artif。智力。162，编号1--2，145-204（2005；Zbl 1132.68694） 全文： 内政部
萨肯巴赫，M。;P·斯特拉斯。 任务相关的定性领域抽象。 （英语） Zbl 1132.68710号 Artif公司。智力。 162，编号1-2，121-143（2005）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sachenbacher}和\textit{P.Struss}，阿蒂夫。智力。162，编号1--2，121-143（2005；Zbl 1132.68710） 全文： 内政部
帕斯卡·范·亨特利克;劳伦特·米歇尔 控制本地搜索的抽象。 （英语） Zbl 1084.68033号 约束条件 10，第2期，137-157（2005）.MSC公司：68页第10页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Van Hentenryck}和\textit{L.Michel}，约束10，No.2，137--157（2005；Zbl 1084.68033） 全文： 内政部
罗伯特·吉万;托马斯·迪安;马修·格雷格 马尔可夫决策过程中的等价概念和模型最小化。 （英语） Zbl 1082.68801号 Artif公司。智力。 147，编号1-2163-223（2003）.MSC公司：68T20型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Givan}等人，Artif。智力。147，编号1--2，163-223（2003；Zbl 1082.68801） 全文： 内政部
刘敦仁;沈敏欣 虚拟流程的工作流建模：一种订单预留流程视图方法。 （英语） Zbl 1045.68123号 信息系统。 28，第6期，505-532（2003）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛D.-R.Lu｝和\textit｛M.Shen｝，信息系统。28，第6号，505--532（2003；Zbl 1045.68123） 全文： 内政部
斯蒂法诺·比斯塔雷利;菲利普·科多涅特;弗朗西斯卡·罗西 抽象软约束：框架、属性、示例。 （英语） Zbl 1506.68121号 Artif公司。智力。 139，第2期，175-211（2002）.MSC公司：68T20型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人，Artif。智力。139，编号2175-211（2002年；兹bl 1506.68121） 全文： 内政部
刘朝林;迈克尔·韦尔曼。 使用灵活的状态空间抽象方法评估贝叶斯网络。 （英语） Zbl 1006.68130号 国际J近似推理 30，第1期，1-39页（2002年）.MSC公司：68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{C.-L.Liu}和\textit{M.P.Wellman}，《国际近似推理》30，第1期，1-39（2002；Zbl 1006.68130） 全文： 内政部
Boutiler，C.公司。;R·迪尔登。;戈德斯密特，M。 带因子表示的随机动态规划。 （英语） Zbl 0948.68167号 Artif公司。智力。 121，编号1-2，49-107（2000）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Boutiler}等人，Artif。智力。121，编号1--2，49-107（2000；Zbl 0948.68167） 全文： 内政部
Frank M.Carrano。 用C++进行数据抽象和问题解决。墙壁和镜子。 （英语） Zbl 0847.68027号 阿姆斯特丹：Addison-Wesley。xxii，690 p.附录。第106页（1995年）。 审核人：K.Stroetmann（慕尼黑） MSC公司：68第05页 68-01 68号01 68甲15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Carrano}，数据抽象和用C++解决问题。墙壁和镜子。阿姆斯特丹：Addison-Wesley（1995；Zbl 0847.68027）
阿南斯·斯里尼瓦桑;特埃尼，多佛 建模为约束问题解决：数据建模过程的实证研究。 （英语） Zbl 0832.90075号 管理。科学。 41，第3期，419-434（1995）.MSC公司：90B99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Srinivasan}和\textit{D.Te'eni}，管理。科学。41，第3号，419--434（1995；Zbl 0832.90075） 全文： 内政部
克雷格·A·诺布洛克。 生成抽象层次结构。减少规划中搜索的自动化方法。 （英语） Zbl 0822.68102号 Kluwer国际工程与计算机科学系列. 214. 多德雷赫特：Kluwer学术出版社。xi，168 p.英国国防部。157.50; 80.00美元；58.00英镑/hc（1993年）。 审核人：J.Desel（柏林） MSC公司：68T20型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Knoblock}，生成抽象层次结构。减少规划中搜索的自动化方法。多德雷赫特：Kluwer学术出版社（1993；Zbl 0822.68102）
福斯托·金奇利亚;托比·沃尔什 抽象理论。 （英语） Zbl 0762.68054号 Artif公司。智力。 57，编号2-3，323-389（1992）.MSC公司：68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}和\textit{T.Walsh}，Artif。智力。57，编号2-323-389（1992；兹bl 0762.68054） 全文： 内政部
法希姆·巴克斯;杨强 向下细化属性。 （英语） Zbl 0747.68063号 人工智能，IJCAI-91，Proc。第十二届国际会议，悉尼/澳大利亚，1991，286-292（1991）。 审核人：N.Curteanu（伊阿什） MSC公司：68T20型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{F.Bacchus}和\textit{Q.Yang}，in：IJCAI 91，第十二届国际人工智能会议论文集。1991年8月24日至30日，澳大利亚悉尼。第1-2卷。加利福尼亚州圣马特奥：Morgan Kaufmann Publ。。286--292（1991年；Zbl 0747.68063）
霍奇森，J.P.E。 启发式的自动生成。 （英语） Zbl 0704.68098号 人工智能的形式化技术，Stud.Comput。科学。Artif公司。智力。6, 123-172 (1990). 审核人：N.Curteanu公司 MSC公司：68T20型 68页第10页 68T05型 PDF格式BibTeX公司 XML格式
克雷格·A·诺布洛克。 分层规划的抽象理论。 （英语） Zbl 0792.68167号 代表性变化和归纳偏见，Proc。第一届国际研讨会，美国纽约州塔利镇，1988年，Kluwer Int.Ser。工程计算。科学。87, 81-104 (1990).MSC公司：68T20型 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Knoblock}，Kluwer Int.Ser.（克卢沃国际服务公司）。工程计算。科学。87、81-104（1990年；Zbl 0792.68167）
利奥·约斯科维茨 运动行为的简化和抽象。 （英语） 兹比尔0718.68102 IJCAI 89，程序。国际会议，密歇根州底特律，美国1989年，1337-1342（1989）。 审核人：N.Curteanu（伊阿什） MSC公司：68单位99 68立方英尺 68T20型 PDF格式BibTeX公司 XML格式
艾米·恩鲁;罗森布鲁姆（Paul S.Rosenbloom）。 问题解决和学习中的抽象。 （英语） Zbl 0709.68075号 IJCAI 89，程序。国际会议，密歇根州底特律，美国1989，681-687（1989）。 审核人：N.Curteanu公司 MSC公司：68T05型 68T20型 PDF格式BibTeX公司 XML格式
雷沃德·史密斯，V.J。;McKeown，G.P。;F.W.伯顿。 一般问题求解算法及其实现。 （英语） Zbl 0646.68108号 新一代计算。 第6期，第1期，第41-66页（1988年）.MSC公司：68T20型 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{V.J.Rayward-Smith}等人，《新一代计算》。6，编号1，41--66（1988；Zbl 0646.68108） 全文： 内政部
莱昂纳德·博尔克（编辑） [米查尔斯基，R.S。;兰利，P。;西蒙，H.A。;布拉德肖，G.L。;Ohlsson，S。;伦德尔，L。;J.G.沃尔夫。] 学习的计算模型。 （英语） Zbl 0629.68083号 符号计算。人工智能。柏林等：斯普林格-弗拉格。九、 208页。；108.00 DM（1987年）。 审核人：J.Hořejš MSC公司：68T05型 68T20型 68-06 00亿Bxx PDF格式BibTeX公司 XML格式引用 \textit{L.Bolc}（编辑），学习的计算模型。柏林等：Springer-Verlag（1987；Zbl 0629.68083）