3rd International Joint Conference on Rules and Reasoning
16-19 September 2019 - Bolzano, Italy
It is a medieval fortification on a rocky spur, built after 1237. In 1385, Niklaus and Franz Vintler, wealthy merchant brothers from Bolzano, bought the castle and commissioned vast renovations. The house was painted with frescos, for which the castle is most famous today, inside and outside. The cycle of frescos (the largest cycle of profane frescos from the Middle Ages in the world) has topics of literary nature, including King Arthur and his knights, Tristan and Isolde, Dietrich von Bern.
Read more here.
Photo by Vid_Pogacnik@wikimapia.org(CC by-nc-sa)
Accepted papers - Main Track
Martin Ledvinka, Petr Kremen Formalizing Object-ontological Mapping Using F-logicRahul Krishnamurthy, Michael Hsiao EASE: Enabling Hardware Assertion Synthesis from EnglishDespoina Trivela, Giorgos Stoilos, Vasilis Vassalos Query Rewriting for DL Ontologies under the ICAR semanticsStefan Borgwardt, Walter Forkel, Alisa Kovtunova Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxesFriedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß Efficient TBox Reasoning with Value Restrictions--Introducing the Flower ReasonerCarmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro An ASP-based Solution for Operating Room Scheduling with Beds ManagementLoris Bozzato, Thomas Eiter, Luciano Serafini Reasoning on DL-Lite_R with Defeasibility in ASPFangfang Liu, Jia-Huai You Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFTMarina De Vos, Sabrina Kirrane, Julian Padget, Ken Satoh ODRL policy modelling and compliance checkingMarjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP
Olivier Rodriguez, Reza Akbarinia, Federico Ulliana Querying Key-Value Stores Under Single-Key Constraints: Rewriting and ParallelizationMarjolein Deryck, Bram Aerts, Joost Vennekens Adding Constraint Tables to the DMN Standard: Preliminary ResultsFederico Bianchi, Matteo Palmonari, Pascal Hitzler, Luciano Serafini Complementing Logical Reasoning with Sub-Symbolic CommonsenseDavide Liga, Monica Palmirani Detecting "Slippery Slope" and other argumentative stances of opposition using Tree Kernels in monologic discourseGines Moreno, Jesús Pérez and José Antonio Riaza Valverde Fuzzy Logic Programming for Tuning Neural Networks