Videos

Search results:

• 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.