Title:
|
Nested logic programs with ordered disjunction
|
Author:
|
Confalonieri, Roberto; Nieves Sánchez, Juan Carlos
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic |
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. |
Abstract:
|
Peer Reviewed |
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Enginyeria del software -Nested logic programs -LPODs+ |
Rights:
|
|
Document type:
|
Article - Published version Conference Object |
Published by:
|
CEUR Workshop Proceedings
|
Share:
|
|