Nested logic programs with ordered disjunction

Home | About RECERCAT | Contact

Català | Castellano

All of RECERCAT

By Communities &
Collections By Defense Date By Authors By Titles By Subject

This Collection

By Defense Date By Authors By Titles By Subject

Statistics

View Statistics All RECERCAT

My RECERCAT

Other repositories directory

RECERCAT Home > Universitat Politècnica de Catalunya > Documents de recerca > View document

To access the full text documents, please follow this link: http://hdl.handle.net/2117/14217

dc.contributor	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.contributor	Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic
dc.contributor.author	Confalonieri, Roberto
dc.contributor.author	Nieves Sánchez, Juan Carlos
dc.date	2010
dc.identifier.citation	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.
dc.identifier.uri	http://hdl.handle.net/2117/14217
dc.language.iso	eng
dc.publisher	CEUR Workshop Proceedings
dc.relation	http://ceur-ws.org/Vol-677/06_LANMR10.pdf
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject	Nested logic programs
dc.subject	LPODs+
dc.title	Nested logic programs with ordered disjunction
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/conferenceObject
dc.description.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.
dc.description.abstract	Peer Reviewed

Show simple item record

All of RECERCAT

This Collection

Statistics

My RECERCAT

Related documents

Other documents of the same author