Description
Rules and Reasoning, 1st ed. 2018
Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings
Programming and Software Engineering Series
Coordinators: Benzmüller Christoph, Ricca Francesco, Parent Xavier, Roman Dumitru
Language: English
Subject for Rules and Reasoning:
Keywords
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; Ontologies; Legal Rules; Constraint Handling Rules; semantics; artificial intelligence
Publication date: 08-2018
Support: Print on demand
Support: Print on demand
Description
/li>Contents
/li>
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.
Technical Communication.- Novel Technologies.- Innovative Applications about Knowledge Representation. Reasoning with rules.
© 2024 LAVOISIER S.A.S.
