Carregant...
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...
Guardat en:
| Publicat a: | Data Brief |
|---|---|
| Autor principal: | |
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Elsevier
2019
|
| Matèries: | |
| Accés en línia: | https://ncbi.nlm.nih.gov/pmc/articles/PMC6468147/ https://ncbi.nlm.nih.gov/pubmed/31016212 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1016/j.dib.2019.103823 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|