掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Artificial Intelligence Planning and Scheduling
International Conference on Artificial Intelligence Planning and Scheduling
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A unified dynamic approach for dealing with temporal uncertainty and conditional planning
机译:
处理时间不确定性和条件规划的统一动态方法
作者:
Thierry Vidal
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
2.
Investigating the effect of relevance and reachability constraints on SAT encodings of planning
机译:
调查相关性和可达性限制对规划饱和的影响
作者:
Minh Binh Do
;
Biplav Srivastava
;
Subbarao Kambhampati
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
3.
Heuristics for constraint-directed scheduling with inventory
机译:
对库存定向调度的启发式库存
作者:
J. Christopher Beck
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
4.
Distance-based goal-ordering heuristics for graphplan
机译:
基于距离的GraphPlan目标的启发式
作者:
Subbarao Kambhampati
;
Romeo Sanchez Nigenda
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
5.
Dynamic programming for POMDPs using a factored state representation
机译:
使用代理状态表示的POMDPS动态编程
作者:
Eric A. Hansen
;
Zhengzhu Feng
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
6.
New results about LCGP, a least committed graphplan
机译:
关于LCGP的新结果,最不承诺的GraphPlan
作者:
Michel Cayrol
;
Pierre Regnier
;
Vincent Vidal
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
7.
Vision-servoed localization and behavior-based planning for an autonomous quadruped legged robot
机译:
愿景伺服的本地化和基于行为的自主四腿腿机器人的规划
作者:
Manuela Veloso
;
Elly Winner
;
Scott Lenser
;
James Bruce
;
Tucker Balch
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
8.
Exploiting state constraints in heuristic state-space planning
机译:
利用启发式状态空间规划的国家限制
作者:
Ioannis Refanidis
;
Ioannis Vlahavas
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
9.
Approximate solutions to factored Markov decision processes via greedy search in the space of finite state controllers
机译:
通过贪婪搜索在有限状态控制器的空间中通过贪婪搜索近似解
作者:
Kee-Eung Kim
;
Thomas L. Dean
;
Nicolas Meuleau
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
10.
Using generic preferences to incrementally improve plan quality
机译:
使用通用偏好来逐步提高计划质量
作者:
Gregg Rabideau
;
Barbara Engelhardt
;
Steve Chien
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
11.
Merging plans with quantitative temporal constraints, temporally extended actions, and conditional branches
机译:
用定量时间约束合并计划,时间扩展动作和条件分支
作者:
Ioannis Tsamardinos
;
Martha E. Pollack
;
John F. Horty
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
12.
The complexity of model aggregation
机译:
模型聚集的复杂性
作者:
Judy Goldsmith
;
Robert H. Sloan
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
13.
Fast plan adaptation through planning graphs: local and systematic search techniques
机译:
通过规划图表快速计划适应:本地和系统搜索技术
作者:
Alfonso Gerevini
;
Ivan Serina
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
14.
Learning plan rewriting rules
机译:
学习计划重写规则
作者:
Jose Luis Ambite
;
Craig A. Knoblock
;
Steven Minton
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
15.
A planner fully based on linear time logic
机译:
完全基于线性时间逻辑的计划者
作者:
M. Cialdea Mayer
;
A. Orlandini
;
G. Balestreri
;
C. Limongelli
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
16.
Probabilistic hybrid action models for predicting concurrent percept-driven robot behavior
机译:
用于预测并发感知机器人行为的概率混合动作模型
作者:
Michael Beetz
;
Henrik Grosskreutz
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
17.
Challenges and methods in testing the remote agent planner
机译:
测试远程代理规划师的挑战与方法
作者:
Ben Smith
;
Martin S. Feather
;
Nicola Muscettola
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
18.
Elevator control as a planning problem
机译:
电梯控制作为规划问题
作者:
Jana Koehler
;
Kilian Schuster
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
19.
DPPlan: an algorithm for fast solutions extraction from a planning graph
机译:
DPPLAN:一种从规划图中提取的快速解决方案的算法
作者:
M. Baioletti
;
S. Marcugini
;
A. Milani
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
20.
Using AI planning technology for army small unit operations
机译:
利用AI规划技术为陆军小型单位运营
作者:
Austin Tate
;
John Levine
;
Peter Jarvis
;
Jeff Dalton
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
21.
Computing global strategies for multi-market commodity trading
机译:
计算多项市场商品交易的全球策略
作者:
Milos Hauskrecht
;
Luis Ortiz
;
Ioannis Tsochantaridis
;
Eli Upfal
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
22.
Computing valid intervals for collections of activities with shared states and resources
机译:
计算有共享状态和资源的活动集合的有效间隔
作者:
Russell Knight
;
Gregg Rabideau
;
Steve Chien
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
23.
Admissible heuristics for optimal planning
机译:
可接受的启发式最佳规划
作者:
Patrik Haslum
;
Hector Geffner
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
24.
New advances in graphHTN: identifying independent subproblems in large HTN domains
机译:
GraphHTN中的新进展:识别大HTN域中的独立子问题
作者:
Amnon Lotem
;
Dana S. Nau
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
25.
Object transition sequences: a new form of abstraction for HTN planners
机译:
对象转换序列:HTN规划人员的一种新的抽象形式
作者:
T. L. McCluskey
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
26.
Planning with reduced operator sets
机译:
规划减少运营商套装
作者:
Patrik Haslum
;
Peter Jonsson
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
27.
Automatic synthesis and use of generic types in planning
机译:
在规划中自动合成和使用通用类型
作者:
Derek Long
;
Maria Fox
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
28.
Using iterative repair to improve the responsiveness of planning and scheduling
机译:
利用迭代修复来提高规划和调度的响应性
作者:
Steve Chien
;
Russell Knight
;
Andre Stechert
;
Rob Sherwood
;
Gregg Rabideau
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
29.
Planning with incomplete information as heuristic search in belief space
机译:
规划不完整的信息作为信仰空间的启发式搜索
作者:
Blai Bonet
;
Hector Geffner
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
30.
OBDD-based universal planning for multiple synchronized agents in non-deterministic domains
机译:
基于OBDD的普遍规划非确定性域中的多同步代理
作者:
Rune M. Jensen
;
Manuela M. Veloso
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
31.
Dispatchable execution of schedules involving consumable resources
机译:
调度执行涉及消耗资源的时间表
作者:
R. J. Wallace
;
E. C. Freuder
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
32.
Solving planning-graph by compiling it into CSP
机译:
通过将其编译为CSP来解决规划图
作者:
Minh Binh Do
;
Subbarao Kambhampati
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
33.
Utilizing automatically inferred invariants in graph construction and search
机译:
利用自动推断在图形构造和搜索中的不变性
作者:
Maria Fox
;
Derek Long
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
34.
Planning in interplanetary space: theory and practice
机译:
行星际空间规划:理论与实践
作者:
Ari K. Jonsson
;
Paul H. Morris
;
Nicola Muscettola
;
Kanna Rajan
;
Ben Smith
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
35.
Solving scheduling problems with setup times and alternative resources
机译:
解决设置次数和替代资源的调度问题
作者:
F. Focacci
;
P. Laborie
;
W. Nuijten
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
36.
Learning planning operators in real-world, partially observable environments
机译:
学习现实世界,部分可观察环境中的规划运营商
作者:
Matthew D. Schmill
;
Tim Oates
;
Paul R. Cohen
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
37.
Applying inductive program synthesis to macro learning
机译:
将归纳计划合成应用于宏观学习
作者:
Ute Schmid
;
Fritz Wysotzki
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
38.
On-line scheduling via sampling
机译:
通过抽样在线调度
作者:
Hyeong Soo Chang
;
Robert Givan
;
Edwin K. P. Chong
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
39.
Mixed-initiative resource management: the AMC barrel allocator
机译:
混合倡议资源管理:AMC桶分配器
作者:
Marcel A. Becker
;
Stephen F. Smith
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
40.
PSIPLAN: open world planning with ψ-forms
机译:
psiplan:开放世界规划与ψ形
作者:
Tamara Babaian
;
James G. Schmolze
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
41.
A new perspective on algorithms for optimizing policies under uncertainty
机译:
关于优化不确定性政策的算法的新视角
作者:
Rina Dechter
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
42.
Plan generation for GUI testing
机译:
计划生成GUI测试
作者:
Atif M. Memon
;
Martha E. Pollack
;
Mary Lou Soffa
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
43.
Representations of decision-theoretic planning tasks
机译:
决策理论规划任务的代表
作者:
Sven Koenig
;
Yaxin Liu
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
44.
Planning with conflicting advice
机译:
规划冲突的建议
作者:
Karen L. Myers
会议名称:
《International Conference on Artificial Intelligence Planning and Scheduling》
|
2000年
意见反馈
回到顶部
回到首页