Compilation of Logical Arguments
Authors: Leila Amgoud, Dragan Doder
IJCAI 2019 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we propose a novel argument-based logic that circumvents all the above limits. ... Finally, we use those arguments in an instance of Dung s framework, and show that the new defined logic satisfies existing rationality postulates, namely consistency and closure under deduction. |
| Researcher Affiliation | Academia | 1CNRS IRIT, France 2Paul Sabatier University IRIT, France {Leila.Amgoud, Dragan.Doder}@irit.fr |
| Pseudocode | No | The paper presents formal definitions and propositions but does not include any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any statement or link regarding the availability of open-source code for the described methodology. |
| Open Datasets | No | The paper is theoretical and does not involve empirical evaluation on publicly available datasets; it focuses on logical frameworks and theoretical properties of knowledge bases. |
| Dataset Splits | No | The paper is theoretical and does not mention any training, validation, or test dataset splits. |
| Hardware Specification | No | The paper focuses on theoretical aspects and does not specify any hardware used for experiments. |
| Software Dependencies | No | The paper is theoretical and does not specify any software dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical and does not describe any experimental setup details such as hyperparameters or training configurations. |