MODIFYING INTENSIONAL LOGIC KNOWLEDGE
Nicola Leone, Luigi Palopoli, Massimo Romeo · Fundamenta Informaticae · 1994
This paper addresses the problem of updating knowledge encoded in the form of a logic program. Our approach is based upon the idea of executing a basic update by directly modifying the truth valuation of the (intensionally or extensionally defined) a