Concepedia

Rule Consistency Checking

Rule Consistency Checking is a formal verification method used in rule-based design that ensures the internal coherence of a set of rules by detecting and resolving contradictions, redundancies, or conflicts among them.

32

Publications

1.9K

Citations

70

Authors

42

Institutions

Publications per year

2017–2026

4

Parents

Publications

32

Maximal consistent block technique for rule acquisition in incomplete information systems

Yee Leung · Information Sciences · 2003 · 302 citations

, , +11

An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System

Motoi Suwa, A. Carlisle Scott, Edward H. Shortliffe · Defense Technical Information Center (DTIC) · 1982 · 276 citations

, , +17

A decision-table-based processor for checking completeness and consistency in rule-based expert systems

Brian J. Cragun, Harold J. Steudel · International Journal of Man-Machine Studies · 1987 · 206 citations

, , +13

Checking an expert systems knowledge base for consistency and completeness

Tin A. Nguyen, W. A. Perkins, Thomas J. Laffey et al. · International Joint Conference on Artificial Intelligence · 1985 · 183 citations

, , +16

Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach -

Reiko Heckel, Annika Wagner · Electronic Notes in Theoretical Computer Science · 1995 · 139 citations · Full text

, , +16

1–5 of 32

Authors

70

  1. GR
    G.W. Rosenwald

    University of Washington, United States

    2 publications · 30 citations

    2

    h-index

  2. LU
    Laurent Ughetto

    Nantes Université, France

    2 publications · 127 citations

    2

    h-index

  3. TJ
    Thomas J. Laffey

    University College Dublin, Ireland

    2 publications · 193 citations

    2

    h-index

  4. DP
    D. Pecora

    2 publications · 193 citations

    2

    h-index

  5. TA
    Tin A. Nguyen

    Lockheed Martin (United States), United States

    2 publications · 193 citations

    2

    h-index

1–5 of 70

Institutions

42

  1. University of Wisconsin–Madison

    Madison, United States

    2 h-index

    2 publications

    218 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    4 publications

    254 citations

  3. Université Toulouse-I-Capitole

    Toulouse, France

    2 h-index

    6 publications

    381 citations

  4. Université Toulouse III - Paul Sabatier

    Toulouse, France

    2 h-index

    6 publications

    381 citations

  5. University of Washington

    Seattle, United States

    2 h-index

    4 publications

    60 citations

  6. Institut de Recherche en Informatique de Toulouse

    Toulouse, France

    2 h-index

    6 publications

    381 citations

  7. Université Toulouse - Jean Jaurès

    Toulouse, France

    2 h-index

    6 publications

    381 citations

  8. Nantes Université

    Nantes, France

    2 h-index

    2 publications

    127 citations

1–8 of 42

Venues

  1. Information Sciences

    2 publications · 347 citations

    3

    h-index

  2. IEEE Transactions on Knowledge and Data Engineering

    TKDE · 2 publications · 25 citations

    2

    h-index

  3. Journal of Intelligent Information Systems

    1 publications · 12 citations

    1

    h-index

  4. International Joint Conference on Artificial Intelligence

    Conference · 1 publications · 183 citations

    1

    h-index

  5. Pervasive and Mobile Computing

    1 publications · 13 citations

    1

    h-index

1–5