Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Fodor, Paul (Editor, http://id.loc.gov/vocabulary/relators/edt), Montali, Marco (Editor, http://id.loc.gov/vocabulary/relators/edt), Calvanese, Diego (Editor, http://id.loc.gov/vocabulary/relators/edt), Roman, Dumitru (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Programming and Software Engineering ; 11784
• Subjects: Mathematical logic.; Artificial intelligence.; Computer logic.; Application software.; Software engineering.; Mathematical Logic and Formal Languages.; Artificial Intelligence.; Logics and Meanings of Programs.; Computer Appl. in Administrative Data Processing.; Software Engineering/Programming and Operating Systems.

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" (Internati...

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.