Research in natural language processing, knowledge representation, machine translation, probabilistic reasoning, and planning.

Cambridge, England. Cryptic crossword solving; anagrams; search; computer chess; knowledge representation.

Charitable organization concerned with fostering research and communication on knowledge representation and reasoning. Features conferences, educational materials and mailing lists.

Provides background material and tutorials on ontology and related topics in logic, conceptual graphs, and natural language semantics.