Rules and Reasoning Rules and Reasoning

Rules and Reasoning

6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings

    • US$54.99
    • US$54.99

출판사 설명

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26–28, 2022. This is the 6th 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 18 full research papers presented in this book were carefully reviewed and selected from 54 submissions. The papers cover the following topics: answer set programming; foundations of nonmonotonic reasoning; datalog; queries over ontologies; proofs, error-tolerance, and rules; as well as agents and argumentation.

장르
컴퓨터 및 인터넷
출시일
2022년
12월 13일
언어
EN
영어
길이
317
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
20.5
MB
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
2022년
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
2011년
Logic Programming Logic Programming
2009년
Frontiers of Combining Systems Frontiers of Combining Systems
2021년
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
2011년
Reasoning Web. Declarative Artificial Intelligence Reasoning Web. Declarative Artificial Intelligence
2020년
PRICAI 2021: Trends in Artificial Intelligence PRICAI 2021: Trends in Artificial Intelligence
2021년
PRICAI 2021: Trends in Artificial Intelligence PRICAI 2021: Trends in Artificial Intelligence
2021년
PRICAI 2021: Trends in Artificial Intelligence PRICAI 2021: Trends in Artificial Intelligence
2021년
Rule Technologies. Research, Tools, and Applications Rule Technologies. Research, Tools, and Applications
2016년
Rule-Based Reasoning, Programming, and Applications Rule-Based Reasoning, Programming, and Applications
2011년
Rule Interchange and Applications Rule Interchange and Applications
2009년