Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , , , , , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Programming and Software Engineering ;
10364 |
| Subjects: |
Table of Contents:
- Opening the Black Box: Deriving Rules from Data
- The secret life of rules in Software Engineering
- Meta-Interpretive Learning: 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 DMN: 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
- ArgQL: A Declarative Language for Querying Argumentative Dialogues.