Knowledge Representation

Propositional Logic

Relational Algebra

Datalog

First-Order Predicate Calculus

Previous slide

Next slide

Back to first slide

View graphic version