6:11Answer set solving in practice, language, base (conditional literals)Potassco914 viewsView & Download
23:08Answer set solving in practice, language, formats (input, rules and aggregates)Potassco1.2K viewsView & Download
6:20Answer set solving in practice, language, base (integrity constraints)Potassco1.2K viewsView & Download
26:51Answer set solving in practice, language, base (cardinality constraints)Potassco1.6K viewsView & Download
41:56ASP: Theory, Practice, and BeyondSimons Institute for the Theory of Computing1.2K viewsView & Download
25:33Beyond version solving: implementing general package solvers w Answer Set Programming Todd GamblinPackagingCon765 viewsView & Download
21:18Easy answer set programming, introduction, variables first examplePotassco3.3K viewsView & Download
