During this course, students will learn
- Introduction
- Basic Definitions (Satisfiability and Validity)
- Boolean Functions
- Normal Forms
- Satisfiability
- Semantic Tableaux
- Relational Logic
- Relational Proofs
- Unificaton
- Relational Resolution,
- Resolution Strategies
- Applications
- Answer set programming
- ASP systems and tools