Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings

This 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.

Table des matières

Technical Communication.- Novel Technologies.- Innovative Applications about Knowledge Representation. Reasoning with rules. 

Résumé

This 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.

Détails du produit

• Collaboration: Christoph Benzmüller (Editeur), Xavier Parent (Editeur), Xavier Parent et al (Editeur), Francesc Ricca (Editeur), Francesco Ricca (Editeur), Dumitru Roman (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 31.10.2018
• EAN: 9783319999050
• ISBN: 978-3-31-999905-0
• Pages: 328
• Dimensions: 162 mm x 236 mm x 19 mm
• Poids: 534 g
• Illustrations: XXIII, 328 p. 80 illus.
• Thèmes: Lecture Notes in Computer Science; Programming and Software Engineering; Lecture Notes in Computer Science; Programming and Software Engineering
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique; C, Künstliche Intelligenz, Artificial Intelligence, Theoretische Informatik, Compiler und Übersetzer, computer science, Public Administration, Logics and Meanings of Programs, Application software, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Mathematical theory of computation, Information technology: general issues, Computer programming / software engineering, Mathematical logic, Mathematical Logic and Formal Languages, Computer Appl. in Administrative Data Processing, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Application in Administrative Data Processing, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters