Common sense problems (Ernie Davis and Leora Morgenstern)
Web site for Russell and Norvig
Minsky disappointed in AI research
Journal of Machine Learning Research
Neal Roese's site on counterfactuals
Ernie Davis: advice to student axiomatizers
Story understanding - Erik Mueller
Buchanan AAAI site for the layman
Cog project (Brooks, Stein, Dennett)
Toronto AI group, Reiter, Levesque
Electronic Transactions on Artificial Intelligence (ETAI)
FIPA, some European research support org.
Thomason bibliography on context
ETAI NEWSLETTER ON REASONING ABOUT ACTIONS AND CHANGE
Thousands of problems for theorem provers
Mace 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)
Chitta Baral with Gelfond at UTEP
ECSTER (European Colloquium for Spatial and Temporal Reasoning)
Formalized Mathematics - John Harrison
Costello thesis draft 96-03-22
Toronto Cognitive Robotics, Reiter Levesque