Slides, Exercises and research papers

Seminar in Theoretical Computer Science 

Preliminary and Advanced Topics
(Slides from last year course on "Systems and Solving Techniques for Knowledge Representation and Reasoning"):

• 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)
• 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) [Toni]
• ASP: DPLL-like non-disjunctive ASP (Section 3, 4, and 5) [Manouchehr], CDCL-like non-disjunctive ASP (Section 7 and 8) [Jannik], DPLL-like disjunctive ASP [Mehdi],
cautious reasoning
• QSAT: QDPLL algorithm [Fatemeh]
• CASP: CASP algorithms [Markus]
• AF: AF algorithms [Thomas]

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

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