ASP: Theory, Practice, and Beyond
summary
Answer Set Programming is a rule‑based modeling language with a grounding+solving pipeline (Gringo→Clingo) that enforces stable model semantics via the logic of here‑and‑there, supports ASP modulo theories hybrid solver setups (difference constraints for scheduling), and exposes heuristics, multi‑shot solving and visualization hooks. Implementations like Clingo/Gringo/Slingo power real systems: hybrid solvers schedule a 24‑hour Swiss rail plan in about five minutes and industrial reports claim ~80% maintenance and ~60% development savings.
AI-written summary · about
chapters (15)
- 0:00Introduction to ASP
- 0:32The Need for Theory
- 1:11ASP vs. SAT
- 2:13Logic Programming Foundations
- 2:47Knowledge Representation
- 4:56Core Principles of ASP
- 6:25Closed World Reasoning
- 8:48Constructive Logic Foundations
- 10:36Semantics of ASP
- 14:15Modeling and Solving Process
- 16:55TSP Case Study
- 21:28Applications and Challenges
- 23:42ASP Modulo Theory
- 29:31Advanced Features
- 32:20Conclusion and Q&A
related talks
30mRethinking Answer Set Programming Templates
24mBuilding Information Modeling Using Constraint Logic Programming (Extended Ab...
31mGenerating Constraint Programs for Variability Model Reasoning: A DSL and Solver-...
01h 06mOn-The-Fly Verification via Incremental, Interactive Abstract Interpretation wi...
34mAbstract Interpretation, Software Model Checking, and Beyond - A Celebration of the(…)
13mDesigning AI-Intensive Applications
01h 02mProcedural Programming: It Never Went Away
48mUsing AI in Software Design: How ChatGPT Can Help With Creating a Solution Architecture