Cargando…
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...
| Autor principal: | |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Elsevier
2019
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6468147/ https://www.ncbi.nlm.nih.gov/pubmed/31016212 http://dx.doi.org/10.1016/j.dib.2019.103823 |