


default search action
RuleML+RR 2018: Luxembourg
- Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman:

Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings. Lecture Notes in Computer Science 11092, Springer 2018, ISBN 978-3-319-99905-0
Invited Papers
- Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger:

Vadalog: A Language and System for Knowledge Graphs. 3-8 - Guido Governatori

:
Modal Rules: Extending Defeasible Logic with Modal Operators. 9-30
Full Papers
- Francesco Calimeri

, Francesco Cauteruccio
, Aldo Marzullo
, Claudio Stamile, Giorgio Terracina
:
Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis. 33-47 - Stathis Delivorias, Michel Leclère

, Marie-Laure Mugnier, Federico Ulliana
:
On the k-Boundedness for Existential Rules. 48-64 - Fred Freitas, Ivan Varzinczak

:
Cardinality Restrictions Within Description Logic Connection Calculi. 65-80 - Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert:

A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling. 81-97 - Arash Karimi, Heng Zhang, Jia-Huai You:

Restricted Chase Termination: A Hierarchical Approach and Experimentation. 98-114 - Enrique Matos Alfonso, Giorgos Stamou:

On Horn Conjunctive Queries. 115-130 - Falco Nogatz, Thom W. Frühwirth, Dietmar Seipel:

CHR.js: A CHR Implementation in JavaScript. 131-146 - Romain Rincé, Romain Kervarc, Philippe Leray

:
Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling. 147-163 - Patrick Rodler

, Wolfgang Schmid:
On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging. 164-184 - Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa

:
Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics. 185-200
Technical Communication Papers
- Sofia Almpani

, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas
, Panayiotis Frangos:
Computational Regulation of Medical Devices in PSOA RuleML. 203-210 - Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer:

Faceted Answer-Set Navigation. 211-225 - Renan Gomes Barreto

, Lucas Oliveira Costa Aversari
, Cecília Neta Alves Pegado Gomes
, Natasha Correia Queiroz Lino
:
Clinical Decision Support Based on OWL Queries in a Knowledge-as-a-Service Architecture. 226-238 - Domenico Cantone, Marianna Nicolosi Asmundo

, Daniele Francesco Santamaria
:
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$. 239-247 - Marjolein Deryck

, Faruk Hasic
, Jan Vanthienen
, Joost Vennekens
:
A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm. 248-263 - Thom W. Frühwirth:

Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason's Mark Design. 264-273 - Tobias Gleißner, Alexander Steen

:
The MET: The Art of Flexible Reasoning with Modalities. 274-284 - Prateek Jain, Peter Z. Yeh, William Jarrold, Ezra Story, Julien Villemure, David L. Martin:

Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting. 285-292 - Matthew R. Karlsen, Sotiris Moschoyiannis

:
Learning Condition-Action Rules for Personalised Journey Recommendations. 293-301 - Kalliopi Kravari

, Nick Bassiliades
:
A Rule-Based eCommerce Methodology for the IoT Using Trustworthy Intelligent Agents and Microservices. 302-309 - Francesco Calimeri

, Stefano Germano
, Giovambattista Ianni
, Francesco Pacenza
, Simona Perri
, Jessica Zangari
:
Integrating Rule-Based AI Tools into Mainstream Game Development. 310-317 - Carl Schultz

, Mehul Bhatt
, Jakob Suchan
, Przemyslaw Andrzej Walega:
Answer Set Programming Modulo 'Space-Time'. 318-326

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














