RuleML+RR B

16 papers

YearTitle / Authors
2019Adding Constraint Tables to the DMN Standard: Preliminary Results.
Marjolein Deryck, Bram Aerts, Joost Vennekens
2019Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP.
Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens
2019Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.
Fangfang Liu, Jia-Huai You
2019An ASP-based Solution for Operating Room Scheduling with Beds Management.
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
2019Complementing Logical Reasoning with Sub-symbolic Commonsense.
Federico Bianchi, Matteo Palmonari, Pascal Hitzler, Luciano Serafini
2019Detecting "Slippery Slope" and Other Argumentative Stances of Opposition Using Tree Kernels in Monologic Discourse.
Davide Liga, Monica Palmirani
2019EASE: Enabling Hardware Assertion Synthesis from English.
Rahul Krishnamurthy, Michael S. Hsiao
2019Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner.
Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
2019Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes.
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
2019Formalizing Object-Ontological Mapping Using F-logic.
Martin Ledvinka, Petr Kremen
2019Fuzzy Logic Programming for Tuning Neural Networks.
Ginés Moreno, Jesús Pérez, José A. Riaza
2019ODRL Policy Modelling and Compliance Checking.
Marina De Vos, Sabrina Kirrane, Julian A. Padget, Ken Satoh
2019Query Rewriting for DL Ontologies Under the ICAR Semantics.
Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos
2019Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization.
Olivier Rodriguez, Reza Akbarinia, Federico Ulliana
2019Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP.
Loris Bozzato, Thomas Eiter, Luciano Serafini
2019Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings
Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman