LEADER 04014nam  22007935  450 
001 9910484560803321
005 20200630131408.0
010   $a3-319-21542-6
024 7 $a10.1007/978-3-319-21542-6
035   $a(CKB)3710000000454198
035   $a(SSID)ssj0001558628
035   $a(PQKBManifestationID)16184111
035   $a(PQKBTitleCode)TC0001558628
035   $a(PQKBWorkID)14819169
035   $a(PQKB)11377610
035   $a(DE-He213)978-3-319-21542-6
035   $a(MiAaPQ)EBC6280974
035   $a(MiAaPQ)EBC5594482
035   $a(Au-PeEL)EBL5594482
035   $a(OCoLC)1076255969
035   $a(PPN)187688796
035   $a(EXLCZ)993710000000454198
100   $a20150711d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRule Technologies: Foundations, Tools, and Applications $e9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings /$fedited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XIX, 474 p. 77 illus.) 
225 1 $aProgramming and Software Engineering ;$v9202
300   $aIncludes index.
311   $a3-319-21541-8 
327   $aGeneral RuleML track -- Complex event processing track -- Existential rules and datalog+/- track -- Legal rules and reasoning track -- Rule learning track -- Industry track.
330   $aThis book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015. The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, 1 invited abstracts presented were carefully reviewed and selected from 63 submissions. The papers cover the following topics: general RuleML track; complex event processing track, existential rules and datalog+/- track; legal rules and reasoning track; rule learning track; industry track.
410  0$aProgramming and Software Engineering ;$v9202
606   $aArtificial intelligence
606   $aApplication software
606   $aComputer logic
606   $aInformation storage and retrieval
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001
606   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
615  0$aArtificial intelligence.
615  0$aApplication software.
615  0$aComputer logic.
615  0$aInformation storage and retrieval.
615 14$aArtificial Intelligence.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aLogics and Meanings of Programs.
615 24$aComputer Applications.
615 24$aInformation Storage and Retrieval.
676   $a005.11
702   $aBassiliades$b Nick$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGottlob$b Georg$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSadri$b Fariba$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPaschke$b Adrian$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRoman$b Dumitru$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484560803321
996   $aRule Technologies: Foundations, Tools, and Applications$92829901
997   $aUNINA