A Sequent Calculus for Answer Set Entailment
Authors: Thomas Eiter, Tobias Geibinger
IJCAI 2025 | Venue PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this work, we fill this gap by providing a sequent calculus for answer set entailment. Our calculus builds upon ideas from existing calculi for other nonmonotonic formalisms and utilises calculi for the logic of here and there, which is the underlying base logic of equilibrium logic. We show that the calculus is sound and complete and discuss pitfalls as well as alternative axiomatisations. |
| Researcher Affiliation | Academia | Thomas Eiter and Tobias Geibinger Knowledge-based Systems Group, Institute of Logic and Computation, TU Wien, Austria EMAIL |
| Pseudocode | No | The paper presents logical rules for a sequent calculus in Figures 1, 2, and 3, and derivations in Figures 4 and 5. These are formal system rules and proof examples, not structured pseudocode or algorithm blocks as typically understood for computational procedures. |
| Open Source Code | No | The paper does not contain any explicit statements about releasing source code for the described methodology, nor does it provide links to any code repositories. |
| Open Datasets | No | The paper is theoretical in nature, focusing on a sequent calculus for answer set entailment. It does not conduct experiments with datasets, nor does it mention or provide access to any open datasets. |
| Dataset Splits | No | The paper describes a theoretical framework for a sequent calculus and does not involve experiments on datasets. Therefore, there is no mention of dataset splits. |
| Hardware Specification | No | The paper presents a theoretical framework and does not describe any experiments that would require specific hardware. Consequently, no hardware specifications are mentioned. |
| Software Dependencies | No | The paper is theoretical and focuses on a logical calculus. It references existing ASP solvers and logical calculi but does not describe any specific software implementations or dependencies with version numbers for its own work. |
| Experiment Setup | No | The paper is a theoretical work introducing a sequent calculus and does not involve any experimental evaluations. Thus, there are no details regarding experimental setup, hyperparameters, or training configurations. |