Sciweavers

IJCAI
1989
14 years 22 days ago
Sometimes Updates Are Circumscription
Model-based revision of knowledge bases ex­ pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de­ scribing and reasoning about the effects o...
Marianne Winslett