Conditional Abstract Dialectical Frameworks
Authors: Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba5692-5699
AAAI 2022 | Conference PDF | Archive PDF | Plain Text | 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. |