Data for: Universal (Meta-)Logical Reasoning: Recent Successes

Name: Data for: Universal (Meta-)Logical Reasoning: Recent Successes
Creator: Christoph Benzmüller
Published: 2020-02-25T15:32:04.042Z
Keywords: Computer Science, Artificial Intelligence, Logic, Knowledge Representation and Reasoning, Automated Reasoning, Modal Logic

Benzmüller, Christoph

doi:10.17632/j96cg52f9t.1

Data for: Universal (Meta-)Logical Reasoning: Recent Successes

Published: 25 February 2020| Version 1 | DOI: 10.17632/j96cg52f9t.1

Contributor:

Christoph Benzmüller

Description

The authors universal (meta-)logical reasoning approach is demonstrated and discussed with a challenge puzzle in epistemic reasoning: the wise men puzzle. The presented solution puts a particular emphasis on the adequate modeling of common knowledge.

Data for: Universal (Meta-)Logical Reasoning: Recent Successes

Description

Files

Categories

Licence