1SFGBDF 1FUFS #FEOBSB C "MFYBOEFS /PMUFD E .JLLP 3BKBOFOF )FMFOB 7BMMP )VMUG H "OOB 4JHSJEVS *TMJOEI BOE 'FEFSJDP 1JHOJJ B 6OJWFSTJUZ PG 1PSUTNPVUI 1PSUTNPVUI 6, C -VOE 6OJWFSTJUZ -VOE 4XFEFO D 6OJWFSTJUZ PG 5BSUV 5BSUV &TUPOJB E $BSOFHJF .FMMPO 6OJWFSTJUZ 1JUUTCVSHI 1" 64" F 6OJWFSTJUZ PG 0VMV 0VMV 'JOMBOE G 6OJWFSTJUZ 8FTU 5SPMMI¤UUBO 4XFEFO H /6 )PTQJUBM (SPVQ 5SPMMI¤UUBO 4XFEFO I 3FZLKBWJL 6OJWFSTJUZ 3FZLKBWJL *DFMBOE J (SFOPCMF &DPMF EF .BOBHFNFOU (SFOPCMF 'SBODF 5IJT WPMVNF DPOUBJOT TFMFDUFE QBQFST QSFTFOUFE BU 451*4۟ UI *OUFSOBUJPOBM 8PSLTIPQ PO 4PDJP5FDIOJDBM 1FSTQFDUJWF JO *4 %FWFMPQNFOU XIJDI XBT IFME PO +VOF   JO UIF GPSN PG B WJSUVBM DPOGFSFODF JO (SFOPCMF JO 'SBODF 5IF MPDBM PSHBOJ[JOH DIBJS XBT 'FEFSJDP 1JHOJ (SFOPCMF &DPMF EF .BOBHFNFOU 'SBODF *NQPSUBODF PG TPDJPUFDIOJDBM QFSTQFDUJWF JO SFTFBSDI BOE QSBDUJDF " TPDJPUFDIOJDBM QFSTQFDUJWF TFFT BO PSHBOJ[BUJPO BT B DPNCJOBUJPO PG UXP DPNQPOFOUT ۙ B TPDJBM POF BOE B UFDIOJDBM POF 5IF SFBM QBUUFSO PG CFIBWJPS JO UIF PSHBOJ[BUJPO JT EFUFSNJOFE CZ IPX XFMM UIFTF QBSUT शU UPHFUIFS 8IJMF BOBMZ[JOH TZTUFN QSPCMFNT SFMBUFE UP HFUUJOH UIJOHT EPOF BEFRVBUF DPOTJEFSBUJPO TIPVME CF HJWFO CPUI UP UFDIOPMPHZ BT XFMM BT UP JOGPSNBM BOE GPSNBM JOUFSBDUJPOT PG QFPQMF %FTQJUF UIF GBDU UIBU B TPDJPUFDIOJDBM QFSTQFDUJWF IBT CFFO BSPVOE GPS PWFS B IBMG DFOUVSZ JU JT PॎFO GPSHPUUFO JO UIF *4 EJTDPVSTF UPEBZ $POTFRVFOUMZ NBOZ ۢOFX BQQSPBDIFTۣ BQQFBS UP SFषFDU PO *4 TZTUFNT QSPCMFNT TVDI BT NPEFSO *5 TZTUFNT XIJDI BSF QPPSMZ BEKVTUFE UP UIF FYUFSOBM PSBOE JOUFSOBM FOWJSPONFOU FH NBSLFU PSHBOJ[BUJPOBM DVMUVSF PG PSHBOJ[BUJPOT JO XIJDI UIFZ BSF UP CF EFQMPZFE 8F TUSPOHMZ CFMJFWF UIBU JU JT IJHI UJNF UIBU UIF TPDJPUFDIOJDBM QFSTQFDUJWF UPPL JUT QSPQFS QMBDF JO *4 SFTFBSDI QSBDUJDF BOE UFBDIJOH *U JT OPX NPSF JNQPSUBOU UIBO FWFS UP GVMMZ FOHBHF XJUI B TPDJPUFDIOJDBM VOEFSTUBOEJOH JO UIF XBLF PG UIF QBOEFNJD PG $07*% B DIBOHF UIBU IBT BMUFSFE WBSJPVT TPDJPUFDIOJDBM TUSVDUVSFT 1SPDFFEJOHT PG UIF UI *OUFSOBUJPOBM 8PSLTIPQ PO 4PDJP5FDIOJDBM 1FSTQFDUJWF JO *4 %FWFMPQNFOU 451*4  +VOF   (SFOPCMF 'SBODF £ QFUFSCFEOBS!QPSUBDVL 1 #FEOBS  BMFYBOEFSOPMUF!VUFF " /PMUF  NJLLPSBKBOFO!PVMVश . 3BKBOFO  IFMFOBWBMMPIVMU!IWTF ) 7 )VMU  BOOBTJ!SVJT " 4 *TMJOE  GFEFSJDPQJHOJ!HSFOPCMFFNDPN ' 1JHOJ 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 i 5IF TJYUI 451*4 XPSLTIPQ 5IF NBJO QVSQPTF PG UIF XPSLTIPQ JT UP BSSBOHF EJTDVTTJPOT PO VTJOH B TPDJPUFDIOJDBM QFSTQFD UJWF JO *4 EFWFMPQNFOU XJUI UIF MPOHUFSN HPBM PG NBLJOH UIJT XPSLTIPQ B NFFUJOH QMBDF GPS UIF DPNNVOJUZ PG *4 SFTFBSDIFST BOE QSBDUJUJPOFST JOUFSFTUFE JO UIF TPDJPUFDIOJDBM BQQSPBDI %VF UP UIF QSFTFOU TJUVBUJPO XJUI UIF QBOEFNJD $07*% UIF DPOGFSFODF XBT PSHBOJ[FE WJSUVBMMZ JO (SFOPCMF JO 'SBODF XJUI 'FEFSJDP 1JHOJ (SFOPCMF &DPMF EF .BOBHFNFOU 'SBODF BT UIF MPDBM PSHBOJ[JOH DIBJS 5IF XPSLTIPQT XFSF PSHBOJ[FE JO UISFF QBSBMMFM TFTTJPOT EVSJOH UIF UXP EBZT "O BEEJUJPOBM 64 TFTTJPO DPDIBJSFE CZ &MFBOPS 8ZOO 1I% 3POJO *OTUJUVUF XBT BSSBOHFE JO B EJवFSFOU UJNF [POF BT UIF XPSLTIPQ BMTP BUUSBDUFE SFTFBSDIFST PVUTJEF PG &VSPQF JOUFSFTUFE JO TPDJPUFDIOJDBM BQQSPBDIFT 5IFTF XPSLTIPQ QSPDFFEJOHT BSF B DPOUJOVBUJPO GSPN QSFWJPVT ZFBS۟T BUUFNQU UP TFU VQ B CSPBE QMBUGPSN GPS EJTDVTTJPO BOE EFCBUF PO UIF CFOFशUT BOE QSPCMFNT PG WJFXJOH JOGPSNBUJPO TZTUFNT BT TPDJPUFDIOJDBM BSUFGBDUT *O BMM  QBQFST XFSF QSFTFOUFE BU UIF DPOGFSFODF XJUI BQQSPYJNBUFMZ  QBSUJDJQBOUT 5IF QBSUJDJQBOUT XFSF JOWJUFE UP GVSUIFS EFWFMPQ UIF TVCNJTTJPOT BT TIPSU PS MPOH QBQFST GPS JODMVTJPO JO UIF 451*4  QSPDFFEJOHT 5IFSF XFSF  QBQFST TVCNJUUFE CZ  EJवFSFOU BVUIPST JO UPUBM 5IF TVCNJTTJPOT XFSF PG WBSJPVT LJOET ۙ JEFB BOE SFTFBSDI QBQFST FYQFSJFODF SFQPSUT QPTJUJPO QBQFST QPTUFST BOE NVMUJNFEJB QSFTFOUBUJPOT 0G UIFTF  QBQFST FYUFOEFE BOE SFWJTFE XFSF BDDFQUFE GPS QVCMJDBUJPO BॎFS EPVCMF CMJOE SFWJFX &BDI TVCNJTTJPO XBT SFWJFXFE CZ BU MFBTU UXP QSPHSBN DPNNJUUFF NFNCFST 4PNF QBQFST XFSF SFDMBTTJशFE FH GSPN B SFTFBSDI QBQFS UP B QPTJUJPO QBQFS 5XP PG UIF QBQFST BSF SFTFBSDI FTTBZT 8F IBWF HPOF UISPVHI BMM  QBQFST BOE QVU UIFN JO HSPVQT OPU BMXBZT QFSGFDU CVU SFBTPOBCMZ SFMBUFE 8F BMTP USJFE UP HFU TPNF TQSFBE PS NPSF UIBO IBMG PG UIF QBQFST XPVME CF JO UIF TBNF HSPVQ 4P XF MPPLFE BU OPU POMZ UIF NBJO TVCKFDU CVU BMTP XIBU JU DPVME CF SFMBUFE UP 5IF UPQJDT DPWFS WBSJPVT BQQMJDBUJPO EPNBJOT XIFSF B TPDJPUFDIOJDBM QFSTQFDUJWF DBO CF VTFE TVDI BT XPSL TZTUFN PSHBOJ[BUJPOBM DIBOHF FEVDBUJPO JOEVTUSZ  TZTUFNJD TVTUBJOBCJMJUZ TPDJPUFDIOJDBM TFDVSJUZ BMM SFMBUFE UP JOEJWJEVBM BOE PSHBOJ[BUJPOBM JTTVFT QSPEVDUJPO TUPSBHF IFBMUIDBSF FUD 5IF QSPHSBN BMTP JODMVEFE POF JOWJUFE UBML XIJDI IBT BMTP CFFO JODMVEFE JO UIF QSPDFFEJOHT 5IJT ZFBS UIF JOWJUFE UBML XBT CZ %S "NBOZ &MCBOOB BOE JU XBT EFWPUFE UP 4PDJPUFDIOJDBM "QQSPBDIFT JO UIF FSB PG EBUB TDJFODF BOE "* "DLOPXMFEHNFOUT 5IF PSHBOJ[FST BSF HSBUFGVM UP UIF NFNCFST PG 1SPHSBN $PNNJUUFF GPS UIFJS FYDFMMFOU XPSL PG SFWJFXJOH TVCNJUUFE QBQFST JO TIPSU UJNF 8F BMTP XBOU UP FYUFOE PVS UIBOLT UP &BTZ$IBJS GPS QSPWJEJOH VT XJUI B UPPM UP NBOBHF UIF XPSLTIPQ QSPDFFEJOHT GSFF PG DIBSHF 8F BSF BMTP NVDI PCMJHFE UP UIF -PDBM PSHBOJ[FST GPS UIFJS TVQQPSU JO QSPWJEJOH B WJSUVBM DPOGFSFODF QMBUGPSN BOE PSHBOJ[JOH UIF TJYUI 451*4 XPSLTIPQ %FDFNCFS   ii 451*4  0SHBOJ[JOH $PNNJUUFF 1FUFS #FEOBS "MFYBOEFS /PMUF "OOB 4JHS­°VS TMJOE )FMFOB 7BMMP )VMU .JLLP 3BKBOFO -PDBM 0SHBOJ[JOH $IBJS 'FEFSJDP 1JHOJ "EWJTPSZ #PBSE 4UFXBSU ,PXBMTLJ *MJB #JEFS 1SPHSBN $PNNJUUFF 1FUFS #FEOBS "MFY #FOOFUU *MJB #JEFS 'SBODFTDP #PMJDJ "MFTTJP .BSJB #SBDDJOJ 'FEFSJDP $BCJU[B "OESFB $BSVHBUJ "NBOZ &MCBOOB 6NCFSUP 'JBDDBEPSJ "OUPJOF )BSGPVDIF 5IPNBT )FSSNBOO "OHFMB -PDPSP "MFYBOEFS /PMUF .BSJVT[ /PXPTUBXTLJ .JLLP 3BKBOFO (JM 3FHFW .PVशEB 4BEPL 7BTJMFOB 4IJEFSPWB 1BPMP 4QBHOPMFUUJ -BVSB 5BSBOUJOP .BSJKB 5PQV[PWTLB -BULPWJLK )FMFOB 7BMMP)VMU $ISJTUJOF 8FMDI &MFBOPS 8ZOO 'BUFNB ;BHIMPVM "OOB 4JHS­°VS TMJOE 4UFGBOP ;B iii