AAAI Spring Symposium Series, March 26-28 2007, Stanford University, California
COMMONSENSE 2007
8th International Symposium on Logical Formalizations of Commonsense Reasoning
A special event in honor of John McCarthy
Finitely-Verifiable Classes of Sentences - follow-up notes
Fangzhen Lin
For co-authors: how to edit the follow-up notes
Commonsense 2007 Home Page
Call For Papers
Symposium Committee
Schedule
Participants
Photographs
Accepted Papers
Instructions for Authors
John McCarthy: tributes, messages and anecdotes
Other Useful Links
AAAI Spring Symposia 2007
Common Sense Problem Page
Commonsense 2001
Commonsense 2003
Commonsense 2005
CS'07 PC intranet
A revised version of the paper can be found
here
.
Web site hosted by
University College London