Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)

Reference : Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/40544

Title :	Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)
Language :	English
Author, co-author :	Benzmüller, Christoph [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Publication date :	Jun-2019
Journal title :	Data in Brief
Volume :	24
Issue/season :	103823
Pages :	1--5
Peer reviewed :	Yes
Keywords :	[en] own ; Universal Logical Reasoning
Abstract :	[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).
Permalink :	http://hdl.handle.net/10993/40544
DOI :	10.1016/j.dib.2019.103823
Other URL :	https://www.sciencedirect.com/science/article/pii/S235234091930174X
Commentary :	Note: data publication Open Access

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	1-s2.0-S235234091930174X-main.pdf		Publisher postprint	325.5 kB	View/Open

All documents in ORBi^lu are protected by a user license.