A Natural Formalization of the Mutilated Checkerboard Problem in Naproche.

Adrian De Lon Peter Koepke Anton Lorenzen

Published in: ITP (2021)

Keyphrases

case study
expert systems
image processing
clustering algorithm
three dimensional
wide range
data model
formal model
logical language