Modelling Chess in VDM++.

Morten Haahr Kristensen Peter Gorm Larsen

Published in: CoRR (2023)

Keyphrases

evaluation function
artificial intelligence
game playing
database
neural network
computer chess
knowledge base
image processing
control system