RuleML+RR 2019
3rd International Joint Conference on Rules and Reasoning
16-19 September 2019 - Bolzano, Italy
http://2019.ruleml-rr.org
Roncolo Castle
Accepted papers - Main Track
Search
Full papers
Formalizing Object-ontological Mapping Using F-logic EASE: Enabling Hardware Assertion Synthesis from English Query Rewriting for DL Ontologies under the ICAR semantics Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes Efficient TBox Reasoning with Value Restrictions--Introducing the Flower Reasoner An ASP-based Solution for Operating Room Scheduling with Beds Management Reasoning on DL-Lite_R with Defeasibility in ASP Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT ODRL policy modelling and compliance checking Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDPShort papers
Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization Adding Constraint Tables to the DMN Standard: Preliminary Results Complementing Logical Reasoning with Sub-Symbolic Commonsense Detecting "Slippery Slope" and other argumentative stances of opposition using Tree Kernels in monologic discourse Fuzzy Logic Programming for Tuning Neural NetworksWith the kind support of
Free University of Bozen-Bolzano
Center for Perspicuous Computing
Bosch
Artificial Intelligence Journal
Springer
Oxygen XML Editor
Hotel Greif
Ontopic - A unibz spinoff