Updates plus preferences

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

27 Citations (Scopus)


The aim of this paper is to combine, into a single logic programming framework, the hitherto separate forms of reasoning of preferences and updating. More precisely, we define a language capable of considering sequences of logic programs that result from the consecutive updates of an initial program, where it is possible to define a priority relation among the rules of all successive programs. Moreover, within the framework, the priority relation can itself be updated. In order to define a declarative semantics for the language, we start by reviewing the declarative semantics of updates of [1], and by presenting a definition of a semantics for preferences, shown equivalent to the one in [5], in a form suitable for its integration with the updates one. Before the conclusions and mention of future work, we present two illustrative examples of application of the framework.
Original languageEnglish
Title of host publicationLecture Notes in Artificial Intelligence
EditorsManuel Ojeda-Aciego , Inma P. de Guzman , Gerhard Brewka , Luis Moniz Pereira
PublisherSpringer Verlag
Number of pages16
ISBN (Print)3540411313, 9783540411314
Publication statusPublished - 2000
EventLogics in Artificial Intelligence -
Duration: 1 Jan 2002 → …


ConferenceLogics in Artificial Intelligence
Period1/01/02 → …


  • Artificial intelligence
  • Semantics
  • Computational linguistics
  • Declarative semantics
  • Logic programs


Dive into the research topics of 'Updates plus preferences'. Together they form a unique fingerprint.

Cite this