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 Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.09.2019

Herausgeber

Paul Fodor + weitere

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

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.09.2019

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: [email protected]

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • 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.