UCPOP公司 swMATH ID: 20687 软件作者： 彭伯蒂，J.S。；焊接，D。 描述： UCPOP规划师。注：UCPOP是一种老化系统，我们建议使用感官图形计划（SGP）。SGP处理UCPOP功能的超集，速度快得多。UCPOP部分订单计划器4.1版的公共Lisp源代码可通过匿名FTP获得。UCPOP的行动具有条件效应和普遍量化的前提和效应。它接受普遍量化的目标。此外，UCPOP 4.1允许调用Common Lisp代码的域公理和谓词来确定可满足性。使用保守的搜索策略，UCPOP对于这种表示来说既合理又完整，但是可以使用方便的声明性规则添加主动的、依赖于域的搜索控制。我们的Common Lisp实现非常简单，可以在课堂上使用，但非常高效（需要2到20分钟来探索和完善部分计划）。 主页： http://aiweb.cs.washington.edu/ai/ucpop.html 相关软件： 图规划;神童;PDDL公司;VHPOP（VHPOP）;SAPA公司;STAN公司;徒步旅行;SETHEO公司;液化石油气;CP计划;AltAlt键;枫树;流浪汉;火炬灯;LINERLIB公司;迷你锌;SCIP公司;VAMPIRE公司;水獭;iProver（iProver） 引用于： 40文件 全部的 前5名78位作者引用 2 伊丽莎白·布拉德利 2 奥伦·埃齐奥尼 2 安东尼奥·加里多 2 阿方索·埃米利奥·杰雷维尼 2 霍夫曼，约格 2 苏巴拉奥·坎巴帕蒂 2 乌古尔·库特 2 瑙，达纳 2 莱因哈德·斯托勒 2 丹尼尔·维尔德（Daniel S.Weld）。 1 里卡多·阿勒 1 罗恩·阿尔福德 1 何塞·路易斯·安比特 1 玛琳·阿兰古 1 法希姆·巴克斯 1 奇塔·R·巴拉尔。 1 安东尼·迈克尔·巴雷特 1 斯科特·W·贝内特。 1 沃尔夫冈·比贝尔 1 阿夫林·布鲁姆。 1 丹尼尔·博拉乔 1 克雷格·布特利耶 1 Tom Bylander 1 安东尼·卡桑德拉。 1 塞利亚·达科斯塔·佩雷拉 1 理查德·迪尔登 1 杰拉尔德·德容。 1 做，明B。 1 卡梅尔·多姆什拉克 1 马修·伊斯利 1 尤金·芬克 1 Fronhöfer，伯特伦 1 梅里克·弗斯特。 1 马修·金斯伯格。 1 基思，戈登 1 罗伯特·戈德曼。 1 莫伊斯·戈德斯密特 1 阿波罗·霍根 1 约翰·霍蒂。 1 阿黛尔·E·豪。 1 塞斯·哈钦森。 1 佩德罗·伊萨西 1 弗罗杜亚德·卡班扎 1 Leslie Pack Kaelbling公司 1 奥赞·卡拉马诺·乌拉尔 1 苏雷什·卡图卡姆 1 埃琳娜·凯拉雷娃 1 菲利普·基尔比 1 克雷格·A·诺布洛克。 1 Subbarao Kombhampati 1 Hector J.列夫斯克。 1 林方珍 1 迈克尔·利特曼。 1 安德鲁·梅辛 1 斯瓦哈·米勒 1 Nau，Dana S。 1 伯恩哈德·内贝尔 1 蒂莫西·诺曼。 1 伊娃·奥奈迪亚 1 马尔科·皮斯托雷 1 大卫·艾伦（David Alan），Plaisted 1 波拉克，玛莎·E。 1 约翰·波洛克。 1 屈勇 1 克里斯·里德 1 利凡尼迪斯 1 马克·罗伯茨 1 亚历山德罗·萨埃蒂 1 舒伯特，Lenhart K。 1 伊凡·塞琳娜 1 儿子Tran Cao 1 比普拉夫·斯利瓦斯塔瓦 1 Andrea G.B.Tettamanzi。 1 西尔维·蒂埃鲍克斯 1 凯文·蒂尔尼 1 保罗·特拉弗索 1 维拉哈瓦斯，伊奥安尼斯·P。 1 杨强 全部的 前5名8篇连载文章中引用 29 人工智能 2 数学与人工智能年鉴 1 模糊集与系统 1 信息与计算 1 约束条件 1 调度日志 1 逻辑与代数程序设计杂志 1 欧洲计算优化杂志 在4个字段中引用 38 计算机科学（68至XX） 三 运筹学、数学规划（90-XX） 2 数学逻辑和基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的引文