dc.contributor.author
Benzmüller, Christoph
dc.date.accessioned
2019-06-11T10:46:10Z
dc.date.available
2019-06-11T10:46:10Z
dc.identifier.uri
https://refubium.fu-berlin.de/handle/fub188/24728
dc.identifier.uri
http://dx.doi.org/10.17169/refubium-2488
dc.description.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).
en
dc.rights.uri
https://creativecommons.org/licenses/by/4.0/
dc.subject
Universal logical reasoning
en
dc.subject
Automated theorem proving
en
dc.subject
Higher-order logic
en
dc.subject.ddc
000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::000 Informatik, Informationswissenschaft, allgemeine Werke
dc.title
Universal (meta-)logical reasoning
dc.type
Wissenschaftlicher Artikel
dc.title.subtitle
The Wise Men Puzzle (Isabelle/HOL dataset)
dcterms.bibliographicCitation.articlenumber
103823
dcterms.bibliographicCitation.doi
10.1016/j.dib.2019.103823
dcterms.bibliographicCitation.journaltitle
Data in Brief
dcterms.bibliographicCitation.volume
24
dcterms.bibliographicCitation.url
https://doi.org/10.1016/j.dib.2019.103823
refubium.affiliation
Mathematik und Informatik
refubium.funding
Deutsche Forschungsgemeinschaft (DFG)
refubium.note.author
Die Publikation wurde aus Open Access Publikationsgeldern der Freien Universität Berlin und der DFG gefördert.
refubium.resourceType.isindependentpub
no
dcterms.accessRights.openaire
open access
dcterms.isPartOf.issn
2352-3409
