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 Coakley et alK. L. Coakley, T. Snelleman, H. Hoos, and O. E. Gundersen, "The embrace of open science: An analysis of a decade of AI research and 56 800 conference papers," Under Review, 2026..
Conditional Abstract Dialectical Frameworks
Authors: Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba5692-5699
AAAI 2022 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We define the semantics of c ADFs in terms of a non-truth-functional four-valued logic, and study the semantics in-depth, by showing existence results and proving that all semantics are generalizations of the corresponding semantics for ADFs. |
| Researcher Affiliation | Academia | 1Technische Universit at Dortmund, Dortmund, Germany 2University of Cape Town and CAIR, South-Africa 3Fern Universit at Hagen, Hagen, Germany 4Maastricht University, Maastricht, The Netherlands |
| Pseudocode | No | The paper does not include pseudocode or clearly labeled algorithm blocks. |
| Open Source Code | No | The paper states that 'All semantics defined in this paper have been implemented in Java using the Tweety-library (Thimm 2017)', but it does not provide a link to its specific implementation code or explicitly state that it is open-source. |
| Open Datasets | No | This is a theoretical paper and does not conduct experiments with datasets, so there is no mention of publicly available training data. |
| Dataset Splits | No | This is a theoretical paper and does not conduct experiments with datasets, so there is no mention of dataset splits for validation. |
| Hardware Specification | No | This is a theoretical paper and does not describe specific hardware used for empirical experiments. |
| Software Dependencies | No | The paper mentions 'implemented in Java using the Tweety-library (Thimm 2017)' but does not provide specific version numbers for Java or the Tweety-library. |
| Experiment Setup | No | This is a theoretical paper and does not describe an experimental setup involving hyperparameters or system-level training settings. |