A carregar...
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...
Na minha lista:
| Publicado no: | Data Brief |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Elsevier
2019
|
| Assuntos: | |
| Acesso em linha: | 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: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|