Nested logic programs with ordered disjunction
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/14217
Tipus de documentText en actes de congrés
Data publicació2010
EditorCEUR Workshop Proceedings
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
In this paper we define a class of nested logic programs, nested logic programs with ordered disjunction (LPODs+), which allows to
specify qualitative preferences by means of nested preference expressions.
For doing this we extend the syntax of logic programs with ordered disjunction (LPODs) to capture more general expressions. We define the LPODs+ semantics in a simple way and we extend most of the results of logic programs with ordered disjunction showing how our approach effectively is a proper generalisation of LPODs.
CitacióConfalonieri, R.; NIEVES, J. C. Nested logic programs with ordered disjunction. A: Latin American Workshop on Non-Monotonic Reasoning. "6th Latin American Workshop on Non-Monotonic Reasoning 2010". Puebla: CEUR Workshop Proceedings, 2010, p. 55-66.
Versió de l'editorhttp://ceur-ws.org/Vol-677/06_LANMR10.pdf
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
06_LANMR10.pdf | 197,8Kb | Visualitza/Obre |