Témou bakalárskej práce je namodelovať pomocou logického programovania pravidlá hier ako napr. Magic - The Gathering.
Logický program by mal vedieť vypočítať zoznam prípustných akcií pre hráčov, resp. ako sa zmení prostredie po vykonaní zvolenej akcie.
Predpokladá sa, že bakalár absolvuje v zimnom semestri predmet "Logické programovanie ASP", na ktorom získa všetky znalosti potrebné k implementácii.
Téma je voľná.