Rules and Reasoning Rules and Reasoning

Rules and Reasoning

Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Paul Fodor and Others
    • €42.99
    • €42.99

Publisher Description

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third 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 short technical communications papers were carefully reviewed and selected from 26 submissions.

GENRE
Computing & Internet
RELEASED
2019
13 September
LANGUAGE
EN
English
LENGTH
223
Pages
PUBLISHER
Springer International Publishing
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
16.6
MB
Logics of Specification Languages Logics of Specification Languages
2007
Provably Correct Systems Provably Correct Systems
2017
Refinement in Z and Object-Z Refinement in Z and Object-Z
2013
Theoretical Advances and Applications of Fuzzy Logic and Soft Computing Theoretical Advances and Applications of Fuzzy Logic and Soft Computing
2007
Type Systems for Distributed Programs: Components and Sessions Type Systems for Distributed Programs: Components and Sessions
2016
Artificial Intelligence in Theory and Practice II Artificial Intelligence in Theory and Practice II
2010