cs.AI, cs.DB, cs.LO

Using ASP(Q) to Handle Inconsistent Prioritized Data

arXiv:2604.21603v1 Announce Type: cross
Abstract: We explore the use of answer set programming (ASP) and its extension with quantifiers, ASP(Q), for inconsistency-tolerant querying of prioritized data, where a priority relation between conflicting fac…