1:45:18SoCS 2020 Master Class: Answer Set Programming: Modeling, Solving and ApplicationsMauro Vallati1.4K viewsView & Download
1:30:10Answer Set Programming in a NutshellSimons Institute for the Theory of Computing4.7K viewsView & Download
1:45:04Martin Gebser - Applications of Answer Set Programming (Part 2)Autumn School on Logic and Constraint Programming397 viewsView & Download
25:33Beyond version solving: implementing general package solvers w Answer Set Programming Todd GamblinPackagingCon764 viewsView & Download
58:51SoCS 2020 Master Class: Compilation-based approaches to planning and schedulingMauro Vallati410 viewsView & Download
13:49An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set ProgrammingSUM Conference81 viewsView & Download
41:56ASP: Theory, Practice, and BeyondSimons Institute for the Theory of Computing1.2K viewsView & Download
11:02Polynomial Formal Verification of Adder Circuits Using Answer Set ProgrammingMohamed Nadeem51 viewsView & Download
43:10SoCS 2020 Master Class: Solving algorithms for two-player games from the ground upMauro Vallati367 viewsView & Download
28:17[PADL'23] Solving Vehicle Equipment Specification Problems with Answer Set ProgrammingACM SIGPLAN84 viewsView & Download
2:12:28Lecture 6 - Statistical Relational Extensions of Answer Set ProgrammingGuohui Xiao63 viewsView & Download
1:06:30SoCS 2020 Master Class: Domain-dependent and Domain-independent Suboptimal Heuristic SearchMauro Vallati301 viewsView & Download