www-ai.cs.tu-dortmund.de/PublicPublicationFiles/lindner_94b.pdf
ls8_report_12.dvi
krk2_m1(P1,P2,C): P1(I,X1,Y1) & P2(I,X1,Y2) --> C(I).
16 7 LERNL
AUFE MIT RDT/DB
krk2_m2(P1,P2,C): P1(I,X1,Y1) & P2(I,X2,Y1) --> C(I).
krk2_m3(P1,P2,C): P1(I,X1,Y1) & P2(I,X1,Y1) --> C(I).
krk2_m4(P1,P2 [...] C): P1(I,X1,Y1) & P2(I,X2,Y2) & P3(X1,X2) &
P3(Y1,Y2) --> C(I).
krk2_m5(P1,P2,P3,C): P1(I,X1,Y1) & P2(I,X2,Y1) & P3(I,X3,Y1) &
lt(X2,X1) & lt(X3,X1) & ne(X2,X3) --> C(I).
krk2_m6(P1,P2,P3,C): P1(I,X1,Y1) [...] X1,Y1) & P2(I,X1,Y2) & P3(I,X1,Y3) &
lt(Y1,Y2) & lt(Y1,Y3) & ne(Y2,Y3) --> C(I).
krk2_m9(P1,P2,P3,C): P1(I,X1,Y1) & P2(I,X2,Y2) & P3(I,X2,Y3) &
ne(X1,X2) --> C(I).
krk2_m10(P1,P2,P3,C): P1(I,X1,Y1) & P2(I …