博文
人工智能与数学国际研讨会
|||
两年举行一次，主要探讨数学、理论计算机科学、人工智能学科间的相互交叉与互动。如感兴趣没有链接的相关资料可自行检索。
Eleventh International Symposium on Artificial Intelligence and Mathematics 2010
Tenth International Symposium on Artificial Intelligence and Mathematics, 2008
Ninth International Symposium on Artificial Intelligence and Mathematics, 2006
Eighth International Symposium on Artificial Intelligence and Mathematics, 2004
Seventh International Symposium on Artificial Intelligence and Mathematics, 2002
Sixth International Symposium on Artificial Intelligence and Mathematics, 2000
Fifth International Symposium on Artificial Intelligence and Mathematics, 1998
Fourth International Symposium on Artificial Intelligence and Mathematics, 1996
Third International Symposium on Artificial Intelligence and Mathematics, 1994
Second International Symposium on Artificial Intelligence and Mathematics, 1992
First International Symposium on Artificial Intelligence and Mathematics, 1990
“Problem Solving = Modeling + Theorem Proving“ 这样的模式从基础理论研究层面讲肯定是重要的，但智能理论、智能技术、智能工程要双向互动，指向明确（细化），智能本质探求等问题也应看成是基础理论问题（认知科学）,学科分工与交叉要明确，共同体间要密切协作。好好研究一下MIT这方面的研究历程是必要的，能产生很好的启示作用。
https://blog.sciencenet.cn/blog-89075-452856.html
上一篇：FuseSource Open Source SOA
下一篇：UBUNTU串口调试助手CuteCom
Eleventh International Symposium on Artificial Intelligence and Mathematics 2010
Tenth International Symposium on Artificial Intelligence and Mathematics, 2008
Ninth International Symposium on Artificial Intelligence and Mathematics, 2006
Eighth International Symposium on Artificial Intelligence and Mathematics, 2004
Seventh International Symposium on Artificial Intelligence and Mathematics, 2002
Sixth International Symposium on Artificial Intelligence and Mathematics, 2000
Fifth International Symposium on Artificial Intelligence and Mathematics, 1998
Fourth International Symposium on Artificial Intelligence and Mathematics, 1996
Third International Symposium on Artificial Intelligence and Mathematics, 1994
Second International Symposium on Artificial Intelligence and Mathematics, 1992
First International Symposium on Artificial Intelligence and Mathematics, 1990
“Problem Solving = Modeling + Theorem Proving“ 这样的模式从基础理论研究层面讲肯定是重要的，但智能理论、智能技术、智能工程要双向互动，指向明确（细化），智能本质探求等问题也应看成是基础理论问题（认知科学）,学科分工与交叉要明确，共同体间要密切协作。好好研究一下MIT这方面的研究历程是必要的，能产生很好的启示作用。
https://blog.sciencenet.cn/blog-89075-452856.html
上一篇：FuseSource Open Source SOA
下一篇：UBUNTU串口调试助手CuteCom
