KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Rules and Reasoning
  • Produktbild: Rules and Reasoning
Band 11784

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Aus der Reihe Lecture Notes in Computer Science

54,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule...

Beschreibung

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

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

14.09.2019
Abbildungen

XVI, 207 p. 284 illus., 18 illus. in color.
Herausgeber Paul Fodor + weitere

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

14.09.2019
Abbildungen

XVI, 207 p. 284 illus., 18 illus. in color.
Herausgeber
Verlag Springer
Seitenzahl

207
Maße (L/B/H)

23,5/15,5/1,3 cm
Gewicht

347 g
Auflage

1st ed. 2019
Sprache

Englisch
ISBN

978-3-030-31094-3
Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Rules and Reasoning
  • Produktbild: Rules and Reasoning

  • Full Papers.-
    Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes.- Reasoning on
    DL-Lite
    ℛ
    with Defeasibility in ASP.- ODRL policy modelling and compliance checking.- Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP.- An ASP-based Solution for Operating Room Scheduling with Beds Management.- EASE: Enabling Hardware Assertion Synthesis from English.- Formalizing Object-ontological Mapping Using F-logic.- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.- Efficient TBox Reasoning with Value Restrictions—Introducing the ℱℒ
    o
    wer
    Reasoner.- Query Rewriting for DL Ontologies under the ICAR semantics.-
    Technical Communication Papers.-
    Complementing Logical Reasoning with Sub-Symbolic Commonsense.- Adding Constraint Tables to the DMN Standard: Preliminary Results.- Detecting "Slippery Slope" and other argumentative stances of opposition using Tree Kernels in monologic discourse.- Fuzzy Logic Programming for Tuning Neural Networks.- Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization.