On Equivalence and Inconsistency of Answer Set Programs with External Sources
Authors: Christoph Redl
AAAI 2017 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper we provide a characterization of equivalence of HEX-programs. Since well-known ASP extensions (e.g. constraint ASP) amount to special cases of HEX, the results are interesting beyond the particular formalism. Based on this, we further characterize inconsistency of programs wrt. program extensions. We then discuss possible applications of the results for algorithms improvements. |
| Researcher Affiliation | Academia | Christoph Redl Institut f ur Informationssysteme, Technische Universit at Wien Favoritenstraße 9-11, A-1040 Vienna, Austria redl@kr.tuwien.ac.at |
| Pseudocode | No | No. The paper presents formal definitions, propositions, and examples using logical notation, but it does not include structured pseudocode or algorithm blocks. |
| Open Source Code | No | No. The paper discusses theoretical characterizations and potential future applications, but it does not provide or link to open-source code for the methodology described within the paper. |
| Open Datasets | No | No. This is a theoretical paper that does not conduct empirical studies or use datasets for training. Thus, no access information for publicly available datasets is provided. |
| Dataset Splits | No | No. This is a theoretical paper that does not conduct empirical studies. Therefore, no training/test/validation dataset splits are discussed. |
| Hardware Specification | No | No. As this is a theoretical paper focusing on formal characterizations, no computational experiments requiring specific hardware were conducted or reported. |
| Software Dependencies | No | No. The paper focuses on theoretical formalisms and does not describe any specific software dependencies with version numbers required to replicate the work. |
| Experiment Setup | No | No. As this is a theoretical paper, no experimental setup details, hyperparameters, or training configurations are provided. |