AI

Up to: McCarthy home Page

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 provers

Mace model finder William McCune, ANL

Qualitative Reasoning Home Page (Japan)

Qualitative Reasoning Group (Northwestern)

Report of the QED Workshop II

intelligent software agents

DFKI, the German Research Center for AI

Reasoning about actions (El Paso)

Reasoning about Actions (London)

Individuals in AI

Mike Genesereth

Chitta Baral with Gelfond at UTEP

Murray Shanahan

Shaul Markovitch

Erik Sandewall et. al.

James Daugherty

Fausto Giunchiglia

David McAllester

Maarten H. van Emden

Jorn Barger's FAQ on AI

Jorn Barger's ideas

Sloman's Cognition and Affect

I welcome comments, and you can send them by clicking on jmc@cs.stanford.edu

The number of hits on this page since 1995 November 13.