www-ai.cs.tu-dortmund.de/PublicPublicationFiles/rieger_96h.pdf
ls8-report-20.dvi
s5,1,10)
abcq (t1,90,s5,1,10)
1p (t1,s5,1,15),
a(t1,90,s5,1,8) b(t1,90,s5,8,10) c(t1,90,s5,10,15)
p (t1,s5,1,15)2
Figure 16: Derivation tree for p
1
(t1; s5; 1; 15)
mapping for the component programs and [...] given an EDB-instance.
57
q (t1,90,s5,1,8)a
abq (t1,90,s5,1,10)
q (t1,90,s5,1,15)abc
abcdq (t1,90,s5,1,17)
3p (t1,s5,1,17)
a(t1,90,s5,1,8) b(t1,90,s5,8,10) c(t1,90,s5,10,15) d(t1,90,s5,15,17)
Figure 17: Derivation [...] Marker Passing: Example run on PA
0
65
1 1
p2(t1,s5,1,15) p1(t1,s5,1,15)
a(t1,90,s5,1,8)
Input:
d(t1,90,s5,15,17)c(t1,90,s5,10,15)b(t1,90,s5,8,10)
p3(t1,s5,1,17)
c/5
d/5
a/5
b/5
a/5
b/5
c/5
d/5
b/5
c/5
d/5 …
