|
E-prints UPC >
Altres >
Enviament des de DRAC >
Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/2117/14217
|
| 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. |
| Títol: | Nested logic programs with ordered disjunction |
| Autor: | Confalonieri, Roberto ; Nieves Sánchez, Juan Carlos  |
| Editorial: | CEUR Workshop Proceedings |
| Data: | 2010 |
| Tipus de document: | Conference report |
| Resum: | 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. |
| URI: | http://hdl.handle.net/2117/14217 |
| Versió de l'editor: | http://ceur-ws.org/Vol-677/06_LANMR10.pdf |
| Apareix a les col·leccions: | Altres. Enviament des de DRAC Departament de Llenguatges i Sistemes Informàtics. Ponències/Comunicacions de congressos
|
| Comparteix: |
|
Queda prohibida la reproducció, transformació, distribució i comunicació pública d'aquesta obra. Es permet, en tot cas, la reproducció per a ús privat sempre i quan la còpia que se'n faci no sigui objecte d'utilització col·lectiva ni lucrativa (art. 31.2 del Reial Decret Legislatiu 1/1996, de 12 d'abril, pel qual s'aprova el Text Refós de la Llei de Propietat Intel·lectual, http://bibliotecnica.upc.es/sepi/legislacio.asp).
Per a qualsevol ús que es vulgui fer diferent al permès, dirigiu-vos a: sepi@upc.edu
|