Shhh! The Logic of Clandestine Operations
Authors: Pavel Naumov, Oliver Orejola
IJCAI 2023 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | The paper proposes a formal semantics of clandestine operations and introduces a sound and complete logical system that describes the interplay between the distributed knowledge modality and a modality capturing coalition power to conduct clandestine operations. |
| Researcher Affiliation | Academia | 1University of Southampton, United Kingdom 2Tulane University, United States |
| Pseudocode | No | The paper contains formal definitions, lemmas, and theorems but no pseudocode or algorithm blocks. |
| Open Source Code | No | This is a theoretical paper presenting a logical system, and there is no mention of releasing source code for the described methodology. |
| Open Datasets | No | The paper is theoretical and does not involve empirical experiments with datasets, so there is no mention of training data. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical experiments with datasets, so there is no mention of dataset splits for validation. |
| Hardware Specification | No | The paper is theoretical and does not describe any computational experiments, so no hardware specifications are provided. |
| Software Dependencies | No | The paper describes a theoretical logical system and does not mention any software implementations or dependencies with specific version numbers. |
| Experiment Setup | No | The paper is theoretical and does not describe any empirical experiments, so there are no details about experimental setup or hyperparameters. |