Robot Delivery (Situation Calculus) Smart Home (Event Calculus) Campus Navigator (Spatial Reasoning) Medical Expert (Rule-Based Expert System) AI Detective (Rule Chaining) Semantic Network (Ontologies) Case Solver (CBR & MBR)