Del 11784 - Lecture Notes in Computer Science

Rules and Reasoning

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

Häftad, Engelska, 2019

AvPaul Fodor,Marco Montali,Diego Calvanese,Dumitru Roman

689 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2019-09-14
Mått155 x 235 x 13 mm
Vikt347 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor207
FörlagSpringer Nature Switzerland AG
ISBN9783030310943

Tillhör följande kategorier

Tillämpad datateknik inom Data och IT
Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT

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.

Du kanske också är intresserad av

Del 9718

Rule Technologies. Research, Tools, and Applications

Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman

Häftad

1 409 kr

Del 8620

Rules on the Web: From Theory to Applications

Antonis Bikakis, Paul Fodor, Dumitru Roman

Häftad

709 kr

Del 329

Business Process Management Forum

Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke, Jan Vom Brocke

Häftad

689 kr

The Description Logic Handbook

Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider, Dresden) Baader, Franz (Technische Universitat, Bolzano) Calvanese, Diego (Freie Universitat Bozen, New York) McGuinness, Deborah L. (Rensselaer Polytechnic Institute, Italy) Nardi, Daniele (Universita degli Studi di Roma 'La Sapienza', New Jersey) Patel-Schneider , Peter F. (AT&T Bell Laboratories, Deborah L McGuinness

Häftad

1 099 kr

Del 13585

Enterprise Design, Operations, and Computing

João Paulo A. Almeida, Dimka Karastoyanova, Giancarlo Guizzardi, Marco Montali, Fabrizio Maria Maggi, Claudenir M. Fonseca, Joao Paulo A. Almeida, João Paulo a. Almeida

Häftad

689 kr