Formal Reasoning Group - Formal Reasoning Group. John McCarthy's formal reasoning group at Stanford.FORWISS - Decision Support Systems - The research group of FORWISS in Passau works among other things in Image-Processing, Expert Systems, Configuration Systems, MultiMedia, Quality Control, Sensor Evaluation and Simulation. The purpose of Decision Support Systems is to release the human being from some work but not to replace it.
Stanford Knowledge Systems Laboratory - The Stanford Knowledge Systems Lab, birthplace of expert systems.
Natural Language and Knowledge Representation Research Group - Natural Language and Knowledge Representation Research Group at UWM.
UTEP Knowledge Representation Group - The purpose of the Knowledge Representation Group is to provide an environment for undergraduate and graduate students to learn and to do research together with each other and with the professors.
The Stanford Logic Group - The Logic Group
SNePS Research Group - Describes the Semantic Network Processing System and its associated Research Group. We do research in knowledge representation, reasoning, and acting.
Information Systems Laboratory (ISL) of the ICS-FORTH - A research group 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.
Knowledge Representation Laboratory - Knowledge Representation Laboratory (KR-LAB) is a research laboratory of Computer Science and Information Management Program at Asian Institute of Technology. Current research conducted by KR-LAB focuses on information representation and modeling, the Semantic Web and software engineering.
Ontology, conceptual modeling, and knowledge engineering - Basic/applied research on role of ontology in knowledge engineering, electronic commerce, enterprise integration, information systems
Man-Machine Interaction, ETH Zurich, Switzerland - Research group for Human-Computer Interaction at ETH, Zurich, Switzerland. Understanding and representing knowledge and work processes plays a key role in the activities of the group, which are Education Communication Interface design Task analysis Prototyping
