Kordamisküsimused.

1. Resolutsioon lausearvutuses.
2. Davis-Putnami algoritm.
3. Unifitseerimine.
4. Resolutsioon predikaatarvutuses.
5. Võrdusega predikaatarvutus.
6. Resolutsioonistrateegiad.
7. Temporaalloogika modaalne lähenemine.
8. Temporaalloogika predikaatarvutuslik lähenemine.
9. Kirjeldusloogikad.