4PDJPUFDIOJDBM "QQSPBDIFT JO UIF FSB PG %BUB 4DJFODF
BOE "* " SFTFBSDI BHFOEB
"NBOZ &MCBOOBB
B
    3PZBM )PMMPXBZ 6OJWFSTJUZ PG -POEPO &HIBN 4VSSFZ 58 &9 6,




,FZXPSET "* 4PDJPUFDIOJDBM BQQSPBDI "DUPS /FUXPSL 5IFPSZ #JH %BUB %BUB 4DJFODF "*
BQQMJDBUJPOT "*FOBCMFE CVTJOFTT


   0WFS UIF MBTU GFX ZFBST JOUFSFTU BOE JOWFTUNFOU JO "* BQQMJDBUJPOT JO PSHBOJTBUJPOT IBWF
XJUOFTTFE FYQPOFOUJBM HSPXUI .BOZ PSHBOJTBUJPOT BSF FYQFSJNFOUJOH XJUI EJवFSFOU "*FOBCMFE
UFDIOPMPHZ BOE BQQMJDBUJPOT 5IF "* UFDIOPMPHZ DPWFST B CSPBE BSFBT GSPN WPJDF SFDPHOJUJPO
QSPDFTT BVUPNBUJPO QSFEJDUJWF BOBMZUJDT 5IF UFDIOJRVFT VTFE JO FOBCMJOH "* UFDIOPMPHZ WBSZ
BOE JODMVEF BVUPOPNPVT PS VOTVQFSWJTFE NBDIJOF MFBSOJOH .- TVQFSWJTFE NBDIJOF MFBSOJOH
BOE EFFQ MFBSOJOH BNPOH PUIFST
   8IJMF "*FOBCMFE UFDIOPMPHZ BOE BQQMJDBUJPOT EP WBSZ JO UIFJS GVODUJPO SFBTPOJOH BQQSPBDI
BOE JOWPMWFNFOU PG IVNBOT JO UIF MPPQ UIF DVSSFOU SIFUPSJD JO QPQVMBS QSFTT BOE TPNF XSJUJOH
BCPVU "* JO PSHBOJTBUJPOT BOE TPDJFUZ JT EPNJOBUFE CZ B UFDIOPMPHJDBM EFUFSNJOJTUJD WJFX 5IJT
WJFX GBWPVST UFDIOPMPHZ BOE TFF JU BT B TXFFQJOH HVJEJOH BOE SVMJOH GPSDF UIBU JT DBQBCMF
PG SFQMBDJOH IVNBOT PSHBOJTJOH UIFJS MJGF BOE FOGPSDJOH PSEFS PG B NBDIJOF DIPJDF * BSHVF
UIBU UIFTF WJFXT IBWF CFFO CFIJOE UIF ۢXPX BOE GFBSۣ PG NBDIJOFT BOE DPNQVUFST TJODF UIFJS
JOUSPEVDUJPO <> &WFSZ UFDIOPMPHZ BOE NBDIJOF IBT CFFO TVSSPVOEFE CZ UIJT ۢUFDIOPNBHJDۣ
UIJOLJOH XIFUIFS JU JT VUPQJBO PS EZTUPQJBO <> 'PS FYBNQMF UIJOL PG UIF JOUSPEVDUJPO PG UIF
#JDZDMFT JO UIF T BOE UIF DPOUSPWFSTZ TVSSPVOEJOH JU FWFO DPOTJEFSJOH JU B NPSBM UISFBU
UP TPDJFUZ B WFIJDMF GPS TFHSFHBUJPO BOE B NFUIPE PG FYDMVTJPO <> 4P NBOZ FYBNQMFT DPVME
CF GPVOE GSPN UIF JOUSPEVDUJPO PG DPNQVUFST UP UIF JOUSPEVDUJPO PG NBDIJOFSZ * DPBM NJOJOH
5IF VUPQJBO UFDIOPNBHJD UIJOLJOH UZQJDBMMZ शOET NBDIJOF UP CF DBQBCMF PG SVMJOH FWFSZUIJOH
SFQMBDJOH IVNBOT BOE FOGPSDJOH PSEFS UP EJTPSEFSMZ IVNBOT۟ MJGF GPS HPPE XIFSF JU CSJOHT
QSPTQFSJUZ FसDJFODZ BOE VOQSFDFEFOUFE BEWBODFNFOUT 5IF EZTUPQJBO UFDIOPNBHJD UIJOLJOH
UISFBUFOT UIBU "* XJMM SFQMBDF IVNBOT NBLJOH UIFN OPU POMZ PG MJUUMF WBMVF CVU HFOFSBMMZ IFMQMFTT
PO GSPOU PG QPXFSGVM NBDIJOFT 5IJOL BCPVU "* JO PSHBOJTBUJPO BOE ZPV DBO SFDPHOJTF CPUI WJFXT
0G DPVSTF UIF QPQVMBS QSFTT IBT QSPQFMMFE B EZTUPQJBO WJFX PG "* CBTFE PO 4DJश )PMMZXPPETUZMF
UIJOLJOH "OE UIF VUPQJBO WJFX JT BMTP TFFO JO NBOZ TUBUFNFOUT MJLF UIJT POF CZ /PCFM -BVSFUUF
%BOJFM ,BIOFNBO ۢ:PV TIPVME SFQMBDF IVNBOT CZ BMHPSJUINT XIFOFWFS QPTTJCMF ۬&WFO XIFO
UIF BMHPSJUINT EPO۟U EP WFSZ XFMM IVNBOT EP TP QPPSMZ BOE BSF TP OPJTZ UIBU KVTU SFNPWJOH

1SPDFFEJOHT PG UIF UI *OUFSOBUJPOBM 8PSLTIPQ PO 4PDJP5FDIOJDBM 1FSTQFDUJWF JO *4 %FWFMPQNFOU 451*4  +VOF 
 (SFOPCMF 'SBODF
£ BNBOZFMCBOOB!SIVMBDVL " &MCBOOB
                                       i  $PQZSJHIU GPS UIJT QBQFS CZ JUT BVUIPST 6TF QFSNJUUFE VOEFS $SFBUJWF $PNNPOT -JDFOTF "UUSJCVUJPO  *OUFSOBUJPOBM $$ #:  
    CEUR
    Workshop
    Proceedings
                  http://ceur-ws.org
                  ISSN 1613-0073
                                       $&63 8PSLTIPQ 1SPDFFEJOHT $&6384PSH




                                                                                                                                                                                iv
UIF OPJTF ZPV DBO EP CFUUFS UIBO QFPQMF 8F۟SF OBSSPX UIJOLJOH XF۟SF OPJTZ UIJOLFST JU۟T WFSZ
FBTZ UP JNQSPWF VQPO VT BOE * EPO۟U UIJOL UIFSF JT WFSZ NVDI UIBU XF DBO EP UIBU DPNQVUFST
XJMM OPU FWFOUVBMMZ CF QSPHSBNNFE UP EPۣ <>
   *O UIJT UBML * FYQMPSF NBOZ FYBNQMFT PG UIFTF UXP FYUSFNF WJFXT BOE BSHVF UIBU BO BDBEFNJD
EJTDPVSTF PO "* BOE TPDJPUFDIOJDBM DIBOHF OFFET UP CF EFWFMPQFE BOE PSHBOJTFE TPDJPUFDIOJDBM
BQQSPBDI DPVME QSPWJEF B WBMVBCMF DSJUJDBM FWBMVBUJPO PG "*FOBCMFE UFDIOPMPHZ JO PSHBOJTBUJPOT
#JKLFS JO  QSPWJEFT BO JOTJHIUGVM XPSL JOUP UIF TPDJPUFDIOJDBM DIBOHF BTTPDJBUFE XJUI
EJवFSFOU UFDIOPMPHJFT <> .VNGPSE۟T XPSL JO UIF TPDJPUFDIOJDBM DIBOHF BTTPDJBUFE XJUI UIF
JOUSPEVDUJPO PG DPNQVUJOH TZTUFNT JO PSHBOJTBUJPO < > BOE UIF EFUBJMFE TUVEJFT PG UIF 5BWJTUPDL
*OTUJUVUF TIPVME HJWF VT JOTQJSBUJPO <   > 8F IBWF B MPOH IJTUPSZ BOE USBEJUJPO PG BQQMZJOH
TPDJPUFDIOJDBM BQQSPBDIFT JO PVS शFME JO GBDU JU JT PVS शFME <> BOE UIF 451*4 DPNNVOJUZ IBT
DSFBUFE B HPPE PQQPSUVOJUZ UP BEWBODF UIF UIJOLJOH JO UIJT SFHBSE
   "* 5FDIOPMPHZ BOE JUT BQQMJDBUJPO JO PSHBOJTBUJPOT BSF NPWJOH GBTU <> 8F TFF UIFN JO )3
QSFEJDUJWF QPMJDJOH 3BEJPMPHZ BOE IFBMUIDBSF &EVDBUJPO #BOLJOH 'JOBODF BOE "DDPVOUJOH
BOE NBOZ PUIFS EPNBJOT 5IF UJNF JT SJQF GPS TPDJPUFDIOJDBM TUVEJFT PO "* BOE %BUB 4DJFODF
5IF USBEJUJPO PG TPDJPUFDIOJDBM UIJOLJOH JO *4 JT MBSHFMZ FNQJSJDBM CBTFE PO EFUBJMFE BOBMZTJT
PG BTTPDJBUFE TPDJPUFDIOJDBM DIBOHFT XFMM CFZPOE UIF ۢUFDIOPNBHJDۣ UIJOLJOH 5IFSF BSF
EJवFSFOU TPDJPUFDIOJDBM BQQSPBDIFT UIBU DPVME CF BEPQUFE 8F IBWF "वPSEBODFT BOE 'JUNJTशU
UIFPSJFT < > 4USVDUVSBM BQQSPQSJBUJPO <> *OUFSBDUJPO BQQSPBDIFT CBTFE PO "DUPS OFUXPSL
5IFPSZ <   > BOE TPDJPNBUFSJBMJUZ <> 4ZTUFNT 5IJOLJOH BOE EFTJHO UIJOLJOH <
> *O "*FOBCMFE BQQMJDBUJPOT JO PSHBOJTBUJPOT UIFSF BSF TFWFSBM BSFBT PG DPODFSOT UIBU
EFNBOE TPDJPUFDIOJDBM DPOTJEFSBUJPO 5IF JOUFSBDUJPO CFUXFFO QFPQMF BOE NPEFMT BOE UIF
JOषVFODF PO EFDJTJPO NBLJOH UIF JOUFSBDUJPO CFUXFFO JOEJWJEVBMT BOE "*FOBCMFE UFDIOPMPHZ
UIF EFWFMPQNFOU BOE JOUFSQSFUBUJPO PG NBDIJOF MFBSOJOH NPEFMT PSHBOJ[BUJPOBM SFBEJOFTT GPS
EJवFSFOU "* BQQMJDBUJPOT SFWJTJPO PG EFDJTJPONBLJOH UIFPSJFT JO UIF DPOUFYU PG "* BSF BMM HSFFO
शFMET JO OFFE GPS TPDJPUFDIOJDBM DPODFQUVBMJ[BUJPO BOE VOEFSTUBOEJOH * XJMM HP UISPVHI NBOZ
PG UIFTF BSFBT JO EFUBJMT
   *O DPODMVTJPO TPDJPUFDIOJDBM BQQSPBDIFT IBWF B LFZ SPMF UP QMBZ JO TUVEZJOH "* BOE %BUB
4DJFODFFOBCMFE BQQMJDBUJPOT JO PSHBOJTBUJPOT


3FGFSFODFT
 <> " 3 &MCBOOB : %XJWFEJ % #VOLFS % 8BTUFMM FU BM 5IF TFBSDI GPS TNBSUOFTT JO
     XPSLJOH MJWJOH BOE PSHBOJTJOH #FZPOE UIF۟UFDIOPNBHJD۟ *OG 4ZTU 'SPOUJFST  
     ۙ
 <> . 5BZMPS 3BQJE USBOTJU UP TBMWBUJPO "NFSJDBO QSPUFTUBOUT BOE UIF CJDZDMF JO UIF FSB PG
     UIF DZDMJOH DSB[F 5IF +PVSOBM PG UIF (JMEFE "HF BOE 1SPHSFTTJWF &SB   ۙ
 <> % ,BVवNBO "J DPOGFSFODF SFNBSLT GSPN EBOJFM LBINBO DPNNFOUJOH PO B QBQFS CZ DPMJO
     DBNFSFS XBTIJOHUPO DFOUSF GPS FRVJUBCMF HSPXUI XBTIJOHUPO DFOUSF GPS FRVJUBCMF HSPXUI
        63- IUUQT%JHJUPQPMZ0SH,BIOFNBOPO"J7FSTVT)VNBOT
 <> 8 & #JKLFS 0G CJDZDMFT CBLFMJUFT BOE CVMCT 5PXBSE B UIFPSZ PG TPDJPUFDIOJDBM DIBOHF
     .*5 QSFTT 
 <> " &MCBOOB . /FXNBO 5IF SJTF BOE EFDMJOF PG UIF FUIJDT NFUIPEPMPHZ PG TZTUFNT




                                                                                                    v
     JNQMFNFOUBUJPO MFTTPOT GPS JT SFTFBSDI +PVSOBM PG *OGPSNBUJPO 5FDIOPMPHZ  
     ۙ
 <> " 3 &MCBOOB 5IF WBMJEJUZ PG UIF JNQSPWJTBUJPO BSHVNFOU JO UIF JNQMFNFOUBUJPO PG SJHJE
     UFDIOPMPHZ UIF DBTF PG FSQ TZTUFNT +PVSOBM PG JOGPSNBUJPO UFDIOPMPHZ   ۙ
 <> 1 . #FEOBS $ 8FMDI 4PDJPUFDIOJDBM QFSTQFDUJWFT PO TNBSU XPSLJOH $SFBUJOH NFBO
     JOHGVM BOE TVTUBJOBCMF TZTUFNT *OGPSNBUJPO 4ZTUFNT 'SPOUJFST  ۙ
 <> 1 . #FEOBS $ 8FMDI $ .JMOFS &YDFMMFODF JO QSBDUJDF UISPVHI B TPDJPUFDIOJDBM PQFO
     TZTUFNT BQQSPBDI UP QSPDFTT BOBMZTJT BOE EFTJHO *OUFSOBUJPOBM +PVSOBM PG 4ZTUFNT BOE
     4PDJFUZ *+44   ۙ
 <> " 3JDF & - 5SJTU *OTUJUVUJPOBM BOE TVCJOTUJUVUJPOBM EFUFSNJOBOUT PG DIBOHF JO MBCPVS
     UVSOPWFS UIF HMBDJFS QSPJFDUWJJJ )VNBO 3FMBUJPOT   ۙ
<> & - 5SJTU , 8 #BNGPSUI 4PNF TPDJBM BOE QTZDIPMPHJDBM DPOTFRVFODFT PG UIF MPOHXBMM
     NFUIPE PG DPBMHFUUJOH "O FYBNJOBUJPO PG UIF QTZDIPMPHJDBM TJUVBUJPO BOE EFGFODFT PG
     B XPSL HSPVQ JO SFMBUJPO UP UIF TPDJBM TUSVDUVSF BOE UFDIOPMPHJDBM DPOUFOU PG UIF XPSL
     TZTUFN )VNBO SFMBUJPOT   ۙ
<> 4 $IBUUFSKFF 4 4BSLFS . -FF 9 9JBP " &MCBOOB " QPTTJCMF DPODFQUVBMJ[BUJPO PG
     UIF JOGPSNBUJPO TZTUFNT JT BSUJGBDU " HFOFSBM TZTUFNT UIFPSZ QFSTQFDUJWF *OGPSNBUJPO
     4ZTUFNT +PVSOBM  
<> , :FVOH . -PEHF "MHPSJUINJD SFHVMBUJPO 0YGPSE 6OJWFSTJUZ 1SFTT 
<> 1 . -FPOBSEJ 8IFO षFYJCMF SPVUJOFT NFFU षFYJCMF UFDIOPMPHJFT "वPSEBODF DPOTUSBJOU
     BOE UIF JNCSJDBUJPO PG IVNBO BOE NBUFSJBM BHFODJFT .*4 RVBSUFSMZ  ۙ
<> % . 4USPOH 0 7PMLPव 6OEFSTUBOEJOH PSHBOJ[BUJPOۚFOUFSQSJTF TZTUFN शU " QBUI UP
     UIFPSJ[JOH UIF JOGPSNBUJPO UFDIOPMPHZ BSUJGBDU .*4 RVBSUFSMZ  ۙ
<> ( %F4BODUJT . 4 1PPMF $BQUVSJOH UIF DPNQMFYJUZ JO BEWBODFE UFDIOPMPHZ VTF "EBQUJWF
     TUSVDUVSBUJPO UIFPSZ 0SHBOJ[BUJPO TDJFODF   ۙ
<> " 3 &MCBOOB 5IF UIFPSFUJDBM BOE BOBMZUJDBM JODMVTJPO PG BDUPS OFUXPSL UIFPSZ BOE
     JUT JNQMJDBUJPO PO JDU SFTFBSDI JO "DUPSOFUXPSL UIFPSZ BOE UFDIOPMPHZ JOOPWBUJPO
     "EWBODFNFOUT BOE OFX DPODFQUT *(* (MPCBM  QQ ۙ
<> " &MCBOOB "QQMZJOH BDUPS OFUXPSL UIFPSZ BOE NBOBHJOH DPOUSPWFSTZ JO *OGPSNBUJPO
     TZTUFNT UIFPSZ 4QSJOHFS  QQ ۙ
<> " &MCBOOB "DUPS OFUXPSL UIFPSZ BOE JT SFTFBSDI JO )BOECPPL PG SFTFBSDI PO DPOUFN
     QPSBSZ UIFPSFUJDBM NPEFMT JO JOGPSNBUJPO TZTUFNT *(* (MPCBM  QQ ۙ
<> " 3 &MCBOOB "DUPSOFUXPSL UIFPSZ JO JDU SFTFBSDI " XJEFS MFOT PG FORVJSZ *OUFSOBUJPOBM
     +PVSOBM PG "DUPSOFUXPSL UIFPSZ BOE UFDIOPMPHJDBM JOOPWBUJPO *+"/55*   ۙ
<> " 3 &MCBOOB %PJOH TPDJPNBUFSJBMJUZ SFTFBSDI JO JOGPSNBUJPO TZTUFNT "$. 4*(.*4
     %BUBCBTF UIF %"5"#"4& GPS "EWBODFT JO *OGPSNBUJPO 4ZTUFNT   ۙ
<> 3 #BTLFSWJMMF " #BJZFSF 4 (SFHPS " )FWOFS . 3PTTJ %FTJHO TDJFODF SFTFBSDI DPO
     USJCVUJPOT 'JOEJOH B CBMBODF CFUXFFO BSUJGBDU BOE UIFPSZ +PVSOBM PG UIF "TTPDJBUJPO GPS
     *OGPSNBUJPO 4ZTUFNT   
<> * #JEFS & 1FSKPOT %FTJHO TDJFODF JO BDUJPO EFWFMPQJOH B NPEFMJOH UFDIOJRVF GPS FMJDJUJOH
     SFRVJSFNFOUT PO CVTJOFTT QSPDFTT NBOBHFNFOU CQN UPPMT 4PॎXBSF  4ZTUFNT .PEFMJOH
       ۙ




                                                                                                   vi