Skip to main content

Showing 1–1 of 1 results for author: Hartley, M I

Searching in archive cs. Search in all archives.
.
  1. arXiv:1708.02654  [pdf, ps, other

    cs.AI cs.GL cs.LO

    Cheryl's Birthday

    Authors: Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo

    Abstract: We present four logic puzzles and after that their solutions. Joseph Yeo designed 'Cheryl's Birthday'. Mike Hartley came up with a novel solution for 'One Hundred Prisoners and a Light Bulb'. Jonathan Welton designed 'A Blind Guess' and 'Abby's Birthday'. Hans van Ditmarsch and Barteld Kooi authored the puzzlebook 'One Hundred Prisoners and a Light Bulb' that contains other knowledge puzzles, and… ▽ More

    Submitted 27 July, 2017; originally announced August 2017.

    Comments: In Proceedings TARK 2017, arXiv:1707.08250

    Journal ref: EPTCS 251, 2017, pp. 1-9