A Functional Taxonomy of Logic Puzzles.

Lianne V. Hufkens Cameron Browne

Published in: CoG (2019)

Keyphrases

logic programming
modal logic
constraint satisfaction
multi valued
classical logic
nonmonotonic logics
neural network
machine learning
information retrieval
information systems
automated reasoning
predicate logic
epistemic logic
hierarchically organized