The Transformation Logics
Authors: Alessandro Ronca
IJCAI 2024 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We introduce a new family of temporal logics designed to finely balance the trade-off between expressivity and complexity. Their key feature is the possibility of defining operators of a new kind that we call transformation operators. ... The result is a genuinely novel and yet unexplored landscape of temporal logics, each of them with the potential of matching the tradeoff between expressivity and complexity required by specific applications.Summary of the contribution. We introduce the Transformation Logics, providing a formal syntax and semantics. ... We develop a systematic approach in defining operators, based on semigroup theory and algebraic automata theory... For them, we prove a series of expressivity and complexity results. |
| Researcher Affiliation | Academia | Alessandro Ronca University of Oxford alessandro.ronca@cs.ox.ac.uk |
| Pseudocode | No | The paper describes formal definitions and theoretical concepts, but it does not contain structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not include a clear, affirmative statement about releasing source code for the described methodology or a link to a code repository. |
| Open Datasets | No | The paper is theoretical and does not present empirical experiments that use datasets for training. |
| Dataset Splits | No | The paper is theoretical and does not conduct experiments requiring dataset splits. |
| Hardware Specification | No | The paper is theoretical and does not describe experiments that would require specific hardware, therefore no hardware specifications are provided. |
| Software Dependencies | No | The paper is theoretical and does not specify software dependencies with version numbers for reproducing its findings. |
| Experiment Setup | No | The paper is theoretical and does not conduct empirical experiments that would require details about an experimental setup or hyperparameters. |