Nested logic programs with ordered disjunction
Carregant...
Fitxers
El pots comprar en digital a:
El pots comprar en paper a:
Títol de la revista
ISSN de la revista
Títol del volum
Col·laborador
Editor
Tribunal avaluador
Realitzat a/amb
Tipus de document
Text en actes de congrés
Data publicació
Editor
CEUR Workshop Proceedings
Condicions d'accés
Accés obert
item.page.rightslicense
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ó de la persona titular dels drets
Publicacions relacionades
Datasets relacionats
Projecte CCD
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.
Descripció
Persones/entitats
Document relacionat
Versió de
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.