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..
Possibilistic Logic Underlies Abstract Dialectical Frameworks
Authors: Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
IJCAI 2022 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | As the semantics of ADFs are based on three-valued interpretations, we ask which monotonic three-valued logic allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is the unique logic that can faithfully encode all other semantical concepts for ADFs. |
| Researcher Affiliation | Academia | Technische Universit at Dortmund, Dortmund, Germany, University of Cape Town and CAIR, South-Africa, Vrije Universiteit Brussel, Belgium, Open Universiteit Heerlen, The Netherlands, Maastricht University, The Netherlands, Fern Universit at Hagen, Germany |
| Pseudocode | No | The paper does not contain STRUCTURED PSEUDOCODE OR ALGORITHM BLOCKS. |
| Open Source Code | No | The paper does not provide CONCRETE ACCESS TO SOURCE CODE for the methodology described in this paper. |
| Open Datasets | No | This is a theoretical paper and does not involve the use of datasets for training or evaluation. |
| Dataset Splits | No | This is a theoretical paper and does not describe any dataset splits (train, validation, test). |
| Hardware Specification | No | The paper is theoretical and does not describe any experiments requiring specific hardware details. |
| Software Dependencies | No | The paper is theoretical and does not mention specific software dependencies with version numbers for reproducing experiments. |
| Experiment Setup | No | The paper is theoretical and does not describe any experimental setup details, hyperparameters, or training configurations. |