Produktbild: Rules and Reasoning
Band 10364

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.06.2017

Abbildungen

XVIII, 43 illus., schwarz-weiss Illustrationen

Herausgeber

Stefania Costantini + weitere

Verlag

Springer

Seitenzahl

239

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

400 g

Auflage

1st edition 2017

Sprache

Englisch

ISBN

978-3-319-61251-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.06.2017

Abbildungen

XVIII, 43 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

239

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

400 g

Auflage

1st edition 2017

Sprache

Englisch

ISBN

978-3-319-61251-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • Opening the Black Box: Deriving Rules from Data.- The secret life of rules in Software Engineering.- Meta-Interpretive Learning: achievements and challenges.- Dischargeable Obligations in Abductive Logic Programming.- Using Rule-Based Reasoning for RDF Validation.- Three Methods for Revising Hybrid Knowledge Bases.- Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data.- Semantic DMN: Formalizing Decision Models with Domain Knowledge.- A set-theoretic approach to ABox reasoning services.- Verifying Controllability of Time-Aware Business Processes.- A Decidable Conuence Test for Cognitive Models in ACT-R.- On the Chase for All Provenance Paths With Existential Rules.- Rewriting Queries with Negated Atoms.- Fast ABox Consistency Checking using Incomplete Reasoning and Caching.- An Online Tool for Tuning Fuzzy Logic Programs.- Hybrid ASP-based Approach to Pattern Mining.- nconsistency-tolerant Instance Checking in Tractable Description Logics.- ArgQL: A Declarative Language for Querying Argumentative Dialogues.