Update by Means of Inference Rules

The Journal of Logic Programming
doi 10.1016/s0743-1066(96)00091-x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV


Related search