Automated Reasoning (MSc Course)

General Information

This course is intended as an introduction to computational logic, its main notions and methods, applications and modelling.

Part of the assessment for this course will come from assessed exercises. The exercises and corresponding deadlines will be published on this page.

(13/10/2009) This page has been created.

#	date	topic	slides	assignment	deadline
1	Nov 12	Introduction. Propositional Logic and Satisfiability Checking. Clausal Forms. Resolution	slides	1	Nov. 19
2	Nov 19	Propositional Resolution. First-Order Logic	slides	2	Nov. 30

topic/link to slides	last modified
All slides	Dec 03
Introduction	Nov 24
Propositional Logic	Nov 24
Propositional Resolution	Nov 24
First-Order Logic	Dec 03
Substitutions and Unification	Dec 03
Resolution for First-Order Logic	Dec 03
Prolog	Nov 13