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
Langue : Anglais
Coordonnateurs : Benzmüller Christoph, Ricca Francesco, Parent Xavier, Roman Dumitru
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.
Date de parution : 08-2018
Ouvrage de 328 p.
15.5x23.5 cm
Thème de Rules and Reasoning :
Mots-clés :
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
© 2024 LAVOISIER S.A.S.
