www-ai.cs.tu-dortmund.de/PublicPublicationFiles/klingspor_94d.pdf
turin-report.dvi
Movement) &
Pattern(Trace, Sensor
2
, T
21
, T
22
, Movement) &
Pattern(Trace, Sensor
3
, T
31
, T
32
, Movement) &
succ(T
11
, T
21
) & succ(T
21
, T
31
) &
sclass(Trace, Sensor
1
, , , Class) &
sclass(Trace [...] diagonal) &
s jump(Trace, Sensor
2
, T
1
, T
2
, diagonal) &
s jump(Trace, Sensor
3
, T
1
, T
2
, diagonal) &
Sensor
1
< Sensor
2
& Sensor
2
< Sensor
3
&
sclass(Trace, Sensor
1
, , , right side) &
sclass(Trace [...] diagonal) & sclass(Tr, Se
1
, , , left side) &
s jump(Tr, Se
2
, T
3
, T
4
, diagonal) & sclass(Tr, Se
2
, , , left side) &
s jump(Tr, Se
2
, T
5
, T
6
, diagonal) & sclass(Tr, Se
3
, , , left side) &
d2succ(T …