Formal Methods Wiki
VL2

Virtual Library
Computing
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 [news:comp.ai comp.ai] 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:

Newsgroups[]

The following AI newsgroups may be of interest:

  • [news:comp.ai comp.ai]
  • [news:comp.ai.edu comp.ai.edu]
  • [news:comp.ai.fuzzy comp.ai.fuzzy]
  • [news:comp.ai.genetic comp.ai.genetic]
  • [news:comp.ai.jair.announce comp.ai.jair.announce]
  • [news:comp.ai.jair.papers comp.ai.jair.papers]
  • [news:comp.ai.nat-lang comp.ai.nat-lang]
  • [news:comp.ai.neural-nets comp.ai.neural-nets]
  • [news:comp.ai.nlang-know-rep comp.ai.nlang-know-rep]
  • [news:comp.ai.philosophy comp.ai.philosophy]
  • [news:comp.ai.shells comp.ai.shells]
  • [news:comp.ai.vision comp.ai.vision]
  • [news:comp.robotics comp.robotics]

* See also comp.ai.* 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.