Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset).

Clicks: 187
ID: 36238
2019
Article Quality & Performance Metrics
Overall Quality
Not rated
Combines reader engagement with the AI quality analysis. This article has not been analysed, so there is no overall score — reader engagement is measured and shown alongside.
AI Quality Assessment
Not analyzed
Readership in this journal
Steady

Ranked #135 of 180 articles by views in Data in brief

Most read Least read

Bar heights use a square-root scale. Only the 120 most-read articles are drawn; the journal has 180 in total.

Mint this article as an NFT
Not yet minted

Create a permanent, verifiable on-chain record of this article on the Scimatic Network. The NFT is held in your Journament account, and you can withdraw it to your own wallet at any time.

5 SUSD one-off · no wallet required
Sign in to mint
Abstract
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 relevance of the shallow semantical embedding approach when utilized within modern proof assistant systems such as Isabelle/HOL. The contributed dataset provides supporting evidence for claims made in the article "Universal (meta-)logical reasoning: Recent successes" (Benzmüller, 2019).
Reference Key
benzmuller2019universaldata Use this key to autocite in the manuscript while using SciMatic Manuscript Manager or Thesis Manager
Authors Benzmüller, Christoph;
Journal Data in brief
Year 2019
DOI
10.1016/j.dib.2019.103823
URL
Keywords Keywords not found

Citations

No citations found. To add a citation, contact the admin at info@scimatic.org

Comments

No comments yet. Be the first to comment on this article.