RuleML+RR 2018
2nd International Joint Conference on Rules and Reasoning
18-21 Sep 2018, Luxembourg
with
Reasoning Web Summer School (RW 2018)
22-26 Sep 2018, Luxembourg

Main conference—list of accepted papers

# Author(s) Title
1
Stathis Delivorias, Michel Leclere, Marie-Laure Mugnier and Federico Ulliana
On the k-Boundedness for Existential Rules
2
Abdelraouf Hecham, Pierre Bisquert and Madalina Croitoru
A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
3
Romain Rincé, Romain Kervarc and Philippe Leray
Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
4
Enrique Matos Alfonso and Giorgos Stamou
On Horn Conjunctive Queries
5
Francesco Calimeri, Francesco Cauteruccio, Aldo Marzullo, Claudio Stamile and Giorgio Terracina
Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
6
Francesco Pacenza, Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Simona Perri and Jessica Zangari
Integrating Rule-Based AI Tools into Mainstream Game Development
7
Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Designs - Technical Communication
8
Matthew R Karlsen and Sotiris Moschoyiannis
Learning condition action rules for personalised journey recommendations
9
Sofia Almpani, Petros Stefaneas, Harold Boley, Theodoros Mitsikas and Panayiotis Frangos
Computational Regulation of Medical Devices in PSOA RuleML
10
Marjolein Deryck, Faruk Hasic, Jan Vanthienen and Joost Vennekens
A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
11
Christian Alrabbaa, Sebastian Rudolph and Lukas Schweizer
Faceted Answer-Set Navigation
12
Justifications for Description Logic Knowledge Bases under the Fixed-Domain Semantics
13
An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
14
Tobias Gleißner and Alexander Steen
The MET: The Art of Flexible Reasoning with Modalities
15
Renan Gomes Barreto, Lucas Oliveira Costa Aversari, Cecília Neta Alves Pegado Gomes and Natasha Correia Queiroz Lino
Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
16
Answer Set Programming Modulo `Space-Time'
17
Arash Karimi, Heng Zhang and Jia-Huai You
Restricted Chase Termination: a Hierarchical Approach and Experimentation
18
Patrick Rodler and Wolfgang Schmid
On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
19
Cardinality Restrictions within Description Logic Connection Calculi
20
Prateek Jain, Peter Yeh, William Jarrold, Ezra Story, Julien Villemure and David Martin
Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
21
A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices
22
CHR.js: A CHR Implementation in JavaScript