TY  - GEN
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.
AU  - Governatori, Guido.
AU  - Turhan, Anni-Yasmin.
CN  - QA76.9.L63
CY  - Cham :
DA  - 2022.
DO  - 10.1007/978-3-031-21541-4
DO  - doi
ID  - 1451903
KW  - Computer logic
KW  - Rule-based programming
KW  - Logic programming
KW  - Software engineering
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-21541-4
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.
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.
PB  - Springer,
PP  - Cham :
PY  - 2022.
SN  - 9783031215414
SN  - 3031215419
T1  - Rules and reasoning :6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings /
TI  - Rules and reasoning :6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-21541-4
VL  - 13752
ER  -