Explaining Answer Set Programming in Argumentative Terms
Authors: Claudia Schulz
AAAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | My research is concerned with the opposite direction, i.e. with applying Argumentation Theory to ASP in order to explain the solutions to an ASP reasoning problem in a more human-understandable way. Developing such an explanation method also involves to investigate both the exact relationship between different approaches in Argumentation Theory in order to find the most suitable one for explanations and their connection with ASP, in particular with respect to their semantics. [...] During the remaining time of my Ph D, I am planning to turn from theoretical investigations to more practical work. On the one hand, I will implement the justification approaches for consistent and inconsistent logic programs. On the other hand, I am planning to apply the justification methods to real data, in particular to medical or legal decision making problems in order to judge its impact in applications. |
| Researcher Affiliation | Academia | Claudia Schulz claudia.schulz@imperial.ac.uk Department of Computing Imperial College London London SW7 2AZ, UK |
| Pseudocode | No | The paper does not contain any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper states, 'On the one hand, I will implement the justification approaches for consistent and inconsistent logic programs.' This indicates a future plan to implement, not that code is currently open-source or available. |
| Open Datasets | No | The paper describes theoretical work and future plans to apply methods to 'real data, in particular to medical or legal decision making problems'. It does not specify or provide access information for any public datasets used in the current work. |
| Dataset Splits | No | The paper describes theoretical method development and does not report on experiments with datasets, thus no dataset split information (training, validation, test) is provided. |
| Hardware Specification | No | The paper is theoretical and focuses on conceptual and method development. It does not describe running experiments, and therefore no hardware specifications are mentioned. |
| Software Dependencies | No | The paper is theoretical and focuses on conceptual developments related to Answer Set Programming and Argumentation Theory. It does not describe running experiments or provide specific software dependency versions (e.g., programming languages, libraries, or solvers with version numbers). |
| Experiment Setup | No | The paper is theoretical and describes method development rather than empirical experiments. As such, it does not provide details on experimental setup, hyperparameters, or training configurations. |