Wordt geladen...
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...
Bewaard in:
| Gepubliceerd in: | Data Brief |
|---|---|
| Hoofdauteur: | |
| Formaat: | Artigo |
| Taal: | Inglês |
| Gepubliceerd in: |
Elsevier
2019
|
| Onderwerpen: | |
| Online toegang: | 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 |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|