Formal Methods Wiki

Virtual Library
Software engineering
Formal methods

Please add information and links concerning Artificial Intelligence (AI) to this page. Alternatively, please contact Jonathan Bowen if you know of relevant on-line information not included here. Use the newsgroup for general AI-related queries.

This document contains some pointers to information on Artificial Intelligence (AI) available around the world on the World Wide Web (WWW).

* Starred entries are especially recommended.
! New entries are added periodically.

Research sites and projects[]

* See also links to AI research groups in:


The following AI newsgroups may be of interest:

* See also* newsgroups and search for artificial intellience from Google Groups.

Other information[]

See also information on logic programming.

Last updated by Jonathan Bowen, 1 April 2009.
Further information for possible inclusion is welcome.