Systems and Solving Techniques for Knowledge Representation and Reasoning |
|
Credits: |
3 ECTS |
Master: |
|
Course overview: |
Solving algorithms presented in terms of Abstract Solvers for Propositional Satisfiability, Answer Set Programming and Beyond; |
Bibliography: |
The needed paper references can be found at the end of the slides and in the online material. See here. |