www-formal.stanford.edu
Research on reasoning, including default and nonmonotonic reasoning.
URLs from www-formal.stanford.edu:
URL: http://www-formal.stanford.edu/jmc/basis1/basis1.html URL: http://www-formal.stanford.edu/jmc/model/model.html URL: http://www-formal.stanford.edu/jmc/consciousness.html URL: http://www-formal.stanford.edu/jmc/mcchay69/mcchay69.html URL: http://www-formal.stanford.edu/jmc/progress URL: http://www-formal.stanford.edu/jmc/mcchay69/node22.html URL: http://www-formal.stanford.edu/jmc/modality/modality.html URL: http://www-formal.stanford.edu/clt/ARS/systems.html URL: http://www-formal.stanford.edu/jmc/progress/nuclear-faq.html URL: http://www-formal.stanford.eduTweets about www-formal.stanford.edu
- And don't forget this paper (which took me months to grasp, but essential!): John McCarthy's mind-shifting piece:
- RT @maradydd: "He who refuses to do arithmetic is doomed to talk nonsense." --John McCarthy h/t @psnively
- "He who refuses to do arithmetic is doomed to talk nonsense." --John McCarthy h/t @psnively