PROGRAMS WITH COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305

Source URL: www-formal.stanford.edu

• Logic
• Reasoning
• Logic programming
• Logical truth
• Propositional calculus
• Logical consequence
• Advice taker
• Logic Theorist
• Argument
• Rule of inference
• Substitution
• First-order logic