A human centered approach to logic puzzles.

Published in: CHI PLAY (2021)

Keyphrases

data mining
human behavior
modal logic
logic programming
sound and complete axiomatization
human subjects
human experts
expert systems
website
information systems
computer vision
computational models
learning algorithm
machine learning
set theory
formal theory
proof theory
databases