Learning Material
A more detailed introduction on propositional and first order logic as well as the resolution and tableaux algorithms can be found the the following book:
- EN: Logic for Computer Scientists , Uwe Schöning, Springer [Google Books]
- DE: Logik für Informatiker , Uwe Schöning, Spektrum Akademischer Verlag [Amazon] [Google Books]
The introduction of the resolution algorithm for logics is described by J.A. Robinson in paper "A Machine-Oriented Logic Based on the Resolution Principle" [Note: this is only for those who are interested in the original research paper on resolution. It is much better explained in textbooks on logics, such as e.g. Schöning]
Tom Gruber answers the question "What is an ontology?", originally published in 1992
The PDF files of the lecture slides and the audio streams can be downloaded here:
- Lecture 4 - Part 1, Week 4 - lecture slides at Slideshare
- Lecture 4 - Part 2, Week 4 - lecture slides at Slideshare
- Lecture 4 - Part 3, Week 4 - lecture slides at Slideshare
- Lecture 4 - Part 4, Week 4 - lecture slides at Slideshare
- Lecture 4 - Part 5, Week 4 - lecture slides at Slideshare
- Lecture 4 - Part 6, Week 4 - lecture slides at Slideshare
- Lecture 4 - Part 7, Week 4 - lecture slides at Slideshare
- Lecture 4 - Part 8, Week 4 - lecture slides at Slideshare
- Lecture 4 - Part 9, Week 4 - lecture slides at Slideshare