Skip to main content
SpringerLink
Log in
Book cover

Rules and Reasoning

International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Stefania Costantini

    1. University of L’Aquila, L’Aquila, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Enrico Franconi

    1. Free University of Bozen-Bolzano, Bolzano, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. William Van Woensel

    1. Dalhousie University, Halifax, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Roman Kontchakov

    1. Birkbeck, University of London, London, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Fariba Sadri

    1. Imperial College London, London, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Dumitru Roman

    1. SINTEF/University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: RuleML+RR 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  2. Meta-Interpretive Learning: Achievements and Challenges (Invited Paper)

    • Stephen H. Muggleton
    Pages 1-6

  3. Dischargeable Obligations in Abductive Logic Programming

    • Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
    Pages 7-21

  4. Using Rule-Based Reasoning for RDF Validation

    • Dörthe Arndt, Ben De Meester, Anastasia Dimou, Ruben Verborgh, Erik Mannens
    Pages 22-36

  5. Three Methods for Revising Hybrid Knowledge Bases

    • Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang
    Pages 37-52

  6. Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data

    • Daniela Briola, Viviana Mascardi
    Pages 53-69

  7. Semantic DMN: Formalizing Decision Models with Domain Knowledge

    • Diego Calvanese, Marlon Dumas, Fabrizio M. Maggi, Marco Montali
    Pages 70-86

  8. A Set-Theoretic Approach to ABox Reasoning Services

    • Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
    Pages 87-102

  9. Verifying Controllability of Time-Aware Business Processes

    • Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
    Pages 103-118

  10. A Decidable Confluence Test for Cognitive Models in ACT-R

    • Daniel Gall, Thom Frühwirth
    Pages 119-134

  11. On the Chase for All Provenance Paths with Existential Rules

    • Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru
    Pages 135-150

  12. Rewriting Queries with Negated Atoms

    • Enrique Matos Alfonso, Giorgos Stamou
    Pages 151-167

  13. Fast ABox Consistency Checking Using Incomplete Reasoning and Caching

    • Christian Meilicke, Daniel Ruffinelli, Andreas Nolle, Heiko Paulheim, Heiner Stuckenschmidt
    Pages 168-183

  14. An Online Tool for Tuning Fuzzy Logic Programs

    • Ginés Moreno, José A. Riaza
    Pages 184-198

  15. Hybrid ASP-Based Approach to Pattern Mining

    • Sergey Paramonov, Daria Stepanova, Pauli Miettinen
    Pages 199-214

  16. Inconsistency-Tolerant Instance Checking in Tractable Description Logics

    • Rafael Peñaloza
    Pages 215-229

  17. ArgQL: A Declarative Language for Querying Argumentative Dialogues

    • Dimitra Zografistou, Giorgos Flouris, Dimitris Plexousakis
    Pages 230-237

  18. Back Matter

    Pages 239-239
    Download chapter PDF
Back to top

Other volumes

  1. Rules and Reasoning

Keywords

About this book

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first 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 16 regular papers presented together with 2 keynote abstracts were carefully reviewed and selected from 29 submissions.

The RR conference series has been a forum for discussion and dissemination of new results on all topics concerning Web Reasoning and Rule Systems, with an emphasis on rule-based approaches and languages. The RuleML conference series has been devoted to disseminating research, applications, languages and standards for rule technologies, with attention to both theoretical and practical developments, to challenging new ideas and industrial applications. Both series of conferences aimed at building bridges between academia and industry in the field of rules and their applications. Therefore, RuleML+RR is expected to become a leading conference for all subjects concerning theoretical advances, novel technologies, and innovative applications about knowledge representation and reasoning with rules.

This new joint conference provides a valuable forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. It provides the possibility to present and discuss applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas.

Editors and Affiliations

  • University of L’Aquila, L’Aquila, Italy

    Stefania Costantini

  • Free University of Bozen-Bolzano, Bolzano, Italy

    Enrico Franconi

  • Dalhousie University, Halifax, Canada

    William Van Woensel

  • Birkbeck, University of London, London, United Kingdom

    Roman Kontchakov

  • Imperial College London, London, United Kingdom

    Fariba Sadri

  • SINTEF/University of Oslo, Oslo, Norway

    Dumitru Roman

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation