Game Description Language and Dynamic Epistemic Logic Compared
Authors: Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher
IJCAI 2018 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we formally study the expressiveness of GDL-III vs. DEL. We clarify the commonalities and differences between those languages, demonstrate how to bridge the differences where possible, and identify large fragments of GDL-III and DEL that are equivalent in the sense that they can be used to encode games or planning tasks that admit the same legal action sequences. We prove the latter by providing compilations between those fragments of GDL-III and DEL. |
| Researcher Affiliation | Academia | Thorsten Engesser1, Robert Mattm uller1, Bernhard Nebel1, Michael Thielscher2 1 Faculty of Engineering, University of Freiburg, Germany 2 School of Computer Science and Engineering, University of New South Wales, Australia |
| Pseudocode | No | The paper does not contain any structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any statement or link regarding the availability of open-source code for the described methodology. |
| Open Datasets | No | This paper focuses on theoretical comparisons and formalisms, not on empirical studies with datasets. Therefore, no dataset access information is provided. |
| Dataset Splits | No | This paper focuses on theoretical comparisons and formalisms, not on empirical studies with datasets. Therefore, no dataset split information for training, validation, or testing is provided. |
| Hardware Specification | No | This paper focuses on theoretical comparisons and formalisms, not on empirical studies or experiments that would require specific hardware. Therefore, no hardware specifications are mentioned. |
| Software Dependencies | No | This paper focuses on theoretical comparisons and formalisms. It does not mention any specific software dependencies with version numbers for experimental reproducibility. |
| Experiment Setup | No | This paper focuses on theoretical comparisons and formalisms, not on empirical experiments. Therefore, no experimental setup details such as hyperparameters or training settings are provided. |