![](https://dblp.dagstuhl.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
RuleML+RR 2020: Oslo, Norway
- Víctor Gutiérrez-Basulto, Tomás Kliegr
, Ahmet Soylu, Martin Giese
, Dumitru Roman:
Rules and Reasoning - 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings. Lecture Notes in Computer Science 12173, Springer 2020, ISBN 978-3-030-57976-0
Invited Paper
- Eyke Hüllermeier, Johannes Fürnkranz, Eneldo Loza Mencía, Vu-Linh Nguyen
, Michael Rapp
:
Rule-Based Multi-label Classification: Challenges and Opportunities. 3-19
Full Papers
- Bram Aerts, Simon Vandevelde, Joost Vennekens
:
Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. 23-38 - Gabriella Pasi
, Rafael Peñaloza
:
Query Answering in Fuzzy DL-Lite with Graded Axioms. 39-53 - Yuichi Kato, Tetsuro Saeki:
New Rule Induction Method by Use of a Co-occurrence Set from the Decision Table. 54-69 - Leopoldo E. Bertossi:
An ASP-Based Approach to Counterfactual Explanations for Classification. 70-81 - Robert Schaffenrath, Daniel Proksch, Markus Kopp, Iacopo Albasini, Oleksandra Panasiuk, Anna Fensel:
Benchmark for Performance Evaluation of SHACL Implementations in Graph Databases. 82-96 - Qurat-ul-ain Shaheen
, Alice Toniolo
, Juliana Küster Filipe Bowles
:
Dialogue Games for Explaining Medication Choices. 97-111 - Mark Thom
, Harold Boley
, Theodoros Mitsikas
:
Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying. 112-128
Technical Communication Papers
- Luigi Bellomarini, Eleonora Laurenza
, Emanuel Sallinger, Evgeny Sherkhonov:
Reasoning Under Uncertainty in Knowledge Graphs. 131-139 - Arash Karimi, Jia-Huai You:
Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies. 140-149 - Ginés Moreno, José A. Riaza:
Symbolic Similarity Relations for Tuning Fully Integrated Fuzzy Logic Programs. 150-158 - Andrea Aler Tubella
, Andreas Theodorou
, Virginia Dignum
, Loizos Michael:
Contestable Black Boxes. 159-167 - Juliana Küster Filipe Bowles
, Agastya Silvina
, Eyal Bin, Michael Vinov:
On Defining Rules for Cancer Data Fabrication. 168-176 - Guido Governatori
, Pompeu Casanovas Romeu, Louis de Koker
:
On the Formal Representation of the Australian Spent Conviction Scheme. 177-185
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.