© 2018

Rules and Reasoning

Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

  • Christoph Benzmüller
  • Francesco Ricca
  • Xavier Parent
  • Dumitru Roman
Conference proceedings RuleML+RR 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11092)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11092)

Table of contents

  1. Front Matter
    Pages I-XXIII
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
      Pages 3-8
  3. Full Papers

    1. Front Matter
      Pages 31-31
    2. Francesco Calimeri, Francesco Cauteruccio, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
      Pages 33-47
    3. Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
      Pages 48-64
    4. Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert
      Pages 81-97
    5. Arash Karimi, Heng Zhang, Jia-Huai You
      Pages 98-114
    6. Enrique Matos Alfonso, Giorgos Stamou
      Pages 115-130
    7. Falco Nogatz, Thom Frühwirth, Dietmar Seipel
      Pages 131-146
    8. Romain Rincé, Romain Kervarc, Philippe Leray
      Pages 147-163
    9. Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
      Pages 185-200
  4. Technical Communication Papers

    1. Front Matter
      Pages 201-201
    2. Sofia Almpani, Petros Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
      Pages 203-210
    3. Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer
      Pages 211-225
    4. Renan Gomes Barreto, Lucas Oliveira Costa Aversari, Cecília Neta Alves Pegado Gomes, Natasha Correia Queiroz Lino
      Pages 226-238
    5. Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
      Pages 239-247

About these proceedings


This book constitutes the proceedings of the  International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).

The 10 full research papers presented together with 5 long technical communications and 7 short papers were carefully reviewed and selected from 33 submissions.


Knowledge Representation and Reasoning Nonmonotonic Reasoning Logic Programming and Answer Set Programming Reasoning about belief and knowledge Temporal Reasoning Spatial and Physical Reasoning Rule Learning Business Rules Reactive Rules Association Rules Logic, Automated Reasoning, Logic and Verification Markup Languages Modal and Temporal Logics Description Logics Higher Order Logic Proof Theory Ontologies Legal Rules Constraint Handling Rules semantics artificial intelligence

Editors and affiliations

  • Christoph Benzmüller
    • 1
  • Francesco Ricca
    • 2
  • Xavier Parent
    • 3
  • Dumitru Roman
    • 4
  1. 1.Computer ScienceFreie Universität BerlinBerlinGermany
  2. 2.University of CalabriaRendeItaly
  3. 3.Université du LuxembourgEsch-sur-AlzetteLuxembourg
  4. 4.SINTEF/University of OsloOsloNorway

Bibliographic information