The greatest works are those that are still being read long after their authors have died.
最伟大的作品是那些在作者去世很久之后仍被阅读的作品。
We wish to bring our monsters out and let them deal with the world.
人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。
在科学中最重要的不是解决问题,而是提出正确的问题。
Innovation distinguishes between a leader and a follower.