The ASP Solving Process via Graph Coloring
A basic modeling course showing how to model a simple problem.
Basic Modeling in ASP via n-Queens Puzzles
This video series shows how to write logic programs that can be solved efficiently.
Optimization in clasp 3 via Traveling Salespersons
An introduction to optimization in ASP.
Ricochet Robots with ASP
How to encode the Ricochet Robots problem.
Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning
An overview over the ASP solving process from modeling, grounding, and solving to the usage of ASP systems.
Answer Set Solving in Practice (Tutorial)
How to write logic programs and use ASP systems.
Experiencing Answer Set Programming at Work, Today and Tomorrow
An overview over ASP and advanced topics like optimization and reactive ASP.