resources
text
- Artificial Intelligence: A Modern Approach, 2nd edition, Stuart Russell and Peter Norvig, Prentice Hall 2002
online
lisp
Any sufficiently complicated C or Fortran program contains an ad-hoc, informally-specified bug-ridden slow implementation of half of Common Lisp. -
Philip Greenspun
reasoning
- OpenCyc - "common sense" knowledge base
- TPTP - Thousands of Problems for Theorem Provers
- protege ontology editor and knowledge thing
various software libraries
articles
writing