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 và các tác giả khác
    • 39,99 US$
    • 39,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2019
13 tháng 9
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
223
Trang
NHÀ XUẤT BẢN
Springer International Publishing
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
16,6
Mb
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
2016
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
2018
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
2020
Interactive Theorem Proving Interactive Theorem Proving
2018
Automated Reasoning Automated Reasoning
2018
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
2015