www-ai.cs.tu-dortmund.de/PublicPublicationFiles/robers_96a.pdf
cora.dvi
oddsratio(sit_1,1.7).
number_of_strata(sit_1,2).
diff_prob(sit_1,0.1).
gini_ratio_cases(sit_1,1).
gini_ratio_ratio(sit_1,0).
gini_ratio_prob(sit_1,1).
number_of_cases(sit_1,1,20).
number_of_cases(sit_1,2,30). [...] ols(sit_1,1,60).
number_of_controls(sit_1,2,90).
prob(sit_1,1,0.2).
prob(sit_1,2,0.3).
ratio_cc(sit_1,1,3).
ratio_cc(sit_1,2,3).
mean_cases(sit_1,25).
mean_controls(sit_1,75).
mean_prob(sit_1,0.25).
m [...] ones:
MP1(S,P1,R): S(Est) & P1(Sit) --> R(Sit,Est).
MP2(S,P1,P2,R): S(Est) & P1(Sit) & P2(Sit) --> R(Sit,Est).
MP3(S,P1,P2,P3,R): S(Est) & P1(Sit) & P2(Sit) & P3(Sit) --> R(Sit,Est).
MP4(S,P1,P2,P3,P4 …