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 및 다른 저자
    • US$39.99
    • US$39.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2019년
9월 13일
언어
EN
영어
길이
223
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
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년