Slides and Exercises

Systems and Solving Techniques for Knowledge Representation 

Slides:

• Introduction (pdf)
• Datalog (part I) (pdf)
• Datalog (part II) (pdf)
• Normal logic programs (pdf)
• Grounding (pdf)
• Abstract solvers for SAT (pdf)
• Abstract solvers for ASP (pdf)
• Disjunctive logic programs (pdf)
• Abstract solvers for disjunctive ASP (pdf)
• Abstract solvers for cautious reasoning in ASP (pdf)
• Aggregates and Weak constraints (pdf)
• Guess & Check (pdf)

Esercises done in class:

• Datalog (part I)
• Datalog (part II)
• Normal logic programs
• Disjunctive logic programs
• Aggregates and Weak constraints

Exercises proposed for next lecture:

• Datalog (part I) (pdf) [to be presented in the lecture of 19-10-2015]
• Datalog (part II) (pdf) [to be presented in the lecture of 23-10-2015]
• Normal logic programs (pdf) [to be presented in the lecture of 28-10-2015]
• Grounding (pdf) [to be presented in the lecture of 28-10-2015]
• Abstract solvers for SAT (pdf) [to be presented in the lecture of 30-10-2015]
• Abstract solvers for ASP (pdf) [to be presented in the lecture of 04-11-2015]
• Disjunctive logic programs (pdf) [to be presented in the lecture of 04-11-2015]
• Abstract solvers for disjunctive ASP (pdf) [Ex XIII to be presented in the lecture of 06-11-2015; Ex XIV* deadline: 12-11-2015]
• Aggregates and Weak constraints (pdf) [Deadline: 12-11-2015]
• Guess & Check (pdf) [Deadline: 12-11-2015]

Online material:

• Gringo and Clasp can be dowloaded here.
• Wasp can be dowloaded here.