IA
Logical methods for AI
Tutorial excercises for tutorials
This work is licensed under CC BY 4.0
Tutorials
- Tutorial 1. Logic and AI 3. Logic and AI
- Tutorial 2. Valid inference 3. Valid inference
- Tutorial 3. Formal languages 3. Formal languages
- Tutorial 4. Boolean algebra 3. Boolean algebra
- Tutorial 5. Boolean satisfiability 3. Boolean satisfiability
- Tutorial 6. Logical conditionals 3. Logical conditionals
- Tutorial 7. Logical proofs 3. Logical proofs
- Tutorial 8. FOL 3. FOL
- Tutorial 9. FOL inference 3. FOL inference
- Tutorial 10. Many-valued logics 3. Many-valued logics
- Tutorial 11. Logic and probability 3. Logic and probability
- Tutorial 12. Logical learning 3. Logical learning