Stable model semantics of abstract dialectical frameworks revisited : A logic programming perspective
- Submitting institution
-
The University of Huddersfield
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 62
- Type
- E - Conference contribution
- DOI
-
-
- Title of conference / published proceedings
- IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence
- First page
- 2684
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- July
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 10
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Published in the CORE2020 A*-ranked IJCAI conference, the paper’s originality was in discovering a new link between Abstract Dialectical Frameworks and Answer Set Programming with Aggregates. The significance of this output’s research is widespread, for example it was used in the proof of preservation of stable models between different aggregates by Cabalar et al. (AIJ paper, https://www.sciencedirect.com/science/article/abs/pii/S0004370218302613), to introduce an alternative extension to ASP to handle aggregates by Gelfond and Zhang (AIJ paper, https://www.sciencedirect.com/science/article/abs/pii/S0004370218305691) and in relation to expressiveness of ADFs by Strass (JAIR paper, https://www.jair.org/index.php/jair/article/view/10962/26106 ).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -