Rules and Reasoning

Beschreibung

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.

Autor*in

Guido Governatori

Themen in »Rules and Reasoning«

artificial intelligence computer programming computer science computer systems databases engineering formal languages formal logic internet knowledge representation knowledge-based system linguistics logic programming mathematics ontologies

Stimmen zu »Rules and Reasoning«

Details

Link teilen