Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory
Authors: Bart Bogaerts, Luís Cruz-Filipe
IJCAI 2017 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we apply approximation fixpoint theory, an algebraic framework that unifies semantics of non-monotonic logics, to the field of AICs. This results in a new family of semantics for AICs, of which we study semantics and relationships to existing semantics. |
| Researcher Affiliation | Academia | KU Leuven, Department of Computer Science Celestijnenlaan 200A, Leuven, Belgium University of Southern Denmark, Department of Mathematics and Computer Science Campusvej 55, Odense, Denmark |
| Pseudocode | No | The paper does not contain any structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any concrete access to source code for the methodology described. |
| Open Datasets | No | The paper does not use datasets for empirical evaluation, hence no information about public dataset availability is provided. |
| Dataset Splits | No | The paper does not describe empirical experiments or dataset usage, so there is no mention of training/validation/test splits. |
| Hardware Specification | No | The paper does not mention any specific hardware used for experiments as it is a theoretical work. |
| Software Dependencies | No | The paper does not specify any software dependencies with version numbers as it is a theoretical work. |
| Experiment Setup | No | The paper is theoretical and does not describe an experimental setup with hyperparameters or system-level settings. |