Belief Updating from Integrity Constraints and Queries.

Luc De Raedt Maurice Bruynooghe Belief Updating from Integrity Constraints and Queries. 291-307 1992 53 Artif. Intell. 2-3 db/journals/ai/ai53.html#RaedtB92