- Knowledge Systems Laboratory Stanford University The Knowledge Systems Lab (KSL) conducts research in the core Artificial Intelligence areas of knowledge representation and reasoning, within the Department of Computer Science at Stanford University. Current work focuses on design and development of knowledge servers; multi-use ontologies, knowledge bases and knowledge system modules; ...www-ksl.stanford.edu
- Formal Reasoning Group The formal reasoning group focuses on the analysis and development of formal reasoning in artificial intelligence. Members Amir Eyal Buvac Sasa Costello Tom McCarthy John Parmar Aarati Patterson Anna Sierra Josefina Talcott Carolyn Chris Lilly, Administrator FRG Alumni Guha R. V. Related Logical AI Researchers Leora Morgenstern The interests of the group. We participate in ...www-formal.stanford.edu
- FORWISS Forschungsgruppe Entscheidungsunterstutzende Systeme ...www.forwiss.uni-passau.de
- SNePs.cse.buffalo.edu/sneps