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].
Multi-Agent Belief Base Revision
Authors: Emiliano Lorini, Francois Schwarzentruber
IJCAI 2021 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We provide complexity results of model checking for our approach as well as an optimal model checking algorithm. Moreover, we study complexity of epistemic planning formulated in the context of our framework. Sections 4 and 5 are devoted, respectively, to the formulation of model checking and epistemic planning in our setting and to the study and their complexities. |
| Researcher Affiliation | Academia | 1IRIT-CNRS, Toulouse University, France 2Univ Rennes, IRISA, CNRS, France EMAIL, EMAIL |
| Pseudocode | Yes | Algorithm 1 Generic algorithm for model checking. procedure mc(B, ϕ) |
| Open Source Code | No | The paper does not include any statements about releasing source code or provide a link to a code repository. |
| Open Datasets | No | The paper is theoretical and does not involve empirical studies with datasets for training, validation, or testing. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical studies with datasets, therefore, no training/validation/test splits are provided. |
| Hardware Specification | No | The paper is theoretical and does not describe any specific hardware used for running experiments. |
| Software Dependencies | No | The paper is theoretical and does not mention any specific software dependencies with version numbers required for replication of experiments. |
| Experiment Setup | No | The paper is theoretical and does not describe any experimental setup details, hyperparameters, or training configurations. |