Advertisement

Rules and Reasoning

Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

  • Paul Fodor
  • Marco Montali
  • Diego Calvanese
  • Dumitru Roman
Conference proceedings RuleML+RR 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Full Papers

    1. Front Matter
      Pages 1-1
    2. Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
      Pages 3-18
    3. Loris Bozzato, Thomas Eiter, Luciano Serafini
      Pages 19-35
    4. Marina De Vos, Sabrina Kirrane, Julian Padget, Ken Satoh
      Pages 36-51
    5. Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros Stefaneas, Panayiotis Frangos, Iakovos Ouranos et al.
      Pages 52-66
    6. Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
      Pages 67-81
    7. Rahul Krishnamurthy, Michael S. Hsiao
      Pages 82-96
    8. Martin Ledvinka, Petr Křemen
      Pages 97-112
    9. Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos
      Pages 144-158
  3. Technical Communication Papers

    1. Front Matter
      Pages 159-159
    2. Federico Bianchi, Matteo Palmonari, Pascal Hitzler, Luciano Serafini
      Pages 161-170
    3. Marjolein Deryck, Bram Aerts, Joost Vennekens
      Pages 171-179
    4. Ginés Moreno, Jesús Pérez, José A. Riaza
      Pages 190-197
    5. Olivier Rodriguez, Reza Akbarinia, Federico Ulliana
      Pages 198-206
  4. Back Matter
    Pages 207-207

About these proceedings

Introduction

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third 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 short technical communications papers were carefully reviewed and selected from 26 submissions.

Keywords

artificial intelligence description logic knowledge base knowledge representation knowledge-based system language logic programming ontologies programming languages semantics software engineering specifications World Wide Web

Editors and affiliations

  1. 1.Stony Brook UniversityStony BrookUSA
  2. 2.Free University of Bozen-BolzanoBolzanoItaly
  3. 3.Free University of Bozen-BolzanoBolzanoItaly
  4. 4.SINTEF ASOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-31095-0
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-31094-3
  • Online ISBN 978-3-030-31095-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
Energy, Utilities & Environment