Reference : Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)
Scientific journals : Article
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/40544
Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)
English
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Jun-2019
Data in Brief
24
103823
1--5
Yes
[en] own ; Universal Logical Reasoning
[en] 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).
http://hdl.handle.net/10993/40544
10.1016/j.dib.2019.103823
https://www.sciencedirect.com/science/article/pii/S235234091930174X
Note: data publication
Open Access

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
1-s2.0-S235234091930174X-main.pdfPublisher postprint325.5 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.