Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3.

Filip Maric Predrag Janicic Marko Malikovic

Published in: CADE (2015)

Keyphrases

theorem prover
natural deduction
evaluation function
artificial intelligence
theorem proving
selection strategy
inference rules
case study
image sequences
multiscale
multi agent systems
knowledge representation
markov chain
game playing
two player games