An overview of artificial intelligence (AI), the different branches of AI, applications of artificial intelligence, and the like.

An extensive collection of essays from the Massachussets Institute of Technology on advanced topics in the field of artificial intelligence.

Explains the logical theory of "many-valued logic," a modern alternative to classic logic. Sections address its history, notation and proofs, and applications to linguistics, mathematics, philosophy, and artificial intelligence. For the...

Discusses the temporal logic of Arthur Prior, a type of modal logic. After technical definitions, author addresses related philosophical issues. Also summarizes applications in natural language, computer science, and artificial...

This site contains a Wikipedia description of SAIL programming.

Students are introduced to the concept of light pollution by investigating the nature, sources and levels of light in their classroom environment. They learn about the adverse effects of artificial light and the resulting consequences on...