Advertisement

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
    6. Marjolein Deryck, Faruk Hasić, Jan Vanthienen, Joost Vennekens
      Pages 248-263
    7. Tobias Gleißner, Alexander Steen
      Pages 274-284
    8. Prateek Jain, Peter Z. Yeh, William Jarrold, Ezra Story, Julien Villemure, David Martin
      Pages 285-292
    9. Matthew R. Karlsen, Sotiris Moschoyiannis
      Pages 293-301
    10. Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
      Pages 310-317
    11. Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemysław Andrzej Wałęga
      Pages 318-326
  5. Back Matter
    Pages 327-328

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-99906-7
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-99905-0
  • Online ISBN 978-3-319-99906-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site