A general framework for preferences in answer set programming
We introduce a general, flexible, and extensible framework for quantitative and qualitative
preferences among the stable models of logic programs. Since it is straightforward to …
preferences among the stable models of logic programs. Since it is straightforward to …
[PDF][PDF] Implementing a Logical Semantics of LPOD using ASP
GK Nikolaou, A Charalambidis - 2024 - pergamos.lib.uoa.gr
ABSTRACT Logic Programs with Ordered Disjunction (LPODs) extend classical logic
programs by expressing preferences among alternatives in rule heads. Intuitively, the …
programs by expressing preferences among alternatives in rule heads. Intuitively, the …