LEADER 03995nam 22007575 450 001 996466358503316 005 20200703081513.0 010 $a3-319-99906-0 024 7 $a10.1007/978-3-319-99906-7 035 $a(CKB)4100000005958422 035 $a(DE-He213)978-3-319-99906-7 035 $a(MiAaPQ)EBC6249037 035 $a(PPN)229916457 035 $a(EXLCZ)994100000005958422 100 $a20180823d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRules and Reasoning$b[electronic resource] $eSecond International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18?21, 2018, Proceedings /$fedited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XXIII, 328 p. 80 illus.) 225 1 $aProgramming and Software Engineering ;$v11092 311 $a3-319-99905-2 320 $aIncludes bibliographical references and index. 327 $aTechnical Communication -- Novel Technologies -- Innovative Applications about Knowledge Representation. Reasoning with rules. . 330 $aThis book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely ?RuleML? (International Web Rule Symposium) and ?RR? (Web Reasoning and Rule Systems). The 10 full research papers presented together with 5 long technical communications and 7 short papers were carefully reviewed and selected from 33 submissions. 410 0$aProgramming and Software Engineering ;$v11092 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer logic 606 $aApplication software 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aApplication software. 615 14$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aComputer Appl. in Administrative Data Processing. 676 $a004.015113 702 $aBenzmüller$b Christoph$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRicca$b Francesco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aParent$b Xavier$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 $a996466358503316 996 $aRules and Reasoning$92585543 997 $aUNISA