Concepedia

Rule Verification

Rule Verification is a rule-based representation method that systematically assesses the syntactic, semantic, and logical correctness of inference rules to ensure their validity within a specified knowledge domain.

76

Publications

3.6K

Citations

165

Authors

86

Institutions

Publications per year

2017–2026

10

Parents

Publications

76

Rule generation from neural networks

LiMin Fu · IEEE Transactions on Systems Man and Cybernetics · 1994 · 367 citations

, , +15

Maximal consistent block technique for rule acquisition in incomplete information systems

Yee Leung · Information Sciences · 2003 · 302 citations

, , +11

Classification of rules for automated BIM rule checking development

Wawan Solihin, Charles M. Eastman · Automation in Construction · 2015 · 280 citations

, , +10

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

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

1–5 of 76

Authors

165

  1. AL
    Antoni Ligęza

    AGH University of Krakow, Poland

    4 publications · 91 citations

    4

    h-index

  2. GJ
    Grzegorz J. Nalepa

    AGH University of Krakow, Poland

    3 publications · 77 citations

    3

    h-index

  3. PM
    Pedro Meseguer

    Artificial Intelligence Research Institute, Spain

    3 publications · 85 citations

    3

    h-index

  4. CQ
    Chen Qian

    University of California, Santa Cruz, United States

    2 publications · 33 citations

    2

    h-index

  5. DB
    Demis Ballis

    Universitat Politècnica de València, Spain

    2 publications · 34 citations

    2

    h-index

1–5 of 165

Institutions

86

  1. Xi'an Jiaotong University

    Xi'an, China

    4 h-index

    8 publications

    403 citations

  2. AGH University of Krakow

    Krakow, Poland

    3 h-index

    4 publications

    71 citations

  3. National Central University

    Taoyuan City, Taiwan

    2 h-index

    5 publications

    143 citations

  4. The University of Texas at Austin

    Austin, United States

    2 h-index

    3 publications

    54 citations

  5. National Taipei University of Technology

    Taipei, Taiwan

    2 h-index

    2 publications

    52 citations

  6. University of Ulster

    Coleraine, United Kingdom

    2 h-index

    2 publications

    52 citations

  7. University of Florida

    Gainesville, United States

    2 h-index

    2 publications

    378 citations

  8. Beijing University of Posts and Telecommunications

    Beijing, China

    2 h-index

    3 publications

    50 citations

1–8 of 86

Venues

  1. IEEE Transactions on Knowledge and Data Engineering

    TKDE · 5 publications · 220 citations

    5

    h-index

  2. European Conference on Artificial Intelligence

    Conference · 2 publications · 70 citations

    2

    h-index

  3. International Journal of Intelligent Systems

    2 publications · 57 citations

    2

    h-index

  4. The Florida AI Research Society

    Conference · 2 publications · 35 citations

    2

    h-index

  5. 2

    h-index

1–5