The Stanford Formal Reasoning Group

Information

The Stanford Formal Reasoning Group web page.

Our HPKB Proposal.

The HPKB Project web page.

John McCarthy's slides from the West Coast intro meeting. A postscript version .

Tom Costello's slides from the West Coast intro meeting

See FORMALIZING CONTEXT (Expanded Notes) for applications of context in information integration.

Summary of project for June Meeting in powerpoint format

Sample significant accomplishment that we might achieve in one year.