Logic, Programming and Prolog - Chapter 1 Notes

11-03

Propositional Logic and Resolution (Part 2)

11-01

Validating Models

10-25

Definite Logic Programs: Models

10-24

Mathematical Models

10-06

Propositional Logic and Resolution (Part 1)

10-01

Scores and Rankings

09-26