Dynamic Logic Programming.
José Júlio Alferes, João Alexandre Leite, Luı́s Moniz Pereira, Halina Przymusinska, Teodor C. Przymusiński · New University of Lisbon's Repository (New University of Lisbon) · 1998
In this paper weinvestigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not only in rule bodies but also in their heads.We start by introducing the notion of an update P U of a logic program P by another logic program U. Subsequently, we provide a precise semantic characterization of P U, and study some basic properties of program updates. In particular, we show that our update programs generalize the notion of interpretation update. We then extend this notion to compositional