1.Previous
3.Next

Goals and applications

General intelligence

* Artificial general intelligence
** AI-complete

Reasoning and problem solving

* Automated reasoning
* Mathematics
** Automated theorem prover
** Computer-assisted proof -
** Computer algebra

1.Previous
3.Next