1. Probabilistic logic;Nilsson;Artificial Intelligence,1986
2. Concerning measures in first order calculi;Gaifman;Israel Journal of Mathematics,1964
3. Assigning probabilities to logical formulas;Scott,1966
4. Sound defeasible inference;Geffner,1987
5. Probabilistic semantics for inheritance hierarchies with exceptions;Pearl,1987