Rules and Reasoning

Beschreibung

This book constitutes the proceedings of the  International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second 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 long technical communications and 7 short papers were carefully reviewed and selected from 33 submissions.

Autor*in

Christoph Benzmüller

Themen in »Rules and Reasoning«

Knowledge Representation and Reasoning Nonmonotonic Reasoning Logic Programming and Answer Set Programming Reasoning about belief and knowledge Temporal Reasoning Spatial and Physical Reasoning Rule Learning Business Rules Reactive Rules Association Rules Logic, Automated Reasoning, Logic and Verification Markup Languages Modal and Temporal Logics Description Logics Higher Order Logic Proof Theory

Stimmen zu »Rules and Reasoning«

Details

Link teilen