Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in [1].
Epistemic Logic of Know-Who
Authors: Sophia Epstein, Pavel Naumov11479-11486
AAAI 2021 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | The paper suggests a de๏ฌnition of know who as a modality using Grove-Halpern semantics of names. It also introduces a logical system that describes the interplay between modalities knows who , knows , and for all agents . The main technical result is a completeness theorem for the proposed system. |
| Researcher Affiliation | Academia | 1 Claremont Mc Kenna College 2 King s College EMAIL, EMAIL |
| Pseudocode | No | The paper describes a logical system and its proofs but does not include any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any statement or link about the availability of open-source code for the described methodology. |
| Open Datasets | No | This paper is theoretical and does not use datasets for training or evaluation. |
| Dataset Splits | No | This paper is theoretical and does not involve data splits for training, validation, or testing. |
| Hardware Specification | No | This paper is theoretical and does not conduct experiments, thus no hardware specifications are mentioned. |
| Software Dependencies | No | The paper describes a theoretical logical system and does not list any specific software dependencies with version numbers. |
| Experiment Setup | No | This paper is theoretical and does not conduct experiments, thus no experimental setup details or hyperparameters are provided. |