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
Thumbnail of www-formal.stanford.edu
URL: http://www-formal.stanford.edu/jmc/consciousness.html
Thumbnail of www-formal.stanford.edu
URL: http://www-formal.stanford.edu/jmc/mcchay69/mcchay69.html URL: http://www-formal.stanford.edu/jmc/progress
Thumbnail of www-formal.stanford.edu
URL: http://www-formal.stanford.edu/jmc/mcchay69/node22.html
Thumbnail of www-formal.stanford.edu
URL: http://www-formal.stanford.edu/jmc/modality/modality.html
Thumbnail of www-formal.stanford.edu
URL: http://www-formal.stanford.edu/clt/ARS/systems.html
Thumbnail of www-formal.stanford.edu
URL: http://www-formal.stanford.edu/jmc/progress/nuclear-faq.html
Thumbnail of www-formal.stanford.edu
URL: http://www-formal.stanford.edu URL: http://www-formal.stanford.edu/leora/commonsense/ URL: http://www-formal.stanford.edu/jmc/lemmings.pdf URL: http://www-formal.stanford.edu/jmc/progress/population.html
Thumbnail of www-formal.stanford.edu
Tags: 

URL: http://www-formal.stanford.edu/jmc/recursive/recursive.html URL: http://www-formal.stanford.edu/leora/krcourse/
Thumbnail of www-formal.stanford.edu

URL: http://www-formal.stanford.edu/jmc/

Tweets 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