Geometry theorem proving using Hilbert's Nullstellensatz
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Domain modeling-based software engineering: a formal approach
Domain modeling-based software engineering: a formal approach
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Some challenges and grand challenges for computational intelligence
Journal of the ACM (JACM)
Progress in the development of national knowledge infrastructure
Journal of Computer Science and Technology
From Hardware to Software to Knowware: IT's Third Liberation?
IEEE Intelligent Systems
Automatic generation of computeranimation: using AI for movie animation
Automatic generation of computeranimation: using AI for movie animation
Intelligent Railway Systems in China
IEEE Intelligent Systems
ICA3D - Intelligent computer-aided ancient Chinese architecture design
Advanced Engineering Informatics
Hi-index | 0.00 |
Year 2006 marks the 50th anniversary of the birth of modern artificial intelligence research. Chinese researchers have been conducting AI research for decades. Here, the authors sample some of the most promising areas Chinese AI researchers are studying and discuss related future activities.This article is part of a special issue on the Future of AI.