Data for: Universal (Meta-)Logical Reasoning: Recent Successes
收藏官方服务：
资源简介：
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.
创建时间：
2020-02-25
