» FORWISS    De­velops knowledge-based systems on the basis of mathematical models. Features current and completed projects and contact information.    http://www.forwiss.uni-passau.de/

» Information Systems Laboratory    Active in the areas of information modelling, knowledge and data base management systems, ontology-driven systems, terminology management systems and information integration and retrieval systems for the Web. Features history, events, publications and sem    http://www.ics.forth.gr/

» Knowledge Representation Laboratory    Focuses on information representation and modeling, the Semantic Web and software engineering. Features projects, resources and publications.    http://kr.cs.ait.ac.th/

» Laboratory for Applied Ontology    Performs basic and applied research on the ontological foundations of conceptual modeling. Features events, projects, publications, tutorials and contact for employment.    http://www.loa-cnr.it/

» Natural Language and Knowledge Representation Research Group    Investigates issues related to human-computer communication, with an emphasis on techniques drawn from natural language processing and knowledge representation. Features projects, demos and publications.    http://tigger.cs.uwm.edu/~nlkrrg/

» Stanford Knowledge Systems Laboratory    Conducts research in the core Artificial Intelligence areas of knowledge representation and reasoning. Features software and network services, technical reports, projects and contact information.    http://www-ksl.stanford.edu/

» The SNePS Research Group    Design and construction of a natural-language-using computerized cognitive agent with a focus on knowledge representation, reasoning, and natural-language understanding and generation. Features projects, software demo and news.    http://www.cse.buffalo.edu/sneps/

» The Semantic Web and Agent Technologies (SWAT) Lab    Team at Lehigh University. Projects include HAWK, a OWL Repository and Toolkit, Comparison of DAML+OIL Repositories, and Local Closed World Reasoning on the Semantic Web.    http://www.cse.lehigh.edu/~heflin/research/

» The Stanford Logic Group    Concerned with the representation and processing of information in the form of logical statements. Features group members and projects.    http://logic.stanford.edu