↓ Skip to main content
What is this page? Embed badge

Rules and Reasoning

Overview of attention for book
Cover of 'Rules and Reasoning'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Meta-Interpretive Learning: Achievements and Challenges (Invited Paper)
  3. Altmetric Badge
    Chapter 2 Dischargeable Obligations in Abductive Logic Programming
  4. Altmetric Badge
    Chapter 3 Using Rule-Based Reasoning for RDF Validation
  5. Altmetric Badge
    Chapter 4 Three Methods for Revising Hybrid Knowledge Bases
  6. Altmetric Badge
    Chapter 5 Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data
  7. Altmetric Badge
    Chapter 6 Semantic DMN: Formalizing Decision Models with Domain Knowledge
  8. Altmetric Badge
    Chapter 7 A Set-Theoretic Approach to ABox Reasoning Services
  9. Altmetric Badge
    Chapter 8 Verifying Controllability of Time-Aware Business Processes
  10. Altmetric Badge
    Chapter 9 A Decidable Confluence Test for Cognitive Models in ACT-R
  11. Altmetric Badge
    Chapter 10 On the Chase for All Provenance Paths with Existential Rules
  12. Altmetric Badge
    Chapter 11 Rewriting Queries with Negated Atoms
  13. Altmetric Badge
    Chapter 12 Fast ABox Consistency Checking Using Incomplete Reasoning and Caching
  14. Altmetric Badge
    Chapter 13 An Online Tool for Tuning Fuzzy Logic Programs
  15. Altmetric Badge
    Chapter 14 Hybrid ASP-Based Approach to Pattern Mining
  16. Altmetric Badge
    Chapter 15 Inconsistency-Tolerant Instance Checking in Tractable Description Logics
  17. Altmetric Badge
    Chapter 16 ArgQL: A Declarative Language for Querying Argumentative Dialogues
Attention for Chapter 5: Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data
Altmetric Badge

Readers on

mendeley
9 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data
Chapter number 5
Book title
Rules and Reasoning
Published in
Lecture notes in computer science, June 2017
DOI 10.1007/978-3-319-61252-2_5
Book ISBNs
978-3-31-961251-5, 978-3-31-961252-2
Authors

Daniela Briola, Viviana Mascardi

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 9 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 11%
Unknown 8 89%
Readers by discipline Count As %
Computer Science 1 11%
Unknown 8 89%

This page is provided by Altmetric.