We show how to compile programs formalizing update plus preference reasoning into standard generalized logic programs and show the correctness of the transformation. © 2002 Springer-Verlag.
CITATION STYLE
Alferes, J. J., Dell’Acqua, P., & Pereira, L. M. (2002). A compilation of updates plus preferences. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2424 LNAI, pp. 62–74). Springer Verlag. https://doi.org/10.1007/3-540-45757-7_6
Mendeley helps you to discover research relevant for your work.