| FORWISS: Develops knowledge-based systems on the basis of mathematical models. Features current and completed projects and contact information. |
| 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 seminars. |
| Knowledge Representation Laboratory: Focuses on information representation and modeling, the Semantic Web and software engineering. Features projects, resources and publications. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| The Stanford Logic Group: Concerned with the representation and processing of information in the form of logical statements. Features group members and projects. |
Classical
