LEADER 04548nam  22007695  450 
001 996465786803316
005 20200701022330.0
010   $a3-319-42019-4
024 7 $a10.1007/978-3-319-42019-6
035   $a(CKB)3710000000734833
035   $a(DE-He213)978-3-319-42019-6
035   $a(MiAaPQ)EBC5591403
035   $a(PPN)194378764
035   $a(EXLCZ)993710000000734833
100   $a20160627d2016      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRule Technologies. Research, Tools, and Applications$b[electronic resource] $e10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings /$fedited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XXV, 351 p. 41 illus.) 
225 1 $aProgramming and Software Engineering ;$v9718
311   $a3-319-42018-6 
320   $aIncludes bibliographical references and index.
327   $aGeneral RuleML Track -- Smart Contracts, Blockchain and Rules -- Constraint Handling Rules -- Legal Rules and Reasoning -- Rule- and Ontology-Based Data Access and Transformation -- Rule Induction and Learning -- Event Driven Architectures and Active Database Systems.
330   $aThis book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016. The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited standard paper, presented were carefully reviewed and selected from 36 submissions. RuleML is a leading conference aiming to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack. It is devoted to rule-based programming and rule-based systems including production rule systems, logic programming rule engines, and business rule engines and business rule management systems, Semantic Web rule languages and rule standards and technologies, and research on inference rules, transformation rules, decision rules, and ECA rules. .
410  0$aProgramming and Software Engineering ;$v9718
606   $aArtificial intelligence
606   $aMathematical logic
606   $aApplication software
606   $aComputer logic
606   $aSoftware engineering
606   $aInformation storage and retrieval
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   $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   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aApplication software.
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aInformation storage and retrieval.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aInformation Storage and Retrieval.
676   $a025.0427
702   $aAlferes$b Jose Julio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBertossi$b Leopoldo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGovernatori$b Guido$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFodor$b Paul$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   $a996465786803316
996   $aRule Technologies. Research, Tools, and Applications$92811264
997   $aUNISA