Stanford University: The Stanford Logic Group(27th April, 2005): Information about current research and publications related to logical approaches to knowledge representation and inference in artificial intelligence.
German Research Center for AI (): Deduction and multiagent systems, information management and document analysis, intelligent user interfaces, intelligent visualization and simulation systems, language technology.