Here are some references to home pages of individuals and institutions concerned with AI. I'd be glad to have more references.
AI Institutions Thousands of problems for theorem proversMace model finder William McCune, ANL
Qualitative Reasoning Home Page (Japan)
Qualitative Reasoning Group (Northwestern)
DFKI, the German Research Center for AI
Reasoning about actions (El Paso)
Reasoning about Actions (London)
Individuals in AI Varol AkmanChitta Baral with Gelfond at UTEP
I welcome comments, and you can send them by clicking on jmc@cs.stanford.eduRetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4