Minesweeper goes Kaboom (in ASP) - and what makes it difficult
Aus International Center for Computational Logic
Minesweeper goes Kaboom (in ASP) - and what makes it difficult
Verteidigung Studienarbeit von Antonio Hentschke
- Veranstaltungsort: APB 3027
- Beginn: 16. Mai 2024 um 11:00
- Ende: 16. Mai 2024 um 12:00
- Forschungsgruppe: Wissensbasierte Systeme
- Event series: Research Seminar Logic and AI
- iCal
Kaboom is a fair Minesweeper game. The original Kaboom is implemented with a SAT solver, and we present an implementation in ASP (Answer Set Programming). We will derive a recommender heuristic and demonstrate the game. At the end we will discuss what makes Minesweeper and Kaboom difficult and how they differ in that regard.
