Course page Home page Home pageNew course

Logic and automated reasoning | Zoonk

18. Logic and automated reasoning

Express facts and rules with propositional and first-order logic, then apply deduction, unification, and resolution.

Artificial Intelligence

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc