How AI systems store, use, and infer knowledge.
Using Propositional and First-Order Logic to represent facts.
Structuring knowledge with concepts, properties, and relations.
Large-scale networks of real-world entities and their relations.
Comparing logic-based and data-driven AI paradigms.