6 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Nicolas Schwind, Katsumi Inoue
We address the problem of belief revision of logic programs, i.e., how to incorporate to a logic program P a new logic program Q. Based on the structure of SE interpretations, Delg…