Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
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 R...
Other Authors: | , , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer International Publishing
2019, 2019
|
Edition: | 1st ed. 2019 |
Series: | Programming and Software Engineering
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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