中国机械工程学会生产工程分会知识服务平台

期刊


ISSN0913-5685
刊名電子情報通信学会技術研究報告
参考译名电子信息通信学会技术研究报告：人工智能和知识基础的处理
收藏年代2000～2017

关联期刊参考译名收藏年代
電子情報通信学会技術研究報告电子信息通信学会技术研究报告：人工智能和知识处理2022～2023


全部

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

2002, vol.102, no.615 2002, vol.102, no.709 2002, vol.102, no.710 2002, vol.102, no.711 2002, vol.102, no.91

题名作者出版年年卷期
Consideration about learning from interpretations in general clausal theoryNoriaki Yamasaki; Katumi Inoue; Hiromasa Haneda20022002, vol.102, no.91
Signal transduction and hypothetical reasoning application in bioinformaticsKen-ichiro Fukuda20022002, vol.102, no.91
A proof assistant system xpeMotohiko Mouri20022002, vol.102, no.91
Logical verifications for security protocols based on linear logicMitsuhiro Okada; Koji Hasebe20022002, vol.102, no.91
A new trend in belief propagationTaisuke Sato20022002, vol.102, no.91
Linear logic and logic programmingNaoyuki Tamura20022002, vol.102, no.91
Pruning model generation tree by a Boolean constraint solverMiyuki Koshimura; Ryuzo Hasegawa20022002, vol.102, no.91
Effective SAT planning by speculative computationHidetomo Nabeshima; Koji Iwanuma20022002, vol.102, no.91
A survey of dynamic epistemic logics and dynamic doxastic logics from the point of view of Kripke systemsNorihiro Ogata20022002, vol.102, no.91
Rearrangement of floor layouts based on case-based reasoning and constraint satisfactionSatoshi Ono; Yoshinobu Hamada; Mamoru Mizutani; Kazunori Mizuno; Yukio Fukui; Seiichi Nishihara20022002, vol.102, no.91
12



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