Factoring Disjunction Out of Deontic Modal Puzzles.

Published in: DEON (2014)

Keyphrases

modal logic
deontic logic
nonmonotonic logics
classical logic
constraint satisfaction
temporal logic
representation language
crossword puzzles
computer vision
decision making
case study
pairwise
hidden markov models