Slides, Exercises and research papers

Systems and Solving Techniques for Knowledge Representation and Reasoning 

Preliminary and Advanced Topics
(To be updated):

• Introduction (pdf)
• Datalog (part I) (pdf)
• Datalog (part II) (pdf)
• Normal logic programs (pdf)
• Grounding (pdf)
• Abstract solvers for SAT (pdf) [(Partly) done in class]
• Abstract solvers for ASP (pdf) [(Partly) done in class]
• 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)
• Extensions of SAT/ASP: Quantified SAT, Constraint ASP
• Alternative formalisms: Abstract Argumentation Frameworks

Exercises done:

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

Research papers and more for main topics:

• SAT: DPLL and CDCL algorithms (Section 2)
• ASP: DPLL-like non-disjunctive ASP (Section 3, 4, and 5), CDCL-like non-disjunctive ASP (Section 7 and 8), DPLL-like disjunctive ASP, cautious reasoning
• QSAT: QDPLL algorithm

• DPLL & CDCL: Book chapter on (DPLL and) CDCL algorithm for SAT
• QSAT: Book chapter on QPDLL (and QCDCL) algorithm for QSAT

• MiniSAT solver can be dowloaded here.
• ASP grounder and solver Gringo, Clasp and Clingo can be dowloaded here.
• ASP solver Wasp can be dowloaded here.