Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

by Stefania Costantini (editor)

Opening the Black Deriving Rules from Data.- The secret life of rules in Software Engineering.- Meta-Interpretive achievements and challenges.- Dischargeable Obligations in Abductive Logic Programming.- Using Rule-Based Reasoning for RDF Validation.- Three Methods for Revising Hybrid Knowledge Bases.- Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data.- Semantic Formalizing Decision Models with Domain Knowledge.- A set-theoretic approach to ABox reasoning services.- Verifying Controllability of Time-Aware Business Processes.- A Decidable Conuence Test for Cognitive Models in ACT-R.- On the Chase for All Provenance Paths With Existential Rules.- Rewriting Queries with Negated Atoms.- Fast ABox Consistency Checking using Incomplete Reasoning and Caching.- An Online Tool for Tuning Fuzzy Logic Programs.- Hybrid ASP-based Approach to Pattern Mining.- nconsistency-tolerant Instance Checking in Tractable Description Logics.- A Declarative Language for Querying Argumentative Dialogues.

260 pages, Paperback

Published June 17, 2017