CSC 662: Artificial intelligence (Spring 2024)

AI problem solving - Knowledge representation - Automatic theorem proving - Learning by example - Learning by analogy - Learning by discovery - Self-reference and Self-production - Reasoning: causal reasoning - commonsense reasoning - default reasoning - measure-based approaches - reasoning with uncertainty - Confirmation theory - Belief theory - Necessity and possibility theory - Theory of endorsements - Spatial and temporal reasoning.