default search action
RuleML+RR 2019: Bolzano, Italy
- Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman:
Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings. Lecture Notes in Computer Science 11784, Springer 2019, ISBN 978-3-030-31094-3
Full Papers
- Stefan Borgwardt, Walter Forkel, Alisa Kovtunova:
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes. 3-18 - Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP. 19-35 - Marina De Vos, Sabrina Kirrane, Julian A. Padget, Ken Satoh:
ODRL Policy Modelling and Compliance Checking. 36-51 - Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens:
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. 52-66 - Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro:
An ASP-based Solution for Operating Room Scheduling with Beds Management. 67-81 - Rahul Krishnamurthy, Michael S. Hsiao:
EASE: Enabling Hardware Assertion Synthesis from English. 82-96 - Martin Ledvinka, Petr Kremen:
Formalizing Object-Ontological Mapping Using F-logic. 97-112 - Fangfang Liu, Jia-Huai You:
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. 113-127 - Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß:
Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner. 128-143 - Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos:
Query Rewriting for DL Ontologies Under the ICAR Semantics. 144-158
Technical Communication Papers
- Federico Bianchi, Matteo Palmonari, Pascal Hitzler, Luciano Serafini:
Complementing Logical Reasoning with Sub-symbolic Commonsense. 161-170 - Marjolein Deryck, Bram Aerts, Joost Vennekens:
Adding Constraint Tables to the DMN Standard: Preliminary Results. 171-179 - Davide Liga, Monica Palmirani:
Detecting "Slippery Slope" and Other Argumentative Stances of Opposition Using Tree Kernels in Monologic Discourse. 180-189 - Ginés Moreno, Jesús Pérez, José A. Riaza:
Fuzzy Logic Programming for Tuning Neural Networks. 190-197 - Olivier Rodriguez, Reza Akbarinia, Federico Ulliana:
Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization. 198-206
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.