Cantitate/Preț
Produs
Total produse
Vezi coșul
Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings de Paul Fodor

Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings: Lecture Notes in Computer Science, cartea 11784

Editat de Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman
en Limba Engleză Paperback – 14 sep 2019
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31628 lei

Preț vechi: 39535 lei
-20%

Puncte Express: 474
Preț estimativ în valută:
5596€ • 6673$ • 4867£

Carte tipărită la comandă

Livrare economică 27 martie-10 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783030310943
ISBN-10: 3030310949
Pagini: 350
Ilustrații: XVI, 207 p. 284 illus., 18 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.32 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

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 ℱℒower 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.