… language LUPS—“Language for dynamic updates”—designed for specifying changes to logic
programs. … define, in Section 3, a language for specifying logic program updates: LUPS—“…

… of a dynamic logic program generated by the … a LUPS program into a generalized logic
program, whose stable models exactly correspond to the semantics of the original LUPS program. …

… of a dynamic logic program generated by the … a LUPS program into a generalized logic
program, whose stable models exactly correspond to the semantics of the original LUPS program. …

… the language LUPS – “Language for dynamic updates” – designed for specifying changes
to logic programs. … of update statements sets into a single logic program written in a meta-…

… is defined by the semantics of the dynamic logic program generated by those actions. … the
sequence of update statements sets into a single logic program written in a meta-language, in …

… LUPS Here we recall the language of updates LUPS closely following its … language of LUPS
is that of generalized logic programs. A sentence U in LUPS is a set of simultaneous update …

… the updates of knowledge bases expressed by generalized logic … So first we define a
language of programs able to express … With this caveat, we are ready to state that LUPS and EPI …

… (2) We define a declarative language for update policies, generalizing LUPS by various … be
executed (which is not possible in LUPS). The language thus enables the flexible handling of …

… be naturally specified and computed in terms of logic program updates. Logic program
updates are specified, in our setting, by the language of updates LUPS. We show how such lan…

… extend LUPS, setting forth a Language for … language for updates of logic programs borrows
from and is closely related to action languages, which can be translated into logic programs (…