TY  - GEN
N2  - This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 2628, 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.
DO  - 10.1007/978-3-031-21541-4
DO  - doi
AB  - This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 2628, 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.
T1  - Rules and reasoning :6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings /
DA  - 2022.
CY  - Cham :
AU  - Governatori, Guido.
AU  - Turhan, Anni-Yasmin.
VL  - 13752
CN  - QA76.9.L63
PB  - Springer,
PP  - Cham :
PY  - 2022.
N1  - "In September 2022 the 6th International Joint Conference on Rules and Reasoning (RuleML+RR) took place online."-- preface.
N1  - 1 Introduction
N1  - Includes author index.
ID  - 1451903
KW  - Computer logic
KW  - Rule-based programming
KW  - Logic programming
KW  - Software engineering
SN  - 9783031215414
SN  - 3031215419
TI  - Rules and reasoning :6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-21541-4
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-21541-4
ER  -