A Constructive Argumentation Framework
Authors: Souhila Kaci, Yakoub Salhi
AAAI 2014 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We develop constructive argumentation framework. We show that intuitionistic logic offers nice and desirable properties of the arguments. We also provide a characterization of the arguments in this setting in terms of minimal inconsistent subsets when intuitionistic logic is embedded in the modal logic S4. |
| Researcher Affiliation | Academia | Souhila Kaci LIRMM UMR 5506, University of Montpellier 2 161 rue ADA F34392 Montpellier Cedex 5, France kaci@lirmm.fr Yakoub Salhi CRIL UMR 8188, University of Artois F-62307 Lens Cedex, France salhi@cril.fr |
| Pseudocode | No | The paper includes logical definitions, propositions, and a sequent calculus (GIPL) but no pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any statement or link indicating the release of open-source code for the described methodology. |
| Open Datasets | No | The paper is theoretical and focuses on logical frameworks; it does not involve the use of datasets for training or experimentation, and therefore provides no information about public dataset access. |
| Dataset Splits | No | The paper is theoretical and does not describe empirical experiments involving dataset splits for training, validation, or testing. |
| Hardware Specification | No | The paper is theoretical and does not describe any computational experiments that would require specific hardware specifications. |
| Software Dependencies | No | The paper is theoretical and does not describe any software implementations or dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical and focuses on logical framework development; it does not include details about an experimental setup, hyperparameters, or training configurations. |