On Mechanization of Thought Processes (Extended Abstract).

Jon Doyle

Browse the full KR paper archive.