Lataa...
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...
Tallennettuna:
| Julkaisussa: | Data Brief |
|---|---|
| Päätekijä: | |
| Aineistotyyppi: | Artigo |
| Kieli: | Inglês |
| Julkaistu: |
Elsevier
2019
|
| Aiheet: | |
| Linkit: | 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 |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|