Witnesses for Answer Sets of Basic Logic Programs
Authors: Yisong Wang, Xianglong Wang, Zhongtao Xie, Thomas Eiter
IJCAI 2025 | Venue PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We propose a minimal reduct for logic programs with c-atoms that yields a new semantic characterization of SPT-answer sets, and then introduce an extension of resolution for clauses with c-atoms. As we show, every atom in an SPT-answer set enjoys an extended resolution proof from the minimal reduct of its logic program. Finally, we present minimal sufficient subsets of logic programs (witnesses) to structure such an extended resolution proof for an atom in an SPT-answer set. |
| Researcher Affiliation | Academia | 1 State Key Laboratory of Public Big Data, Guiyang, Guizhou, China ... 3 College of Computer Science and Technology, Guizhou University, Guiyang, Guizhou, China ... 5 Knowledge-based Systems Group, Institute of Logic and Computation, TU Wien, Austria EMAIL, EMAIL, EMAIL EMAIL |
| Pseudocode | Yes | Algorithm 1: Check Min MRCA (Π, N)... Algorithm 3: Min Beta Witness(Π, B, S, M) |
| Open Source Code | No | The paper does not contain any explicit statements about the release of source code for the methodology described, nor does it provide any links to code repositories. |
| Open Datasets | No | The paper is theoretical and uses small, illustrative logic programs as examples rather than datasets for empirical evaluation. No datasets are mentioned for public availability. |
| Dataset Splits | No | The paper is theoretical and does not perform empirical experiments requiring dataset splits. |
| Hardware Specification | No | The paper is theoretical and does not describe experiments. Therefore, no hardware specifications are provided. |
| Software Dependencies | No | The paper mentions existing ASP solvers and tools (e.g., clingo, DLV, Disc ASP, s(CASP), xclingo, x ASP) but does not provide specific version numbers as dependencies for reproducing the theoretical work presented. |
| Experiment Setup | No | The paper is theoretical and does not describe any experimental setup or hyperparameters. |