Rule Technologies. Research, Tools, and Applications (Record no. 59178)

000 -LEADER
fixed length control field 03480nam a22006375i 4500
001 - CONTROL NUMBER
control field 978-3-319-42019-6
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200421112556.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160627s2016 gw | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9783319420196
-- 978-3-319-42019-6
082 04 - CLASSIFICATION NUMBER
Call Number 006.3
245 10 - TITLE STATEMENT
Title Rule Technologies. Research, Tools, and Applications
Sub Title 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings /
300 ## - PHYSICAL DESCRIPTION
Number of Pages XXV, 351 p. 41 illus.
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
505 0# - FORMATTED CONTENTS NOTE
Remark 2 General 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.
520 ## - SUMMARY, ETC.
Summary, etc This 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. .
700 1# - AUTHOR 2
Author 2 Alferes, Jose Julio.
700 1# - AUTHOR 2
Author 2 Bertossi, Leopoldo.
700 1# - AUTHOR 2
Author 2 Governatori, Guido.
700 1# - AUTHOR 2
Author 2 Fodor, Paul.
700 1# - AUTHOR 2
Author 2 Roman, Dumitru.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/978-3-319-42019-6
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type eBooks
264 #1 -
-- Cham :
-- Springer International Publishing :
-- Imprint: Springer,
-- 2016.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Computer science.
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Software engineering.
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Computer logic.
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Mathematical logic.
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Information storage and retrieval.
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Artificial intelligence.
650 14 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Computer Science.
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Artificial Intelligence (incl. Robotics).
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Mathematical Logic and Formal Languages.
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Information Systems Applications (incl. Internet).
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Logics and Meanings of Programs.
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Software Engineering.
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Information Storage and Retrieval.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
-- 0302-9743 ;
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-LNC

No items available.