Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
The authors universal (meta-)logical reasoning approach is demonstrated and assessed with a prominent riddle in epistemic reasoning: the Wise Men Puzzle. The presented solution puts a particular emphasis on the adequate modeling of common knowledge and it illustrates the elegance and the practical r...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2019-06-01
|
| Series: | Data in Brief |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S235234091930174X |