Course pages 2016–17

# Automated Reasoning

### Lecture notes

- Lecture 1: Introduction to and History of Automated Reasoning
- Lecture 2: Mathematical Logic - Revision
- Lecture 3: Representation of Mathematical Knowledge
- Lecture 4: Establishing Correctness by Proof
- Lectures 5, 6 and 7: Unification Algorithms and Search for Refutation (plus revision)
- Lecture 8: Rewrite Rules
- Lecture 9: Decision Procedures
- Lecture 10: Mathematical Induction
- Lecture 11: Proof Planning and Rippling - Heuristic Guidance for Inductive Proof
- Lecture 12: Application of AR in Ontologies/Semantic Web
- Lecture 13: Application of AR in Diagrammatic and Heterogeneous Reasoning
- Lectures 14: Student Presentations

### Literature survey:

### Paper review and presentation:

### Exercises:

- Exercises for lecture 2 on mathematical logic
- Exercises for lecture 3 on mathematical knowledge representation
- Exercises for lecture 4 on establishing correctness by proof
- Exercises for lectures 5, 6 and 7 on unification algorithms and search
- Exercises for lecture 8 on rewrite rules
- Exercises for lecture 9 on decision procedures
- Exercises for lecture 10 on mathematical induction
- Exercises for lecture 11 on proof planning and rippling
- Exercises for lecture 12 on ontologies
- Exercises for lecture 13 on diagrammatic and heterogeneous reasoning