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