The Stanford Formal Reasoning Group
Supplementary Questions about a hypothetical Taiwan crisis
Stanford Formal Reasoning Group web page.
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
FORMALIZING CONTEXT (Expanded Notes) for applications of context in information integration.
- Summary of project for June Meeting
in powerpoint format
significant accomplishment that we might achieve in one year.