Update by Means of Inference Rules
The Journal of Logic Programming
doi 10.1016/s0743-1066(96)00091-x
Full Text
Open PDFAbstract
Available in full text
Date
February 1, 1997
Authors
Publisher
Elsevier BV
Available in full text
February 1, 1997
Elsevier BV