Knowledge Representation

📄️ First Order Predicate Logic

First Order Logic in AI

📄️ Prolog Programming

📄️ Unification

📄️ Chaining

📄️ Knowledge Representation

Desirable Properties of a Good Knowledge Representation System

📄️ Resolution

📄️ Ontological Engineering

📄️ Events

📄️ Reasoning