Declarative Amsterdam

Presentations and tutorials

Active filters:

In-source testing for Answer Set Programming

Erik Groeneveld
Introduction into in-source testing and how it is done in ASP Potasco/Clingo). Discussion of a few examples and a challenge for working in groups. The aim is to raise awareness and gather feedback. Hands-on.
Tutorial, 7 November 2024