Imagine computer science all summed up in one book. This resource provides 16 chapters that cover many aspects of computer science, ranging from algorithms to software engineering. The e-book contains links to applets to help explain...

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...

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.

This site contains a Wikipedia description of SAIL programming.

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...