Sorting Strategies for Interactive Conflict Resolution in ASP

Answer set programs in practice are often subject to change. This can lead to inconsistencies in the modified program due to conflicts between rules which are the results of the derivation of strongly complementary literals. To facilitate the maintenance of consistency in answer set programs, in thi...

Full description

Bibliographic Details

Published in:	arXiv.org
Main Authors:	Thevapalan, Andre, Kern-Isberner, Gabriele
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 30.08.2023
Subjects:	Conflict resolution Graphical representations
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!