Based on the sufficient study on various logics in artificial intelligence and computer science, we in this project paid our main attention to the problem of model checking epistemic logic.

本项目在充分研究研究人工智能逻辑的基础上，着重对认识逻辑的模型检测问题进行研究。

youdao

Researchers in MIT’s Computer Science and Artificial Intelligence Lab hope to change that, with a system that allows people to write programs using screen shots of GUIs.

MIT计算机科学人工智能实验的研究员们希望改变这种状况，他们开发了一个可以让人们利用GUI的截图来编写程序的系统。

youdao

At the Academy, Pajitnov's work involved computer science research like artificial intelligence and speech recognition.

在科学院，帕基特·诺夫的工作是包括诸如人工智能和语言识别的计算机科学研究。

youdao

Rodney Brooks, Rethink Robotics founder and former director of the MIT Computer and Science and Artificial Intelligence Lab, said he hoped Baxter represented a "new concept in manufacturing".

BBC: Baxter the robot

Today, Katz works at the renowned Massachusetts Institute of Technology, where he is the principal research scientist at the Computer Science and Artificial Intelligence Laboratory.

CNN: 'Littlest refusenik' on Kennedy: 'He saved my life'

Artificial intelligence as a branch of computer science enjoyed a surge of interest and attention in the mid-1980s and there was a corresponding surge of medical applications.

FORBES: Watson: Fighting the Last War