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.
Supplementary Questions about a hypothetical Taiwan crisis
eyal@leland.stanford.edu