Course material: Advanced Answer Set Solving for Engineers

Material on our advanced course for engineers

Schedule

Monday

• 8:30-10:00 ASP Systems, Heuristic and Meta Programming I
• 10:00-10:30 Break
• 10:30-12:00 ASP Systems, Heuristic and Meta Programming II
• 12:00-13:00 Lunch
• 13:00-16:00 Projects

Tuesday

• 8:30-10:00 Multi-shot solving
• 10:00-10:30 Break
• 10:30-12:00 Project introduction
• 12:00-13:00 Lunch
• 13:00-16:00 Project implementation

Wednesday

• 8:30-10:00 Theory solving
• 10:00-10:30 Break
• 10:30-12:00 Project introduction
• 12:00-13:00 Lunch
• 13:00-16:00 Project implementation

Slides

• v1.20.2

Projects

ASP Systems and Heuristics

• scheduling
• systems

Meta Programming

• meta-programming-exercises (Monday)
• meta-programming

Multi-shot solving

• aspif-pretty-printer (Tuesday)
• interactive-clingo (Tuesday)
• multi-shot-solving

Theory solving

• solving-agent (Wednesday)
• theory-solving
• theory-solving-evaluation

Literature

• R. Kaminski, J. Romero, T. Schaub, and P Wanko (2023). “How to build your own ASP-based system?!”. In: Theory and Practice of Logic Programming 23.1, pp. 299-361. pdf

Resources

• clingo
• clingo examples
• clingo Python API
• meta examples
• projects repository (directory advanced)
• projects binder (directory advanced)
• externals and assumptions example
• commands for interactive-clingo