Judea Pearl Empirical Semantics for Defeasible Databases. 18-20 1992 JICSLP db/conf/iclp/iclp92.html#Pearl92