先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

期刊


ISSN1076-9757
刊名The Journal of Artificial Intelligence Research
参考译名人工智能研究杂志
收藏年代1999～2019



全部

1999 2000 2001 2002 2003 2004
2005 2006 2007 2008 2009 2010
2011 2012 2013 2014 2015 2016
2017 2018 2019

2008, vol.31 2008, vol.32 2008, vol.33

题名作者出版年年卷期
MINIMAXSAT: An Efficient Weighted Max-SAT SolverFederico Heras; Javier Larrosa; Albert Oliveras20082008, vol.31
Planning with Durative Actions in Stochastic DomainsDaniel S. Weld20082008, vol.31
CUI Networks: A Graphical Representation for Conditional Utility IndependenceYagil Engel; Michael P. Wellman20082008, vol.31
CTL Model Update for System ModificationsYan Zhang; Yulin Ding20082008, vol.31
Conjunctive Query Answering for the Description Logic SHIQBirte Glimm; Ian Horrocks; Carsten Lutz; Ulrike Sattler20082008, vol.31
Sound and Complete Inference Rules for SE-ConsequenceKa-ShuWong20082008, vol.31
Loosely Coupled Formulations for Automated Planning: An Integer Programming PerspectiveMenkes H. L. van den Briel; Thomas Vossen; Subbarao Kambhampati20082008, vol.31
On the Expressiveness of Levesque's Normal FormYongmei Liu; Gerhard Lakemeyer20082008, vol.31
Modular Reuse of Ontologies: Theory and PracticeBernardo Cuenca Grau; Ian Horrocks; Yevgeny Kazakov; Ulrike Sattler20082008, vol.31
The Complexity of Planning Problems With Simple Causal GraphsOmer Gimenez; Anders Jonsson20082008, vol.31
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024