Axiomatization of Aggregates in Answer Set Programming
Authors: Jorge Fandinno, Zachary Hansen, Yuliya Lierler5634-5641
AAAI 2022 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | The paper presents a characterization of logic programs with aggregates based on a many-sorted generalization of operator SM that refers neither to grounding nor to fixpoints. This characterization introduces new function symbols for aggregate operations and aggregate elements, whose meaning can be fixed by adding appropriate axioms to the result of the SM transformation. We prove that for programs without positive recursion through aggregates our semantics coincides with the semantics of the answer set solver clingo. |
| Researcher Affiliation | Academia | University of Nebraska at Omaha {jfandinno,zachhansen,ylierler}@unomha.edu |
| Pseudocode | No | The paper does not contain any pseudocode or clearly labeled algorithm blocks. |
| Open Source Code | No | The paper does not provide any explicit statements or links indicating that the source code for the described methodology is publicly available. |
| Open Datasets | No | The paper uses illustrative example programs and a theoretical framework, not external datasets for training. Therefore, no public dataset information for training is provided. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical validation on datasets, thus no dataset split information for validation is provided. |
| Hardware Specification | No | The paper is theoretical and does not describe any empirical experiments that would require specific hardware. No hardware specifications are mentioned. |
| Software Dependencies | No | The paper mentions 'clingo' and 'anthem' in the context of related work and future research, but it does not specify software dependencies with version numbers required to replicate the authors' theoretical framework or any implementation of it. |
| Experiment Setup | No | The paper is theoretical and does not describe empirical experiments with specific setup details like hyperparameters or training configurations. |