ZebraTutor: Explaining How to Solve Logic Grid Puzzles.

Jens Claes Bart Bogaerts Rocsildes Canoy Emilio Gamba Tias Guns

Published in: BNAIC/BENELEARN (2019)

Keyphrases

database systems
real time
real world
genetic algorithm
multi agent systems
modal logic
predicate logic