Systems and Solving Techniques for Knowledge Representation |
|
Credits: |
3 ECTS |
Master: |
066 011 Double degree programme Computational Logic (Erasmus-Mundus) 066 931 Computational Intelligence 066 937 Software Engineering & Internet Computing |
Course overview: |
Datalog; Answer Set Programming; Abstract Solvers for ASP solvers; Portfolio/Multi-Engine ASP solvers (24h) |
Bibliography: |
The needed paper references can be found in the slides. |