Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in [1].
On the Equivalence between Logic Programs and Bipolar Argumentation Frameworks
Authors: João Alcântara, Renan Cordeiro
JAIR 2025 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We provide direct translations from BAFs to NLPs (and vice versa) in a one-to-one correspondence between several argumentation and 3-valued logic programming semantics. This includes the equivalence involving 𝐿-stable semantics. Besides, we deepen the connection between NLPs and BAFs by finding subsets of them for which the proposed translations are each other s inverse up to isomorphism. The paper also includes numerous sections dedicated to 'Theorems and Proofs'. |
| Researcher Affiliation | Academia | JOÃO ALCÂNTARA and RENAN CORDEIRO , Federal University of Ceará, Brazil |
| Pseudocode | No | The paper defines formal concepts and presents theorems and proofs related to logic programming and argumentation frameworks. It does not include any explicit pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not contain any explicit statement about providing source code for the methodology described, nor does it include a link to a code repository. |
| Open Datasets | No | This paper is theoretical, focusing on formal equivalences between logic programs and argumentation frameworks. It uses illustrative examples of Bipolar Argumentation Frameworks and Normal Logic Programs, but does not involve empirical experiments with publicly available datasets. |
| Dataset Splits | No | This paper is theoretical and does not conduct empirical experiments using datasets, therefore, there is no information regarding dataset splits. |
| Hardware Specification | No | This is a theoretical paper focused on formal equivalences and proofs, and as such, it does not describe any experimental setup or hardware used for running experiments. |
| Software Dependencies | No | This is a theoretical paper focusing on formal methods and their equivalences. It does not describe any specific software dependencies with version numbers required for replicating experimental results. |
| Experiment Setup | No | This is a theoretical paper, and therefore, it does not describe any experimental setup details such as hyperparameters or specific training configurations. |