LEADER 04133nam  22007695  450 
001 9910483252103321
005 20251226195847.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 $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,$x2945-9168 ;$v9718
311 08$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,$x2945-9168 ;$v9718
606   $aArtificial intelligence
606   $aMachine theory
606   $aApplication software
606   $aComputer science
606   $aSoftware engineering
606   $aInformation storage and retrieval systems
606   $aArtificial Intelligence
606   $aFormal Languages and Automata Theory
606   $aComputer and Information Systems Applications
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aInformation Storage and Retrieval
615  0$aArtificial intelligence.
615  0$aMachine theory.
615  0$aApplication software.
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aInformation storage and retrieval systems.
615 14$aArtificial Intelligence.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer and Information Systems Applications.
615 24$aComputer Science Logic and Foundations of Programming.
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   $a9910483252103321
996   $aRule Technologies. Research, Tools, and Applications$92811264
997   $aUNINA