Dynamic updates of non-monotonic knowledge bases

In this paper we investigate 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

• Type: Journal
• Year: 2000
• Where: JLP
• Authors: José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
• Keywords: Dynamic Program Update, JLP 2000, Logic Program, Program Update