第条

规划作为可满足性

作者:

亨利考茨,

巴特塞尔曼作者信息和声明

ECAI’92：第十届欧洲人工智能会议记录

页359-363

出版:1992年8月30日出版历史

摘要

没有可用的摘要。

引用人

查看全部

瓦西里欧SYeoh W（杨伟）运输S库马尔A卡什莫尔MMagazzeni D公司Elkind E公司(2023)经典规划和混合规划问题的基于逻辑的解释生成框架（扩展抽象）第三十二届国际人工智能联合会议记录10.24963/ijcai.2023/795(6985-6989)在线发布日期：2023年8月19日
https://dl.acm.org/doi/10.24963/ijcai.2023/795
施赖伯D(2021)利洛坦人工智能研究杂志10.1613/jair.1.1252070(1117-1181)在线发布日期：2021年5月1日
https://dl.acm.org/doi/10.1613/jair.1.12520
菲克斯R加维·T(2020)知识表示和推理——DARPA领导历史人工智能杂志10.1609/aimag.v41i2.529541:2(9-21)在线发布日期：2020年6月1日
https://dl.acm.org/doi/10.1609/aimag.v41i2.5295
显示更多引用者

索引术语

规划作为可满足性
1. 计算方法
  1. 人工智能
    1. 计划和调度
2. 计算理论
  1. 计算复杂性和密码学
    1. 复杂性类别

建议

在规划中引入偏好作为可满足性

满意规划是经典规划中最著名、最有效的技术之一：在第四届国际规划竞赛（IPC）中，satplan是最优规划师确定性轨道上的制胜系统，也是一种有效的规划方法。。。
非最优时间规划的可满足性
JELIA’12：第13届欧洲人工智能逻辑会议记录

人工智能规划是应用可满足性检查方法而受益的研究领域之一。这些方法在经典规划和时间规划中都被证明是非常有效的。众所周知，通过。。。
SAS+规划作为可满足性

作为可满足性的规划是规划的主要方法，具有许多显著的优点。现有的规划可满足性技术通常使用从STRIPS编译的编码。我们介绍了一种基于SAS+。。。

信息和贡献者

问询处

发布于

ECAI’92：第十届欧洲人工智能会议记录

1992年8月

876页

国际标准图书编号：0471936081

编辑：
伯恩德·诺依曼
汉堡大学，汉堡，德国

出版商

John Wiley&Sons公司。

美国

出版历史

出版：1992年8月30日

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

186
引文总数
查看引文
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

反映截至2024年9月21日的下载量

其他指标

查看作者指标

引文

引用人

查看全部

瓦西里欧SYeoh W（杨伟）S系列库马尔A卡什莫尔MMagazzeni D公司Elkind E公司(2023)经典规划和混合规划问题的基于逻辑的解释生成框架（扩展抽象）第三十二届国际人工智能联合会议记录10.24963/ijcai.2023/795(6985-6989)在线发布日期：2023年8月19日
https://dl.acm.org/doi/10.24963/ijcai.2023/795
施赖伯D(2021)利洛坦人工智能研究杂志10.1613/jair.1.1252070(1117-1181)在线发布日期：2021年5月1日
https://dl.acm.org/doi/10.1613/jair.1.12520
菲克斯R加维·T(2020)知识表示和推理——DARPA领导历史人工智能杂志10.1609/aimag.v41i2.529541:2(9-21)在线发布日期：2020年6月1日
https://dl.acm.org/doi/10.1609/aimag.v41i2.5295
你J吴浩巴雷特C拉马努扬R莱斯科维奇J瓦拉赫H拉罗谢尔H贝格尔齐默Ad'Alché-Buc F餐厅福克斯E(2019)G2SAT卫星第33届神经信息处理系统国际会议记录10.5555/3454287.3455234(10553-10564)在线发布日期：2019年12月8日
https://dl.acm.org/doi/10.5555/3454287.3455234
科斯坦蒂尼SGasperis G公司奥利维耶里·R(2019)数字取证和调查符合人工智能数学与人工智能年鉴2007年10月10日/10472-019-09632-y86:1-3(193-229)在线发布日期：2019年7月1日
https://dl.acm.org/doi/10.1007/s10472-019-09632-y
Leofate F公司(2018)多机器人优化任务规划第27届国际人工智能联合会议记录10.5555/3304652.3304846(5771-5772)在线发布日期：2018年7月13日
https://dl.acm.org/doi/10.5555/3304652.3304846
菲舍尔D科门达A(2018)用于经典规划的事实交替互斥组（扩展抽象）第27届国际人工智能联合会议记录10.5555/3304652.3304808(5603-5607)在线发布日期：2018年7月13日
https://dl.acm.org/doi/10.5555/3304652.3304808
吕Q陈Y李Z崔Z陈雷张X沈H(2018)通过学习和规划相结合实现数据驱动的可操作性计算机科学前沿：中国大学文选2007年10月17日/11704-017-6315-212:5(939-949)在线发布日期：2018年10月1日
https://dl.acm.org/doi/10.1007/s11704-017-6315-2
阿卜杜勒·阿齐兹·M诺里什·M格雷顿C(2018)上界状态空间直径的形式验证算法自动推理杂志10.1007/s10817-018-9450-z61:1-4(485-520)在线发布日期：2018年6月1日
https://dl.acm.org/doi/10.1007/s10817-018-9450-z
罗格·G(2017)古典规划中的认证不可解性第26届国际人工智能联合会议记录10.5555/3171837.3172031(5141-5145)在线发布日期：2017年8月19日
https://dl.acm.org/doi/10.5555/3171837.3172031
显示更多引用者

引用人

索引术语

建议

在规划中引入偏好作为可满足性

非最优时间规划的可满足性

SAS+规划作为可满足性

评论

发布于

出版商

出版历史

限定符

其他指标

文章指标

其他指标

引用人

登录选项

完全访问权限

摘要

引用人

索引术语

建议

在规划中引入偏好作为可满足性

非最优时间规划的可满足性

SAS+规划作为可满足性

评论

问询处

发布于

出版商

出版历史

限定符

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

查看选项

获取访问权限

登录选项

完全访问权限

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司